用CRTP 避免无意共用基类的静态成员变量

当两个派生类从同一个基类继承时，如果基类中有静态成员变量，那么这两个子类将会共用同一个基类的静态成员变量。

有了这个理论，我们来看代码。

//myClass.h
#include <iostream>

class base {
public:
	static int S_iNum;
};

class derived1 : public base {};
class derived2 : public base {};

//myClass.cpp
#include "myClass.h"
int base::S_iNum = 10;

//testMain.cpp
#include "myClass.h"
#include <iostream>

int main() {
	derived1 myObj1;
	derived2 myObj2;
	myObj1.S_iNum = 100;

	std::cout << "myObj2.S_iNum = " << myObj2.S_iNum << std::endl;

	return 0;
}

程序的输出结果是：

myObj2.S_iNum = 100

我们可以看到，这两个子类共用了同一个基类的静态成员变量。这是一个错误，下面提出解决办法。

要解决上述问题，就要引入 模板了。

将基类用模板进行实现。

//myClass.h
#include <iostream>
template <typename T>
class base {
public:
	static int S_iNum;
};

template <typename T>
int base<T>::S_iNum = 0;

class derived1 : public base<derived1> {};
class derived2 : public base<derived2> {};

//testMain.cpp
#include "myClass.h"
#include <iostream>

int main() {
	derived1 myObj1;
	derived2 myObj2;
	myObj1.S_iNum = 100;

	std::cout << "myObj2.S_iNum = " << myObj2.S_iNum << std::endl;

	return 0;
}

程序的输出结果为：

myObj2.S_iNum = 0

我们可以看到，此时，两个子类分别拥有了自己独立的基类静态成员变量。这种方法叫做：怪异的循环模板模式（Curiously Recurring Template Pattern, CRTP）。

Effective C++ 条款49 也提到过这个概念。