• 声明泛化拷贝构造和 assignment 构造函数之后，还是需要声明正常的 copy 构造和 copy assignment 操作符

条款46 需要类型转换时请为模板定义非成员函数

在一个 class template 的内部，template 名称可被用来作为“template和其参数”的简略表达方式，所以在Rational内可以只写Rational 。

• template 实参推导过程中不会考虑隐式类型转换

所以当辨析一个 class template ，它提供的”与此 template 相关的”函数支持”所有参数的隐式类型转换”时，将那些函数定义为class template内部的friend函数。而且只能在内部定义，而不能在外部定义！

e.g.

template<typename T>
class Rational{
public:
    ...
    friend 
    const Rational operator*(const Rational& lhs,
                               const Rational& rhs);
};
template<typename T>
const Rational<T>operator*(const Rational<T>& lhs,
                           const Rational<T>& rhs)

HINT：
该代码可以通过编译，而且支持混合式调用，因为当对象被声明为一个 Rational 时，class Rational 便被具现化出来，而作为过程的一部分，friend 函数也被声明出来，此时它便是一个函数，而非函数模板。因此编译器在调用的时候支持隐式类型转换。

但是无法通过链接，因为编译器知道我们调用”接受两个 Rational 参数”的函数，但是它只声明在 Rational 内，并没有被定义出来。因为类内声明的那个函数在类具现化的时候就因为模板参数被推导出来而具现化了，而类外定义的那个在类具现化的时候不为所动，所以毫无关联。无法链接。

所以此处一定要将friend函数定义于类内。

条款47 请使用traits classes表现类型信息

• advance()用于将迭代器移动给定距离:

template<typename IterT,typename DistT>
void advance(IterT& iter, DistT d);

只有支持 random access (随机访问)的迭代器才支持+=操作。对于其他迭代器，advance()需要反复执行++ 或 — 多次。

迭代器有以下几种类型：

如果要针对不同类型的迭代器，实现不同的advance操作，就需要判断迭代器分类。

traits：允许在编译期取得类型信息；他不是一个C++构件，而是一种技术。

iterator_traits 的运作方式：针对每一个类型的 IterT，在 struct iterator_traits 内声明某个 typedef 名为iterator_category，用来确定 IterT 的迭代器分类。

e.g.

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

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

至于 iterator_traits：

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

这对用户自定义类型行得通，但是对指针行不通，因为指针不能嵌套typedef。为了支持指针迭代器，需要提供一个偏特化版本：

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

然后需要重载针对每个迭代器类型的操作

然后在advance内调用上述函数即可

• 通过重载技术可以在编译期对类型执行操作，而不在运行期；避免了可执行文件的膨胀和执行效率低下。

条款48 认识模板元编程

没讲啥…