序言
模板与泛型编程,我们知道其有面向隐式接口与编译期多态两个特点。显式接口通常由函数签名式(函数名称,参数类型与个数,返回值类型构成),而隐式接口不一样而是由有效表达式组成。
例如:
template<typename T>
void doSomething(T& w)
{
if(w.size() >= 10 && w != someNastyWidget)
...
}
doSomething要求的其他隐式接口:copy构造函数,size()等函数。凡是涉及到w的函数调用,都会造成template具现化,使得这些能够调用成功,这些行为发生在编译期,以不同的template参数具现化函数模板,会导致不同的函数调用,这就是所谓的编译期多态。
首先我们要了解声明参数class与typename区别。
template<typename T>
template<class T>
这两个在声明template参数时,并没有多大区别。可互换。但是如果涉及到嵌套从属类型名称时,使用typename。
从属名称是指: 模板内出现名称如果相依于某个template参数
嵌套从属名称:如果某个从属名称嵌套于某个class
非从属名称: 某个类型名称不依赖于任务template参数名称
如下代码:
template<typename C>
void doSomething(const C& container)
{
if(container.size() >= 2)
{
C::const_iterator iter(container.begin());
++iter;
int value = *iter;
...
}
}
iter 就是嵌套从属类型名称
value 就是非从属名称
typename
示例如下:
template<typename C>
void doSomething(const C& container)
{
C::const_iterator* x;
...
}
看起来像是声明x为一个local变量,它是一个指针,指向一个C::const_iterator 类型,但是如果它不是一个C::const_iterator类型,碰巧有一个static成员变量被命名为const_iterator, 或者x碰巧是一个全局变量,那上面表达式可能就是乘法。C++有个规则可以解析此一奇异:如果解析器在template中遭遇嵌套从属名称时,他假设这个名称不是类型,除非你告诉它是,否则缺省情况下嵌套从属名称不是类型。你可以用typename声明即可。
template<typename C>
void doSomething(const C& container)
{
if(container.size() >= 2)
{
typename C::const_iterator iter(container.begin());
++iter;
int value = *iter;
...
}
}
但是使用它有个例外,就是typename不可以出现在base基类列表内嵌套从属类型名称之前,也不可以在成员初值列表作为基类修饰词。
template<typename T>
class Derived: public Base<T>::Nested //base 列表不准许
{
public:
explicit Derived:(int x)
:Base<T>::Nested(x) //成员值初始化不准许
{
typename Base<T>::Nested temp;
...
}
};
常见类似如下的local typedef
template<typename T>
void doSomething(T iter)
{
typedef typename std::iterator_traits<T>::value_type value_type;
value_type temp(*iter);
}