C++ 模板函数、模板类：如果没有被使用就不会被实例化

C++中如果一个模板函数没有使用过，那么其局部静态变量都不会被实例化：

class A {
public:
    A() {
        edward::print("A ctor");
    }
};

template<typename T>
void test() {
    static A a;
}

int main() {
    test<int>();	//如果注释掉则不会有输出
    return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

A ctor

通过观察注释的语句，我们发现模板类的静态变量a如果没有被使用，那么即使模板类实例化也不存在（具体来说就是不分配内存，不调用构造函数）。
至于静态方法和成员方法更是如此了，在《C++ Primer》第五版 16.1.2 类模板-类模板成员函数的实例化这部分提到：如果一个成员函数没有被使用，那么它不会被实例化。