在 C++ 中使用特征

Question

这个问题与我的上一个问题相关。我正在尝试使用 traits 和 traits 解决问题。请考虑以下代码。

template<typename T>
struct traits
{
    typedef const T& const_reference;
};

template<typename T>
struct traits<T*>
{
    typedef const T const_reference;
};

template<typename T>
class test
{
public:   
    typedef typename traits<T>::const_reference const_reference;
    test() {}   
    const_reference value() const {
        return f;
    }
private:
    T f;
};

int main()
{
    const test<foo*> t;
    const foo* f = t.value(); // error here. cannot convert ‘const foo’ to ‘const foo*’ in initialization
    return 0;
}

因此，编译器似乎没有考虑指针的特征专门化，并将 value() 的返回类型视为 const foo 而不是 const foo* 。我在这里做错了什么？

任何帮助都会很棒！

Answer 1

正在使用该专业。 traits​​::const_reference 是 const foo。如果您希望它是一个指针，请使用：

template<typename T>
struct traits<T*>
{
    typedef const T* const_reference;
};

这样，traits​​::const_reference 将是 const foo*。

请注意，traits 特化中 T 的使用与 traits 模板中的 T 完全分开。您可以重命名它：

template<typename U>
struct traits<U*>
{
    typedef const U* const_reference;
};

并且您将拥有相同的专业化。如果您有函数式编程经验，这会更有意义。

首先，将模板视为引入抽象，而不是像函数抽象出值一样。这就像变成

sum = 0
for item in [1,2,3]:
    sum += item

：

function sum(l):
    sum = 0
    for item in l:
        sum += item
    return sum

其中 l 代替了 [1,2,3]。我们可以从另一个函数调用 sums，该函数本身有一个名为 l 的形式参数：

function sumsq(l):
    return sum(map(lambda x: x*x, l))

sumsq 的“l”与 无关>sum 的“l”。

使用模板，我们抽象类型名称而不是值。也就是说，我们将： 变为

struct traits {
    typedef const double& const_reference;
};

：

template <typename T>
struct traits {
    typedef const T& const_reference;
};

现在考虑非模板特化：

template <>
struct traits<double*> {
    typedef const double* const_reference;
};

这里没有用于特化的模板参数，但您可以将 traits 视为应用 将 Traits 模板转换为 double*。抽象出double，你就得到了：

template <typename T>
struct traits<T*> {
    typedef const T* const_reference;
};

这里的T是专门化的参数，而不是基本模板。