泛型就意味着代码膨胀？

我所了解的泛型实现，也就C++和Java，C++靠的是用代码膨胀来满足性能，Java泛型则只是一个Sugar。

现在使用C++泛型的人越来越多，生成的程序体积也越来越大。一个对10种数据和10种算子使用了泛型算法的程序，代码膨胀的最大可以达到100倍。但实际上，生成的代码“很模板”。现在的C++还没有C++0x 的 closure/auto 等功能，代码膨胀已经达到了很恐怖的程度。——比如使用了 Boost.asio 的程序尺寸就很恐怖。

现在，代码膨胀虽然已经是一个很引起大家注意的问题，但是还没有让大家足够注意。虽然有一些减少代码重复的技巧，但那只是技巧而已，对问题的映射不是很直接，有一定难度，不能得到大范围的应用。可以预见，等到C++0x出世，泛型的语法更加优美，使用更加方便，大家的积极性更高，到那时，代码膨胀可能会成为一个非常残酷的现实问题。

应该有一些途径减少代码膨胀，现代的虚拟机（例如Java虚拟机和.Net虚拟机）可以通过动态优化来提高程序性能，先在运行时解释执行ByteCode，当发现某段ByteCode的执行频率太高时将它优化成NativeCode，这是一种很好的解决方案，虽然在解释执行时增加了程序计数的开销，但这是微不足道的。静态编译语言如C++能否吸收它的优点呢？

我觉得也许可以，但是代价可能比较高。比如对同一个泛型算法实例化100次时，是否可以只生成一个内部框架，而在运行时，用到了哪个实例，再实例化那个泛型算法，也就是运行时由RuntimeEnv按需动态生成NativeCode，而不是在编译时一次生成。对于泛型类型，也类似。实际上，也许有些泛型算法的实例根本不会在执行路径上出现，但是静态编译却必须为它生成代码。