Question

我正在阅读Scott Meyers有效的C++。他说的是traits类，我知道我需要它们来确定编译时对象的类型，但我无法理解他对这些类实际做什么的解释？（从技术角度来看）

Answer 1

也许你期待着某种让类型特征发挥作用的魔法。在这种情况下，请失望——没有魔法。类型特征是为每个类型手动定义的。例如，考虑iterator_traits，它为迭代器提供typedef（例如value_type）。

使用它们，您可以编写

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

但为了实现这一点，实际上在<；迭代器>header，其内容如下：

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

对于形式为T*的类型，即某些泛型类型的指针，这是iterator_traits类型的部分专门化。

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

Answer 2

特征类不会而决定对象的类型。相反，它们通常通过在特性中定义typedef或常量来提供有关类型的附加信息。