0

我一直试图理解这段代码

    template <typename T, typename _Prd = equal_to<T> >
    struct Vector3
    {
    protected:
        T i,j,k;
        _Prd comp;
    public:
        //default constructor
        Vector3(void);

        //explicit constructor
        Vector3(const T& ijk);

        //explicit constructor
        Vector3(const T& i,const T& j,const T& k);

        //copy constructor
        Vector3(const Vector3<T,_Prd>& copy_from);

        //getters
        T I() const;
        T J() const;
        T K() const;

        //setters
        void I(const T& i);
        void J(const T& j);
        void K(const T& k);

        //get magnitude of vector.
        T Magnitude() const;

        //angle between I,J (clockwise)
        T Direction() const;

        //angle between K and I,J
        T Elevation() const;

        //scale vector to 1
        Vector3<T,_Prd>& Normalize();

        //vector scale up-to value
        Vector3<T,_Prd>& Scale(const T& length);

        ...
};

我无法理解第一句话

template <typename T, typename _Prd = equal_to<T> > struct Vector3 {};

这是关于的用法,我从herehereequal_to<T>找到了参考。但仍然没有这样的东西。感谢您帮助我理解这部分。

更新:

在看到答案并阅读一些教科书后,我的问题转向了两个方面。

1. 默认模板参数

在 C++11 中,我们可以为模板提供默认模板参数。C++ 入门第 5 版中的示例。第 670 页。

#include <functional>
template <typename T, typename F = less<T> >
int compare (const T &v1, const T &v2, F f = F() )
{
    if (f(v1, v2) return -1 ;
    if (f(v2, v1) return 1 ;
    return 0 ;
}

然后我们将此模板用作:

bool i = compare(0,42) ; 

模板将使用默认的 less 函数对象类来实例化。但是,当我们使用自己的对象时:

Sales_data item(cin), item2(cin) ;
bool j = compare (item, item2, compareIsbn) ;

然后 F 转而使用 compareIsbn 函数对象。所以我上面的问题也会发生同样的情况,这种方式将为模板的用户留下一个入口,以允许他们引入自己的函数对象,在这种情况下,它被用作比较器。

2.谓词

检查C++ 中的谓词是什么?

4

2 回答 2

2

std::equal_to是一个类模板,它提供如下内容:

bool operator()(T const & lhs, T const & rhs) const { return lhs == rhs; }

换句话说,它是一个封装了普通==比较器的函数对象类。关键是它equal_to可以被专门化,因此提供了一种非侵入性的方式来增加可定制性。

最重要的是,您的模板Vector3还提供了一种通过第二个模板参数自定义比较器的侵入式方法。

请注意,谓词通常是对象,而不仅仅是特征类。所以你的容器实际上将包含一个谓词子对象。如果谓词类是默认可构造的,这没问题,但如果不是,那么您通常必须在容器构造函数中提供谓词的副本。

作为一项家庭作业,您可以考虑如何避免在谓词子对象上花费任何实际内存。

于 2012-11-06T01:13:25.117 回答
1

第二个模板参数 _Prd 被分配了一个默认类型,就像函数可以有参数的默认值一样。STL 大量使用它。以 std::basic_string 为例

于 2012-11-06T01:13:35.197 回答