[C++再学习系列] typename和依赖类型

最新推荐文章于 2024-06-12 13:55:32 发布

zhenjing

最新推荐文章于 2024-06-12 13:55:32 发布

阅读量742

点赞数

分类专栏： C++再学习系列文章标签： c++ iterator 编译器 class c

本文链接：https://blog.youkuaiyun.com/zhenjing/article/details/4474723

版权

C++再学习系列专栏收录该内容

32 篇文章

订阅专栏

本文介绍了在C++中如何正确声明依赖于模板参数的类型，并通过示例展示了使用typename关键字的重要性，确保代码的可移植性和正确性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

template<typename (class) T>

class Widget { ... };

class 和 typename 均可用于声明模板的形式类型参数，但 typename 能更清楚地表示： T 可以是任何类型；不必是一个类。

为了避免潜在的模糊解析，编译器要求在依赖形式类型参数的类型名字之前使用 typename 。这样的类型被称为依赖类型。示例：

template<typename C>

bool lastGreaterThanFirst(const C& container)

{

if (container.empty()) return false;

typename C::const_iterator begin(container, begin());

typename C::const_ierator end(container.end());

return *--end > *begin;

}

在这个例子里，局部变量 begin 和 end 的类型是 C::const_iterator 。 const_iterator 是依赖形式类型参数 C 的一种类型。因为 C::const_iterator 是一种依赖类型，你被要求在它之前放上 typename 这个词。（一些编译器错误地接受没有 typename 的代码，但这样的代码不可移植。）