模板类C++-排除某些类型

Template Class C++ - exclude some types

本文关键字:类型 排除 C++-      更新时间:2023-10-16

我最近创建了一个运行良好的模板类。

现在我想使用"const int"(例如),但动态绑定是被禁止的。

是否有可能排除const int类型?

这是我的课;编译器将为第二个构造函数抛出一个错误。我已经看到了它的到来,但我只是不知道如何以正确的方式修改它——以及想法?

template <class T>
class Vector2D
{
public:
    T X;
    T Y;
    Vector2D()
    {
        X = 0;
        Y = 0;
    };
    Vector2D(T x, T y)
    {
        X = x;
        Y = y;
    };
}

使用成员初始化列表:

template <class T>
class Vector2D
{
public:
    T X;
    T Y;
    Vector2D(): X(0), Y(0)
    {
    };
    Vector2D(T x, T y):X(x),Y(y)
    {
    };
}

这应该可以解决您当前使用const int的问题。如果您真的有兴趣禁止某个类型,请查看boost::enable_If。

您可以使用type_traitsstatic_assert来防止使用const类型实例化类。

#include <type_traits>
template <class T>
class Vector2D
{
  static_assert( !std::is_const<T>::value, "T must be non-const" );
    T X;
    T Y;
public:
    Vector2D() : X( 0 ), Y( 0 )
    {
    }
    Vector2D(T x, T y) : X( x ), Y( y )
    {
    }
};

int main()
{
  Vector2D<int> v1( 10, 20 );
  Vector2D<const int> v2( 10, 20 ); //static_assert fails
}

此外,我已经将您的类更改为使用构造函数中的成员初始化列表来初始化成员变量。我制作了xy private

这就是"概念检查"的作用。

结账http://www.boost.org/doc/libs/1_49_0/libs/concept_check/concept_check.htm

(GCC 4.7在std::中实现了它,因为它可能会被添加到未来的标准中。)