泛型编程支持最完善的现在仍然是C++吗

有部分程序在基础的类型系统上就是以接口来进行定义的(效果类似范型)。比如haskell,如果你也写一个haskell的快排,那么你需要界定你的输入类型。此时你可以不用具体指定为整形或者字符串行,你可以定义为Ord类型,凡是这个类型的数据都是有统一的接口可以判断顺序。这样你的快排函数就可以自然的应用于所有可排序的类型了。如果是这样的话我认为实际上已经实现了范型所需要的功能,只是比c++中普通的模板参数又多了静态的类型检查
■网友
泛型这个词的含义比较模糊,C#的“generic”更多的是指参数化多态,而C++的generic指的是静态的参数化类型,这两者之间的重叠其实并不太多,所以谈不上那个“最完善”。泛型/generic最初的实现如果没记错应该是Ada吧


    推荐阅读