奇异递归模板模式

奇异递归模板模式（可参见wiki）在一般的编程中应该是不多见的，笔者在书籍上（陈硕的linux 服务器端开发 和more effective中有见过），后来在实际开发中没想到还真的碰到了，这个在元编程中应该还是比较常见的。

template <class T> 
struct Base
{
    void interface()
    {
        // ...
        static_cast<T*>(this)->implementation();
        // ...
    }

    static void static_func()
    {
        // ...
        T::static_sub_func();
        // ...
    }
};

struct Derived : Base<Derived>
{
    void implementation();
    static void static_sub_func();
};

这里就是一个递归模板模式，派生类继承了基类，基类是一个模板类，而基类这个模板类本身的模板参数又使用了派生类的类型，可以说相当奇怪了。这里实现了一种类似虚函数的静态绑定，当调用派生类的interface方法时，会调用到基类的interface方法，然后调用到派生类的implementation方法。
在工作中，笔者见到另一个的场景：

template <int N>
struct Base : public Base<N-1> {
// date or something
};

template <> 
struct Base<0> {
// data or something
};

不过这个应该不算奇异递归模板了，只是一种模板，这里在编译是会将模板参数N展开，得到N~0 的struct中所有数据与方法，配合可变模板参数，可以做的就更多了。