s****a 发帖数: 238 | 1 学了FP后用起模板感觉更自如了,基本上所有的概念都可以对应起来,当然毕竟特性有
限用起来肯定不如FP那么的顺手,不过有这个思路在就是多打点字的问题。
template对应function,而且一样可以作为first class variable使用
specialization对应pattern match
immutable variable 这个模板里只接受整数
recursion都一样
concept如果实现了可以对应haskell里的class
最弱的地方就是list全要自己造轮子,要不就是用loki这样的库,不过公司里不敢用这
种太前卫的东西。最后在使用上写个库基本上就相当于实现个生成代码的DSL了。 | n****1 发帖数: 1136 | 2 Haskell里面也有template haskell, 不过大多数人认为是坏处多于好处. 别的不说,
type inference全乱了, 而且C++ template编译错误时生成的信息简直是天书. |
|