typename双重含义

序言

模板与泛型编程,我们知道其有面向隐式接口与编译期多态两个特点。显式接口通常由函数签名式(函数名称,参数类型与个数,返回值类型构成),而隐式接口不一样而是由有效表达式组成。
例如:

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);
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

道阻且长,行则降至

无聊,打赏求刺激而已

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值