C++ Шаблоны против агрегации

Question

Рассмотрим следующий фрагмент кода:

class B { 
    private: 
    // some data members 
    public: 
    friend bool operator==(const B&,const B&); 
    friend ostream& operator<<(ostream&,const B&); 
    // some other methods 
}; 

template <typename T=B> 
class A { 
    private: 
    // some data members 
    vector<vector<T> > vvlist; 
    public: 
    // some other methods 
}; 

Моя требование заключается в том, что тип Т, который передается в качестве параметра типа должен обеспечить определения для оператора == и оператор < < методы. Я не хочу применять другие ограничения для T.

Как это сделать?

Один из способов, которым я могу думать, это создать абстрактный класс, который говорит «Z», который объявляет эти два метода.

, а затем написать

vector<vector<Z> > vvlist; 

и НЕ имеют класс А в качестве шаблона.

Есть ли лучший способ сделать это?

Answer 1

Это происходит автоматически.

Если код вызывает операторы == и <<, тогда код просто не будет компилироваться, если классу передается тип, который не определяет эти операторы.

Это, по сути, утка-типизация. Если это похоже на утку, а quacks - как утка, то это утка. Не имеет значения, реализует ли он интерфейс IDuck, пока он предоставляет функции, которые вы пытаетесь использовать.

Answer 2

Вы можете написать частный метод в A, который будет проверять необходимый материал на T во время компиляции.

void TestReq(T x, T y) 
{ 
    if (x==y) 
    cout << x; 
} 

Таким образом, даже простые целые числа будут проходить и работать.

Answer 3

Кажется, что вы ищете библиотеку проверки концепции. Посмотрите, что Boost может предложить: Boost Concept Check Library. Эта ссылка также имеет хорошее объяснение, каковы концепции. Цитата:

Концепция представляет собой набор требований (допустимых выражений, связанных типов, семантических инвариантов, сложность гарантий и т.д.), что тип должен выполнить, чтобы правильно использовать в качестве аргументов в вызове к родовому алгоритма

в вашем вопросе, понятие «тип T должен обеспечить operator== и operator<<».