[C++]类模板在何时实例化？

影响中的一道笔试题，总结了下模板类只声明未定义时，在哪些情况会出现编译错误。

1、直接实例化对象（只是声明则不会出错），无论用栈还是new，编译时都会出错。

2、函数定义（只是声明则不会编译错误）中参数或返回值引用实例化该模板对象时，非引用和传指针，编译时会出错。

总结：

定义中直接使用类模板的实例模板类而非引用，则在编译时就会对其实例化，因为本例中该类模板只有声明没有定义，所以编译时就会出错

1 /**

2 * Copyright 2010 Lei Hu. All rights reserved.

3 * Lei Hu PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.

4 */

5 #include <iostream>

6 using namespace std;

7

8 template <typename T> class A;

9

10 extern A<char> g; // ok, just declare.

11

12 void f1(A<int> p) // error, undefined type 'A<int>'

13 {

14

15 }

16

17 template <typename T>

18 void f2(A<T> p); // ok.

19

20 void f3(A<int> &p) // ok, reference or pointer.

21 {

22

23 }

24

25 template <typename T>

26 void f4(A<T> p) // ok, template non-instance.

27 {

28

29 }

30

31 A<int> f5(); // ok, just declare function.

32

33 A<int> f6() // error, use of undefined type 'A<int>'

34 {

35

36 }

37

38 template <typename T>

39 A<T> f7() // ok, template non-instance

40 {

41

42 }

43

44 void main()

45 {

46 A<char> *a = NULL;

47 A<char> b; // error, uses undefined class 'A<char>'

48 }

49

FROM: http://www.cppblog.com/Code-L/articles/132805.html?opt=admin