想在网上找常压CO2-H2O的图，找不到合适的。就自己画了两幅。也不知道画对没有。这种气体溶于水不好找可能是难定量（气体溶解度太低）。以下两图对溶解度都有夸大。以下解释对两图都适用：1 ATM（考虑到易拉罐的材料与设计，里面可乐膨胀10-20%都应该维持在大气压）； Q指气体；A指纯水的凝固点；C为低共熔点（Eutectic point）；红线为气体在水中的溶解度；由于气体沸点（对CO2应该是升华点）太低， 纵标的范围对纯气体而言只有气相。
1. 某气体能少量溶于水。其溶解度随温度升高而增加。

红虚线为假想的气体在液态水的溶解度曲线，是为了说明在AC线上溶液并未饱和。由于气体溶解有限，即使加温，到了D点也再溶不了。在ACD线以上是单相的Q溶于水的溶液。CD线右边是双相区（饱和的Q溶液与气体Q）。ABC包围的是冰与(未饱和的)Q溶液的双相区。BC线以下是冰与低共熔混合物的双相区。CE线以下是气体Q与低共熔混合物的双相区。其实跟盐水的相图很相似。画这个图的唯一目的是想说明，如果溶液的初始浓度在C点的右边，降温才会有气体释放的。

2. 某气体能少量溶于水。其溶解度随温度升高而减小。说的就是CO2 (氧气O2也是)。

跟第一个图比，这里的区别就在溶解度了。D点温度太高，Q气体都跑没了。高温天气鱼塘由于缺氧死鱼就这道理。ACD包裹区域(Sol=solution)的是单相的Q溶于水的溶液。其它的解释跟第一个图一样。想说明的是，不管溶液中气体的含量多少，降温是不会有气体释放的。
这回答了WHOAMI的问题。如果可乐都被冻住，可乐冰中是会有CO2的。
经过否定之否定，我们又回到了原点：没有气体释放。
最新解释:由于可乐成分复杂，跟盐水冻成多孔的冰一样，先形成的纯冰也是多气孔的。哪来的气，罐内的CO2。

http://en.wikipedia.org/wiki/Henry's_law
渗出的浓可乐再凝固时可能会撑破罐子。简言之，多孔的冰与渗出的浓可乐再凝固产生的冰的密度比纯冰小。二氧化碳的作用只是填充孔。
证据1：gyro说要多冻几天 (让浓可乐渗出来?)
证据2：JFF看到可乐纸盒周围一小堆浅酱油色冰块 （从现场看应该有液体渗出。是如果是固体中的气体释放，应该看不到这种现象）