《c++ templates》学习笔记（3）——第四章，非类型模板参数

 

1       第四章 非类型模板参数

对于函数模板和类模板，模板参数并不局限于类型，普通值也可以作为模板参数。

1.1    非类型的类模板参数

例如：

Template<typename T, int MAXSIZE>

Class Stack{

Private:

       T elems[MAXSIZE];

…

};

Int main()

{

       Stack<int, 20> int20Stack;

       Stack<int, 40> int40Stack;

…

};

每个模板实例都具有自己的类型，因此int20Stack和int40Stack属于不同的类型，而且这两种类型之间也不存在显示或者隐式的类型转换；所以他们之间不能相互替换。

 

1.2    非类型的函数模板参数

template<typename T, int VAL>

T addValue(T const& x)

{

     return x+VAL;

}

std::vector<int> src;

     std::vector<int> dest;

     src.push_back(1);

     src.push_back(2);

     dest.resize(5);

     std::transform(src.begin(), src.end(), dest.begin(), addValue<int, 5>);//1

书上说最后一句要写成：

     std::transform(src.begin(), src.end(), dest.begin(), (int(*)(int const&))addValue<int, 5>);//2

经过我在VS2005下验证，直接写成1的样式就可以了。

1.3    非类型模板参数的限制

一般来说，非类型模板参数可以是常整数（包括枚举）或者指向外部链接对象的指针。

那么就是说，浮点数是不行的，指向内部链接对象的指针是不行的。

那么，什么是指向内部链接对象的指针呢，下面给一个例子。

template<char const* name>

class MyClass{

     ...

};

 

MyClass<"hello"> x;

其中的”hello”就是一个内部链接对象，因为他是一个字面常量。字面常量都是内部链接对象。

如果改为：

extern char const s[] = "hello";

MyClass<s> x;

则是可以的。