《Effective C++》条款42

2023-12-20 22:32:13

了解typename的双重意义

作为类模板而言class和typename是一样的。

template <class T>
class A
{

};
template <typename T>
class A
{

};
template <typename C>
class A
{
	...
private:
	C::const_iterator* x;
};

这段代码看起来没啥问题。因为我们已经知道它是个类型,但是实际编译器不知道,如果C有个static成员变量而碰巧被命名为const_iterator、或者x碰巧是个全局变量名称呢?

如何解决?

C++针对这种嵌套从属名称,为了表示它是个类型,只需要在它前面加上typename即可。

但是对于非嵌套从属名称,不需要加上。

typename C::const_iterator* x; // 合理
typename C x; // 不合理

但是有个例外:

typename不可以出现在base classes list内的嵌套从属类型名称之前,也不可以在初始化列表中作为base class修饰符。

?

文章来源:https://blog.csdn.net/qq_64863535/article/details/135117680
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。