By

Contents

虚函数是C++实现多态的工具，在运行时根据虚表决定调用合适的函数。这被称作动态分发。虚函数很好的实现了多态的要求，但是在运行时引入了一些开销，包括：

  1. 对每一个虚函数的调用都需要额外的指针寻址
  2. 虚函数通常不能被inline，当虚函数都是小函数时会有比较大的性能损失
  3. 每个对象都需要有一个额外的指针指向虚表

所以如果是一个对性能要求非常严格的场合，我们就需要用别的方式来实现分发，这就是今天这篇博客的主角CRTP。

CRTP通过模板实现了静态分发，会带来很多性能的好处。可以参见The cost of dynamic (virtual calls) vs. static (CRTP) dispatch in C++看一下性能比较。

下面简单介绍一下怎么实现CRTP。

首先看我们的父类：

1
2
3
4
5
6
7
8
9
10
11
12
13
template<typename Derived>  class Parent 
{
public:
    void SayHi()
    {
        static_cast<Derived*>(this)->SayHiImpl();
    }
private:
    void SayHiImpl() // no need if no need the default implementation
    {
        cout << "hi, i'm default!" << endl;
    }
};

它是一个模板类，它有一个需要接口函数是SayHi。它有一个默认实现在SayHiImpl中。

再来看看它的子类：

1
2
3
4
5
6
7
8
9
10
11
12
class ChildA :public Parent<ChildA>
{
public:
    void SayHiImpl()
    {
        cout << "hi, i'm child A!" << endl;
    }
};

class ChildB :public Parent<ChildB>
{
};

我们可以看到ChildA和ChildB继承自这个模板类，同时ChildA有自己的实现。

在写一个普通的用虚函数实现分发的类：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
class ParentB
{
public:
    void virtual SayHi()
    {
        cout << "hi, i'm default!" << endl;
    }
};

class ChildC : public ParentB
{
public:
    void SayHi()
    {
        cout << "hi, i'm ChildC!" << endl;
    }
};

class ChildD : public ParentB
{
};

然后是调用这两个父类的函数：

1
2
3
4
5
6
7
8
9
template<typename Derived> void CRTP(Parent<Derived>& p)
{
    p.SayHi();
}

void Dynamic(ParentB& p)
{
    p.SayHi();
}

再来看看main函数：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
int _tmain(int argc, TCHAR* argv[])
{

    ChildA a;
    CRTP(a);
    cout << "size of ChildA: " << sizeof(a) << endl;

    ChildB b;
    CRTP(b);
    cout << "size of ChildB: " << sizeof(b) << endl;

    ChildC c;
    Dynamic(c);
    cout << "size of ChildC: " << sizeof(c) << endl;

    ChildD d;
    Dynamic(d);
    cout << "size of ChildD: " << sizeof(d) << endl;

    return 0;
}

如果运行这个程序，可以看到如下的输出，可以看到CRTP可以实现和虚函数一样的功能，但是内存大小会有很大优势，关于对象内存可以参见我之前的博客怎么看C++对象的内存结构 和 怎么解密C++的name Mangling：

1
2
3
4
5
6
7
8
9
hi, i'm child A!
size of ChildA: 1
hi, i'm default!
size of ChildB: 1
hi, i'm ChildC!
size of ChildC: 4
hi, i'm default!
size of ChildD: 4
Press any key to continue . . .

完整代码参见gist。

Programming
Contents