夏季，冰川经常处于消融状态中。冰川的消融分为冰下消融、冰内消融和冰面消融三种。地壳经常不断向冰川底部输送热量，从而引起冰下消融。不过冰下消融对于巨大的冰川体来说，是微不足道的。 当冰面融水沿着冰川裂缝流入冰川内部，就会产生冰内消融。冰内消融的结果，孕育出许多独特的冰川岩溶现象，如冰漏斗、冰井、冰隧道和冰洞等(桂林的石林是由喀斯特地貌形成的，由冰内消融引起的冰川地貌很像喀斯特地貌，冰川学家称这种冰川形态为喀斯特冰川)。

　　冰川上的融水，在流动过程中，往往形成树枝状的小河网，时而曲折蜿流，时而潜人冰内。在一些融水多面积大的冰川上，冰内河流特别发育。当冰内河流从冰舌末端流出时，往往冲蚀成幽深的冰洞。洞口好像一个或低或高的古城拱门。从冰洞里流出来的水，因为带有悬浮的泥距沙，像乳汁一样浊白，冰川学上叫冰川乳。当冰川断流的时候，走进冰洞，犹如进入一个水晶宫殿。有些冰川，通过冰洞里的隧道，一直可以走到冰川底部去。冰洞有单式的，有树枝状的，洞内有洞。洞中冰柱林立，冰钟乳悬连，洞璧的花纹十分美丽。有的冰洞出口高悬在冰崖上，形成十分壮观的冰水瀑布。

 　　从冰洞所处位置分析该地区在地质时期曾经是岩溶发育区,并且经历了温暖潮湿的气候作用,逐渐形成石灰岩溶洞;而且该地区曾经是山岳冰川发育区,在第四纪冰期及间冰期时,大量的积雪、冰川融水甚至破碎冰块堆积于洞中,经过复杂的物理变化,融化和重新凝结,再加上大气降水的不断渗入,在溶洞内形成各种形态冰物质的广泛分布现象--冰洞形成;以后的年代,由于当地比较特殊的地形、气候等自然地理环境因素,冰洞得以有效保存.宁武冰洞的形成是由岩溶作用和冰川作用以及环境因素共同作用的结果.

 　　奥地利的爱斯里森卫尔特冰洞是人们知道的世界上最大的冰洞。