Шаблон класса C ++ - исключить некоторые типы

Question

Я недавно создал шаблонный класс, который работает нормально.

Теперь я хотел использовать «const int» (например), но динамическое связывание запрещено.

есть ли возможность исключить тип const int?

это мой класс; компилятор выдаст ошибку для 2-го конструктора. я видел, как это происходит, но я просто не знаю, как его правильно изменить - и идеи?

template <class T>
class Vector2D
{
public:
    T X;
    T Y;

    Vector2D()
    {
        X = 0;
        Y = 0;
    };

    Vector2D(T x, T y)
    {
        X = x;
        Y = y;
    };
}

Answer 1

Используйте списки инициализации членов:

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 .

Answer 2

Вы можете использовать type_traits и static_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
}

Кроме того, я изменил ваш класс, чтобы использовать списки инициализации членов в конструкторе для инициализации переменных членов. И я сделал x и y private.

Answer 3

Для этого и нужна «Проверка концепции».

Извлечение http://www.boost.org/doc/libs/1_49_0/libs/concept_check/concept_check.htm

(GCC 4.7 реализует его в std ::будущий стандарт.)