C++中如果一个模板函数没有使用过,那么其局部静态变量都不会被实例化:
class A {
public:A() {edward::print("A ctor");}
};template<typename T>
void test() {static A a;
}int main() {test<int>(); //如果注释掉则不会有输出return 0;
}
A ctor
如果不显示地调用test
函数,局部静态变量a是不会被实例化的。
同样的,如果一个静态类没有被实例化,那么他的成员也不会被实例化,就算这个静态类实例化了,但是没有使用一些静态变量、方法,那么这些没有使用的东西是不会被实例化的。注意:成员变量在模板类实例化后无论是否使用都存在。
class A {
public:A() {edward::print("A ctor");}
};template<typename T>
class Test {
public:static A a;A aa;
};template<typename T>
A Test<T>::a;int main() {Test<int> test;
// test.a; //如果取消注释会多打印一条语句 return 0;
}
A ctor
通过观察注释的语句,我们发现模板类的静态变量a如果没有被使用,那么即使模板类实例化也不存在(具体来说就是不分配内存,不调用构造函数)。
至于静态方法和成员方法更是如此了,在《C++ Primer》第五版 16.1.2 类模板-类模板成员函数的实例化这部分提到:如果一个成员函数没有被使用,那么它不会被实例化。