C++奇特的递归模板式

奇特的递归模板式(CRTP, Cruiously Recurring Template Pattern)，该方式奇特之处在于：派生类会把自己本身作为模板参数传递给基类。

基本结构如下：

template <typename D>
class Base {/*...*/};

class Derived: public Base<Derived> {/*...*/};

这里存在一个类似于循环继承的结构。

该模式最大的用处之一是在编译期间模拟虚函数。元编程涉及的函数大部分与模板相关，或者是类中的静态函数。

代码实例：

#include <iostream>
#include <string>
#include <utility>

template <typename D>
class Base {
public:
    template <typename T>
    void UseDerived(const T&& arg) {
        D* ptr = static_cast<D*>(this);
        ptr->Impl(std::forward<const T>(arg)); // const也要执行完美转发
    } 
};


class Derived: public Base<Derived> {
public:
    template <typename T>
    void Impl(const T&& arg) {
        std::cout << "derived arg: " << arg << std::endl;
    }
};


int main() {
    Derived dt;
    dt.UseDerived(1);
    return 0;
}