使用派生类模板的 C++ 基类 [重复]

Question

我正在尝试从 dlib 项目中了解以下类型的类。

template<typename EXP>
class matrix_exp
{
public:
    //typedef matrix<type, NR, NC, mem_manager_type, layout_type> matrix_type;
    matrix_exp()
    {
        cout << "matrix_exp()" << endl;
        cout << __PRETTY_FUNCTION__ << endl;
    }
    void foo()
    {
        cout << "matrix_exp" << endl;
    }
};

template<typename T, long num_rows, long num_cols, typename mem_manager, typename layout>
class matrix: public matrix_exp<matrix<T, num_rows, num_cols, mem_manager, layout> >
{
public:

    void foo()
    {
        cout << "matrix" << endl;
    }
};

基类如何使用派生类作为模板？他们还使用了 typedef 矩阵 matrix_type；在 matrix_exp 中。有人可以澄清这是如何工作的吗？

Answer 1

这就是众所周知的Curiously Recurring Template Pattern (CRTP)。

有一个 StackOverflow tag 仅用于 CRTP。

history of CRTP is on Wikipedia。