特质类如何工作？

Question

我正在阅读Scott Meyers的Effective C++。他正在谈论特质类，我知道我需要他们在编译期间确定对象的类型，但我无法理解他对这些类实际做了什么的解释？ （从技术角度来看）

Answer 1

也许你正在期待某种使类型特征起作用的魔法。在这种情况下，要失望 - 没有魔法。类型特征为手动为每种类型定义。例如，考虑iterator_traits，它为迭代器提供类型定义（例如value_type）。

使用它们，你可以写

iterator_traits<vector<int>::iterator>::value_type x; 
iterator_traits<int*>::value_type y; 
// `x` and `y` have type int. 

但是，为了使这项工作，居然有一个明确定义某处<iterator>头，其内容是这样的：

template <typename T> 
struct iterator_traits<T*> { 
    typedef T value_type; 
    // … 
}; 

这是iterator_traits类型的部分专业化类型的形式T*，即指针一些泛型类型。

同样，iterator_traits专门用于其他迭代器，例如， typename vector<T>::iterator。

Answer 2

性状类做不是确定对象的类型。相反，它们通常通过在trait中定义typedef或常量来提供关于类型的其他信息。