模板类含自身派生类静态成员的编译问题及解决方法咨询

我想实现一个类，让它的静态成员是自身派生类的实例（实际场景是抽象容器，需要共享空容器实例来提升性能）。

非模板代码可正常编译 #

非模板版本的代码可以正常编译：

class B;

class A {
public :
  static B b;
};

class B : public A
{};

int main()
{
 A a;
}  

模板代码出现编译错误 #

但实际需要的是模板类，代码如下：

template<typename T>
class B;

template<typename T>
class A {
public :
  static B<T> b;
};

template<typename T>
class B : public A<T>
{};

int main()
{
 A<int> a;
}

编译时会报错：

main_ko2.cpp: In instantiation of ‘class B<int>’:
main_ko2.cpp:7:15:   required from ‘class A<int>’
main_ko2.cpp:14:9:   required from here
main_ko2.cpp:10:7: error: invalid use of incomplete type ‘class A<int>’
   10 | class B : public A<T>
      |       ^
main_ko2.cpp:5:7: note: declaration of ‘class A<int>’
    5 | class A {
      |       ^

特殊情况：先声明派生类实例可编译 #

如果在main中先声明B<int>的实例，代码就能正常编译：

int main()
{
 B<int> b; // 添加这一行
 A<int> a;
}

问题原因 #

非模板场景下，A类声明静态成员B b时，仅需要B的前向声明即可，A的定义不需要B的完整类型；而模板场景中，实例化A<int>时，编译器会尝试解析静态成员B<int> b的类型，触发B<int>的实例化，但此时B<int>继承的A<int>尚未完成实例化，形成循环依赖，导致“不完整类型”错误。

而先声明B<int> b时，编译器会优先实例化B<int>，此时A<int>的声明已经存在，且B<int>的实例化会完成A<int>的实例化，后续再声明A<int> a就不会有问题。

解决方案 #

方案1：改用惰性初始化的静态成员函数 #

将静态成员变量改为静态成员函数，在函数内部初始化派生类实例，只有当函数被调用时才会触发派生类的实例化，此时基类已经是完整类型：

template<typename T>
class B;

template<typename T>
class A {
public:
    static B<T>& get_empty_instance() {
        static B<T> instance;
        return instance;
    }
};

template<typename T>
class B : public A<T> {};

int main() {
    A<int> a;
    // 当需要使用空实例时调用函数
    auto& empty = A<int>::get_empty_instance();
}

方案2：延迟静态成员的定义 #

将静态成员的定义放在派生类定义之后，这样当编译器处理静态成员定义时，派生类已经是完整类型：

template<typename T>
class B;

template<typename T>
class A {
public:
    static B<T> b;
};

template<typename T>
class B : public A<T> {};

// 将静态成员的定义放在B<T>定义之后
template<typename T>
B<T> A<T>::b;

int main() {
    A<int> a;
    // 使用A<int>::b时不会再触发循环依赖
}

这两种方案都能避免循环依赖导致的编译错误，同时支持任意模板参数类型生成对应实例，无需使用全局变量。

内容的提问来源于stack exchange，提问作者Arnaud