未调用 C++ 模板静态成员构造函数

Question

我有两个具有静态成员实例的类的测试用例。第一个使用非模板样本，而第二个依赖于通用对象类型。

困境很简单：静态成员的构造函数在主函数之前被调用（应该如此），但只针对特定的对象类型。泛型类型不表现出相同的行为。事实上，构造函数根本没有被编译。似乎编译器决定完全忽略它作为（不完全合理的）优化的一种手段。

我想知道发生了什么，以及可以做些什么来使它以最优雅的方式工作。我认为显而易见的答案是：在代码的某处使用该静态成员。我不想这样做，因为特定类型的情况在不使用该静态成员的情况下工作，除了在其构造函数中执行一些“工作”。

代码示例：

//////////////////////////////////////////////
// Specific case
//////////////////////////////////////////////
class CPassive
{
public:
    CPassive()
    {
        printf(" passively called ");
    }
};

class CActive
{
private:
    static CPassive ms_passive;
};
CPassive CActive::ms_passive;
///////////////////////////////////////////////////////////
// GENERIC TYPES
///////////////////////////////////////////////////////////
class CSample
{
public:
    CSample()
    {
        printf("sample ");
    }
};

template <typename T>
class CGenericPassive
{
public:
    CGenericPassive()
    {
        T sample;
        printf(" generic passive .. ");
    }
private:
};

template <typename T>
class CGenericActive
{
private:
    static CGenericPassive<T> ms_passive;
};
template<typename T>
CGenericPassive<T> CGenericActive<T>::ms_passive;

int main(int argc, char** argv)
{
    CActive activeExample;// instantiates the static member
    CGenericActive<CSample> activeExample; // obliterates the static from the class def.
}

Answer 1

您希望实例化的每个类模板的每个（非虚拟）成员都需要直接或间接地从非模板代码中引用。实例化类本身是不够的。

这由标准 14.7.1/2 管理：

除非类模板或成员模板的成员已被显式实例化或显式特化，否则当在需要成员定义存在的上下文中引用特化时，会隐式实例化该成员的特化；特别是，静态数据成员的初始化（以及任何相关的副作用）不会发生，除非该静态数据成员本身的使用方式要求该静态数据成员的定义存在。

在您的情况下，从 CGenericActive 构造函数中引用成员就足够了（显然您需要编写此构造函数），如下所示：

CGenericActive()
 {
   // just reference it so it gets instantiated
   (void)ms_passive;
 }

Full live example.