在以下程序中打印“Here”：
#include <iostream>
class Base
{
static bool temp;
static bool initTemp()
{std::cout<<"Here\n";return true;}
};
bool Base::temp = Base::initTemp();
class Derived : public Base
{};
int main() {int a;std::cin>>a;}
在以下程序中,“此处”未打印：
#include <iostream>
template <class T>
class Base
{
static bool temp;
static bool initTemp()
{std::cout<<"Here\n";return true;}
};
template <class T>
bool Base<T>::temp = Base<T>::initTemp();
class Derived : public Base<int>
{};
int main() {int a;std::cin>>a;}
在这两种情况下,Base都不会被引用.唯一的区别是在第二种情况下它是一个模板类.谁能向我解释为什么会出现这种情况.我正在使用VS 2012.
解决方法
In both cases Base is never referenced.
这正是您没有看到任何打印到标准输出的原因.
除非使用该数据成员,否则不会实例化类模板的静态数据成员的定义;与成员函数一样,类模板的静态数据成员的定义也是按需实例化的.
这在C 11标准第14.7.1 / 1段中有详细说明：
[…] The implicit instantiation of a class template specialization causes the implicit
instantiation of the declarations,but not of the definitions or default arguments,of the class member functions,
member classes,scoped member enumerations,static data members and member templates. […]
由于您的客户端代码从不引用Base<> :: temp,因此无需构造和初始化它.
作为附注,这个签名：
void main()
无效(标准)C.如果要编写可移植代码,main()的返回类型应始终为int.
