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

时间:2012-03-23 19:23:13

标签: c++ templates types

我最近创建了一个工作正常的模板类。

现在我想使用“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;
    };
}

3 个答案:

答案 0 :(得分:4)

使用成员初始化列表:

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

答案 1 :(得分:3)

您可以使用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

答案 2 :(得分:2)

这就是“概念检查”的用途。

查看http://www.boost.org/doc/libs/1_49_0/libs/concept_check/concept_check.htm

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