C++ Templates：模板与继承

空基类优化：
C++类常常为“空”，这就意味着运行期其内部表示不耗费任何内存。
即使是空类，其大小也不会为0。

布局原则：
C++标准规定，当空类作为基类时，只要不会与同一类型的另一个对象或子对象分配在同一地址，就不需为其分配任何空间。
这个技术称为空基类优化（empty base class optimization，EBCO）技术
#include <iostream> using namespace std; class Empty { typedef int Int; // typedef members don't make a class nonempty }; class EmptyToo : public Empty { }; class EmptyThree : public EmptyToo { }; int main() { std::cout << "sizeof(Empty): " << sizeof(Empty) << '/n'; std::cout << "sizeof(EmptyToo): " << sizeof(EmptyToo) << '/n'; std::cout << "sizeof(EmptyThree): " << sizeof(EmptyThree) << '/n'; }

 

如果编译器支持空基类优化，上述程序所有的输出结果相同，但均不为0。也就是说，在类EmptyToo中的类Empty没有分配空间。注意，带有优化空基类的空类（没有其他基类），其大小亦为0，这也是类EmptyThree能够和类Empty具有相同大小的原因所在。

如把上面程序中的EmptyThree改为如下形式则是错误的：
class EmptyThree : public Empty, public EmptyToo {
};
因为Empty和EmptyToo不能分配到同一地址空间上。

 

成员作基类：
模板参数常常可能就是空类，用如下方法可以在模板参数为空时得到一定的优化：
#define BASE_MEMBER_PAIR_HPP template <typename Base, typename Member> class BaseMemberPair : private Base { //Base可能为空 private: Member member; public: // constructor BaseMemberPair (Base const & b, Member const & m) : Base(b), member(m) { } // access base class data via first() Base const& first() const { return (Base const&)*this; } Base& first() { return (Base&)*this; } // access member data via second() Member const& second() const { return this->member; } Member& second() { return this->member; } }; #endif

 

封装在BaseMemberPair中的数据成员需要通过成员函数first()和second()访问。

 

奇特的递归模板模式：
奇特的递归模板模式：Curiously Recurring Template Pattern，CRTP，即派生类将自身作为模板参数传递给基类。
template <typename Derived>
class CuriousBase { ... };

class Curious : public CuriousBase<Curious> { ... };

CRTP的一个简单应用是记录某个类的对象构造的总个数。（具体例子见TICPP卷2“深入理解模板”一章）
CRTP适用于仅能用作成员函数的接口的实现提取出来。

参数化虚拟性：
这种方法不常用：既可以用作实例化，也可用作继承：
class NotVirtual { }; class Virtual { public: virtual void foo() { } }; template <typename VBase> class Base : private VBase { public: // the virtuality of foo() depends on its declaration // (if any) in the base class VBase void foo() { std::cout << "Base::foo()" << '/n'; } }; template <typename V> class Derived : public Base<V> { public: void foo() { std::cout << "Derived::foo()" << '/n'; } }; int main() { Base<NotVirtual>* p1 = new Derived<NotVirtual>; p1->foo(); // calls Base::foo() Base<Virtual>* p2 = new Derived<Virtual>; p2->foo(); // calls Derived::foo() }