C++箴言：教你为类型信息使用特征类的方法 - c++编程基础

pes（内建类型）上必须和在 user-defined types（用户定义类型）上一样有效。例如，如果 advance 被一个指针（譬如一个 const char*）和一个 int 调用，advance 必须有效，但是这就意味着 traits 技术必须适用于像指针这样的 built-in types（内建类型）。

　　traits 对 built-in types（内建类型）必须有效的事实意味着将信息嵌入到类型内部是不可以的，因为没有办法将信息嵌入指针内部。那么，一个类型的 traits 信息，必须在类型外部。标准的方法是将它放到 template（模板）以及这个 template（模板）的一个或更多的 specializations（特化）中。对于 iterators（迭代器），标准库中 template（模板）被称为 iterator_traits：

template // template for information about
struct iterator_traits; // iterator types

　　就像你能看到的，iterator_traits 是一个 struct（结构体）。根据惯例，traits 总是被实现为 struct（结构体）。另一个惯例就是用来实现 traits 的 structs（结构体）以 traits classes（这可不是我捏造的）闻名。

　　iterator_traits 的工作方法是对于每一个 IterT 类型，在 struct（结构体）iterator_traits 中声明一个名为 iterator_category 的 typedef。这个 typedef 被看成是 IterT 的 iterator category（迭代器种类）。

　　iterator_traits 通过两部分实现这一点。首先，它强制要求任何 user-defined iterator（用户定义迭代器）类型必须包含一个名为 iterator_category 的嵌套 typedef 用以识别适合的 tag struct（标签结构体）。例如，deque 的 iterators（迭代器）是随机访问的，所以一个 deque iterators 的 class 看起来就像这样：

template < ... > // template params elided
class deque {
　public:
　　class iterator {
　　　public:
　　　　typedef random_access_iterator_tag iterator_category;
　　　　...

　　};
　...
};

　　然而，list 的 iterators（迭代器）是双向的，所以它们是这样做的：

template < ... >
class list {
　public:
　class iterator {
　　public:
　　typedef bidirectional_iterator_tag iterator_category;
　　...
　};
　...
};

　　iterator_traits 仅仅是简单地模仿了 iterator class 的嵌套 typedef：

点击复制链接与好友分享! 回本站首页

分享到：更多

您对本文章有什么意见或着疑问吗？请到论坛讨论您的关注和建议是我们前行的参考和动力

上一篇： 在 C++中创建并使用WEB服务

下一篇： C++的救赎 C++开源程序库评话

C++箴言：拷贝一个对象的所有组成部分

C++箴言：使用对象管理资源

C++箴言：谨慎考虑资源管理类的拷贝行