C++: Полиморфный шаблон класса

То, что вы ищете, - это проверка концепции для аргументов шаблона. Они были частью черновика следующего стандарта C ++, но были снова выброшены несколько недель / месяцев назад.

Без концепций в собственном языке есть несколько библиотек, которые пытаются это сделать, но причина того, что проверки концепций являются частью основного языка, заключается в том, что их более или менее невозможно реализовать без поддержки языка.

В вашем конкретном примере это не должно быть слишком сложно. Например, вы можете поместить специальный typedef в базовый класс и проверить это:

class date {
  public:
    typedef int is_derived_from_date;
};

template<typename D> class Calendar{ 
    typedef typename D::is_derived_from_date blah;
    ...
};

Другой способ - выбрать любой из is_dehibited :: мета-функции шаблона result , плавающие в сети, и реализовать статическую проверку этого в вашем классе Calender . Boost имеет как метафункцию is_dehibited , так и статическое утверждение.

Однако, сказав все это, я должен поставить под сомнение ваш замысел. Что не так с обычным объектно-ориентированным полиморфизмом, если вы хотите использовать полиморфизм времени компиляции шаблонов?

Думаю, ваша проблема решима без использования шаблонов. D всегда является производным классом Date, тогда почему бы просто не иметь коллекцию объектов Date?

На языке C ++ это называется проверкой концепции. В C ++ обычно утверждается, что наследование используется для наследования интерфейсов, а не реализации. Так что на самом деле вас не так сильно интересует, наследуется ли D от Date , но есть ли у D элементы интерфейса Date , которые вам нужно, а именно он имеет необходимые функции-члены и т. д. Преимущество этого состоит в том, что вам не нужно иметь будущие классы D , которые должны наследовать от Date , им просто нужно для реализации определенных функций.

Проверка концепций была удалена в C ++ 0x, но вы можете найти ее в Boost.ConceptCheck (основной сайт Boost - здесь ).

Если вы хотите взаимодействовать только с объектами Date, почему бы просто не использовать простой полиморфизм и просто иметь дело с Date * -s?

Если вы планируете иметь коллекцию дат в календаре, который может содержать экземпляры различных подклассов Date, тогда я сомневаюсь, что шаблоны будут работать, и у вас нет ничего, кроме полиморфизма, который вам в первую очередь поможет.

Что касается шаблонов, если данный тип имеет подходящий интерфейс, почему не следует это не работает с календарем? (Что ж, концепции были запланированы для C ++ 0x, но отказались от них, но их основная мотивация, казалось, заключалась в том, чтобы позволить более четкие сообщения об ошибках, связанных с шаблоном.)

Шаблоны обычно не требуют ограничений наследования / полиморфизма. Шаблон разработан для работы с любым типом , который удовлетворяет заданным требованиям, независимо от базовых типов.

template <typename T>
T clone(const T& cloneable) {
    return cloneable.create_clone();
} 

Этот код будет работать для любого типа, который поддерживает операцию create_clone () , нет Используется интерфейс ICloneable !

В вашем случае этот код позволит использовать любой тип, который ведет себя как дата.

Если вы хотите полиморфизм базового класса, просто не указывайте шаблоны и используйте Date * .

Обратите внимание, что если вы действительно хотите провести тест шаблона, вы можете попытаться привести указатель фиктивного объекта к Date * , который завершится ошибкой во время компиляции если он не является производным от Date . Но обычно код шаблона используется не так.