Template parameters (C++ only)

在C++中有三種模板參數：

• Type template parameters (C++ only)
• Non-type template parameters (C++ only)
• Template template parameters (C++ only)

在模板參數的聲明中即可以使用關鍵字class也可以使用關鍵字typename，但是在模板參數的聲明中不能指定儲存的類型(static 和 auto)

 

1.Type template parameters (C++ only)

Type template parameter 聲明文法 >>-+-class----+--identifier--+---------+-----------------------><   '-typename-'              '-=--type-'  identifier 是type的名字.

2.Non-type template parameters (C++ only)

non-type template parameter 的文法聲明類似於下面幾種形式之一：

• 整型或枚舉
• 對象或函數的指標
• 對象或函數的引用
• 成員指標

被聲明為數組或函數的Non-type template parameters 被分別轉化為了指標或者函數指標.

template<int a[4]> struct A { };template<int f(int)> struct B { };int i;int g(int) { return 0;}A<&i> x;B<&g> y;

你可以用const 或 volatile限定 non-type template parameter.不能將non-type template parameter 聲明為float point, class,或 void type.

Non-type template parameters 不是lvalues.

 

3.Template template parameters (C++ only)

Template template parameter 聲明文法  >>-template--<--template-parameter-list-->--class--+------------+--+------------------+-><                                                   '-identifier-'  '-=--id-expression-'  

下面是用 template template paramete的一個例子：

template<template <class T> class X> class A { };template<class T> class B { };A<B> a;