《Effective C++》第七章：模板与泛型编程

最新推荐文章于 2017-07-11 10:55:18 发布

徐九五

最新推荐文章于 2017-07-11 10:55:18 发布

阅读量267

点赞数

分类专栏： C++ 学习文章标签： Effective C++ 编程 C++

本文链接：https://blog.csdn.net/xufeilong520xu/article/details/73838757

版权

C++ 同时被 2 个专栏收录

33 篇文章 0 订阅

订阅专栏

学习

26 篇文章 1 订阅

订阅专栏

条款41：了解隐式接口和编译期多态

这个隐式接口....我也没搞懂。编译期多态到是容易理解，函数重载和template的具现化

条款42：了解typename的双重意义

这个在STL中用的比较多，特别是traits技术中。嵌套一个类型，使用的时候必须用typename来进行声明，这是一个类型：

template<typename T>
struct myTraits
{
    typedef T value_type;
};
template<typename T>
typename T::value_type
func()
{}

大概就是这种个用法。但是记住不允许在base class lists（继承列表）和成员初始化列表中使用typename修饰符。

条款47：请用traits classes表现类型信息
首先介绍的是STL的五种迭代器分类：input_iterator_tag output_iterator_tag forward_iterator_tag bidirectional_iterator random_access_iterator_tag，五种迭代器层层public 继承，都是is-a关系。对于很多算法我们需要根据迭代器种类，提供相应的代码。这时候traits就派上用场。iterator_traits的运作方式是针对每一个类型的迭代器，在struct iterator_traits内一定声明某个typedef名为iterator_category。这个typedef用来确认迭代器的类型。比如：

template<...>
class deque
{
public:
    class iterator
    {
     public:
         typedef random_access_iterator_tag iterator_category;
    };
};

至于iterator_traits定义如下：

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

对于非class类型，需要进行偏特化，比如指针类型。

书上所提的另一个比较好的思想是在函数内不用if来判断迭代器的类型（因为这会导致在执行期才做），而采用函数重载的方式，将判断提前到编译期，格式如下：

template<typename IterT>
void func(IterT &iter, std::random_access_iterator_tag)
{
};

template<typename IterT>
void func(IterT &iter, std::bidirectional_iterator_tag)
{
};
....

OVER...