关于C++泛型编程的一些杂感

关于GP,可以说我是对它有很复杂的感情的,其实GP这种东西最好是建立在无类型语言上面,就C++0X目前对GP的支持的趋势来看,确实如此,auto/varadictemplates这些特性的加入象征着C++GP的形式正越来越转向一种更纯粹的泛性语法描述,表面上你几乎不会看到任何类型的痕迹,只有语法以及语法背后蕴涵的语义,然而在C++里面有一个“最大的国情”,即支持所有这些的是一个坚实的大地——强类型系统。所有的泛化所有的模板代码一旦实例化之后就落实到某一集特定的类型身上然后接受强类型系统的考验;-)有点像波函数的塌缩——本来是具有无数可能的,一旦有了一个观测者立即就塌缩成一个实体。在GP中,观测