读书笔记_Effective_C++_条款四十七:请使用trait classes来表示类型信息

时间:2021-02-02 17:03:10

这一条款主要来讨论模板中迭代器的属性iterator_category,它可以通过类似于vector<int>::iterator::iterator_category的方式来取得。

到这里我们有必要学习一下STL迭代器的类型,总共有五种,分别是:

input_iterator:只读,只能逐个前移

output_iterator:只写,只能逐个前移

forward_iterator:可读可写,只能逐个前移

bidirectional_iterator:可读可写,支持逐个前移和后移

random_access_iterator:可读可写,支持随机访问(任意步数移动)

为了表明容器内使用的是哪一种迭代器,STL在定义迭代器会总会打个一个标记“tag”,每个tag都是一个空的结构体,对应于以上五种迭代器,tag也有五个:

struct input_iterator_tag{};

struct output_iterator_tag{};

struct forward_iterator_tag: public input_iterator_tag{};

bidirectional_iterator: public forward_iterator_tag{};

random_access_iterator: public bidirectional_iterator_tag{};

注意这五个tag之间,有些存在继承关系。

这个标记有什么用呢?STL在写vector的时候,会这样:

 template class <T>
class vector
{
public:
class iterator
{
public:
typedef random_access_iterator iterator_category;

}

} 写list的时候,会这样写:
template class <T>
class list
{
public:
class iterator
{
public:
typedef bidirectional_iterator iterator_category;

}

}

既然迭代器已经由tag说明了它的类型(双向的,还是随机访问),那我们如何去利用它呢?比如现在我想要写一个迭代器前移的通用函数DoAdvance,不同迭代器类型会有不同的实现方式,所以我们可以像下面这样:

 template <class T>
void DoAdvance(T Container)
{
typedef T::iterator::iterator_category IteratorCategory;
if (typeid(IteratorCategory) == typeid(input_iterator_tag))
{
cout << "Do manner in input_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(output_iterator_tag))
{
cout << "Do manner in output_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(forward_iterator_tag))
{
cout << "Do manner in forward_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(bidirectional_iterator_tag))
{
cout << "Do manner in bidirectional_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(random_access_iterator_tag))
{
cout << "Do manner in random_access_iterator_tag" << endl;
}
}

参数T是容器的类型,比如vector<int>,如果像下面这样调用:

 vector<int> v;
DoAdvance(v);

那么输出是Do manner in random_access_iterator_tag,因为vector<int>的迭代器是随机访问型的,可以按随机访问类型的处理方式来去实现前移操作。typeid返回结果是名为type_info的标准库类型的对象的引用,它指明了这个对象/定义的类型。

因为这里讨论的是迭代器,所以更常见的是直接传迭代器进去,像这样:

 template <class IterT>
void DoAdvance(IterT Iter)
{
typedef IterT::iterator_category IteratorCategory;
if (typeid(IteratorCategory) == typeid(input_iterator_tag))
{
cout << "Do manner in input_iterator_tag" << endl;
}

}

注意这里的模板参数是IterT,它表示一个迭代器的类型,比如vector<int>::iterator。这里是去主动访问iterator里面定义的属性iterator_category,我们也可以通过trait classes来访问,像下面这样:

 template <class IterT>
void DoAdvance(IterT Iter)
{
if (typeid(iterator_traits<IterT>::iterator_category)
== typeid(input_iterator_tag))
{
cout << "Do manner in input_iterator_tag" << endl;
}

}

iterator_traits的定义如下:

 template<class IterT>
struct iterator_traits<IterT>
{
typedef typename IterT::iterator_category iterator_category;

};

这个感觉只是简化了输入代码量而已,本质上还是去获得迭代器的tag,它有一个针对指针的偏特化版本,像下面这样:

 template<class IterT>
struct iterator_traits<IterT*>
{
typedef random_access_iterator_tag iterator_category;
};

这里都是用typeid去进行类型判断的,它是在运行期才能执行,那么能不能放在编译期呢,当然可以,就是要用到函数的重载,像下面这样:

 template <class IterT>
void DoAdvance(IterT Iter, input_iterator_tag)
{
cout << "Do manner in input_iterator_tag" << endl;
} template <class IterT>
void DoAdvance(IterT Iter, random_access_iterator_tag)
{
cout << "Do manner in random_access_iterator_tag" << endl;
}

像下面这样使用;

 vector<int>::iterator iter;
DoAdvance(iter, iterator_traits<vector<int>::iterator>::iterator_category());

注意迭代器的tag是可以直接作为函数形参的,这样就可以在编译期决定到底执行哪一种迭代器的行为了。

条款标题的traint classes是一个广义的概念,我们之前讨论的iterator_traits只是其一部分,除以之外,还有四份迭代器相关的信息(如value_type等),TR1导入许多新的trait classes,比如is_fundamental<T>等(判断T是否是内置类型)。

最后,我们来总结一下:

1. Traits class使得类型相关信息可以在编译期可用,它们以template和template特化完成实现;

2. 整合重载技术后,traits classes有可能在编译期对类型执行if-else测试。