C++模板编程 - 第八章 深入模板基础

1 // default
2 extern "C++" tempalte<typename T> void normal();
3 
4 // no - templates cannot have C linkage
5 extern "C" template<typename T> void invalid();

1 // use keyword static to indicate internal linkage
2 template<typename T> static void internal();

1 // a template with one type parameter and one non-type parameter
2 template<typename, int> class SomeClass;

1 // actually these two are the same, array is converted to a pointer
2 template<int buf[5]> class SomeClass;
3 template<int * buf> class SomecClass;

1 // a function template with a template parameter
2 // class is ok but union and struct are not
3 template<typename<typename X> class C>
4 void f(C<int> * p);

1 template<template<typename T> class List>
2 class Node {
3     static T * storage;    // no! T is the parameter of the parameter
4     ... 
5 };

 1 #include<iostream>
 2 #include<typeinfo>
 3 #include<string>
 4 
 5 using namespace std;
 6 
 7 // you can specify default value for T2 only if you have done that
 8 // for the parameters after it
 9 template<typename T1, typename T2, typename T3=int>
10 class Triple;
11 
12 template<typename T1, typename T2=double, typename T3>
13 class Triple;
14 
15 template<typename T1=char, typename T2, typename T3>
16 class Triple;
17 
18 // definition
19 template<typename T1, typename T2, typename T3>
20 class Triple
21 {
22 public:
23     Triple()
24     {
25         T1 t1;
26         T2 t2;
27         T3 t3;
28         cout << typeid(t1).name() << endl;
29         cout << typeid(t2).name() << endl;
30         cout << typeid(t3).name() << endl;
31 
32     }
33 };
34 
35 int main()
36 {
37     Triple<> trio;
38     return 0;
39 }