子类 B 继承自模板类 A<B> [重复]

Question

我最近偶然发现了这样的代码，我无法理解它：

template<typename T>
class A
{
}

class B: A<B>
{
}

---

所以我的一般问题是：

• 为什么这不会产生编译错误？具体来说，如果 B 还没有定义，那么 B 类如何从模板类 A<B> 继承？
• 什么时候需要这种结构？

Answer 1

其中一个特点：这个模板模式可以帮助你避免使用vtable。这称为“静态多态性” - http://en.m.wikipedia.org/wiki/Curiously_recurring_template_pattern

假设你有这样的代码结构：

class Item {
public:
    virtual void func() = 0;
}

class A : public Item {
// …
}

class B : public Item {
// …
}

Item *item = new A();
item->func();

可以这样替换：

template<typename T>
class Item {
public:
    void func() {
        T::func();
    }
}

class A : public Item<A> {
// …
}

class B : public Item<B> {
// …
}

Item<A> *item = new A();
item->func();

这样可以避免虚函数调用。这样做可以提高一些性能...