c++模版形参(c++ Primer中文第四版)

1、模版形参作用域

模版形参的名字可以在声明为模版形参之后直到模版声明或定义的末尾处使用。模版形参遵循常规名字屏蔽规则。


typedef double T;
template <class T> T calc(const T &a, const T &b)
{
T tmp = a;
...
return tmp;
}
名为T的类型形参会屏蔽掉T定义为double的全局类型别名。因此，tmp不是double类型的，而是模版形参的任意类型。


2、使用模版形参名字的限制


template <calss T> calc(const T &a, const T &b)
{
typedef double T; //错误，重新定义T
T tmp = a;
return tmp;
}

模版形参的名字不能在模版中重新定义。

3、模版声明

像其他任意函数或者类一样，对于模版可以只声明而不定义。声明必须指出函数或类是一个模版：

template <class T> int compare(const T&, const T&);

每个模版类型形参前面必须带上关键字class或typenme，每个非类型形参前面必须带上类型名字，省略关键字或类型说明符是错误的。如下：

template <typename T, U> T calc(const T&, const U&);