c++ Meta Templates & Haskell(Functional Programming) 和编译期插排

C++ Meta Templates Programming

C++ 果然是一个语言联邦…

Hello World

template <int n>
struct add {
	static constexpr int value = add<n - 1>::value + n;
};

template <>
struct add<1> {
	static constexpr int value = 1;
};

上面就是模板元编程一个类似Hello world 的示例. 调用的话就是

std::cout << add<5>::value;

实现了一个编译期的叠加的代码. 下面则是与之相同功能的Haskell代码

addFunc :: (Integral a) => a -> a
addFunc 0 = 1
addFunc x = x + addFunc (x - 1)

(其实, 这两个函数都有点儿问题, 输入是负数就gg. 为了展示起见, 不管它)
c++ 代码中第一个struct 中的是函数的实现, 第二个则是边界(其实两个都是实现). 然后通过递归一层一层的求解. 可以跟Haskell 代码进行类比.

Functional Programming

函数式编程比较重要的一点就是函数没有副作用也不会改变装填, 即多次调用同一个函数, 只要输入相同它的输出不会改变.
使用函数式编程解决问题时,常常先取一个合适的集合, 然后对这个集合进行变形, 让数据通过过滤条件, 最后得到正确的数据.

模板元编程便和函数式编程部分类似, 因为模板会在编译时期进行推倒.我们就可以使用推到展开和递归的手法来达到部分和函数式编程类似功能的函数. 上面的代码就是一个不错的例子.

当然了, 如果直接与纯的函数式编程语言如Haskell, 相比较还是有一些东西没有的. 比如不全调用啥的, 可能也没有高阶函数吧, 还没了解过…这使得c++ 代码写起来不是那么容易理解. 不过是很好玩