Статический полиморфизм: как определить интерфейс?

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

Также абсолютно законно, что неправильный код просто не будет компилироваться/слинковываться, хотя более четкое сообщение об ошибке от компилятора было бы лучше.

Однако, если вы настаиваете на определении интерфейса, вы можете переписать свой пример следующим образом:

template <class Type>
class Processor
{
public:
    void doSomething(int);
    void doSomethingElse();
};

template <class Type>
void op(Processor<Type>* proc){
    proc->doSomething(5);
    proc->doSomethingElse();
}

// specialization
template <>
class Processor<Type_Y>
{
    // implement the specialized methods
};

typedef Processor<Type_Y> ProcessorY;

int main() {
    ProcessorY py;
    op(&py);
    return 0;
}

Не существует явного определения того, какие методы должен определять ПРОЦЕССОР. Если один отсутствует, вы просто получите ошибку компиляции. Я думаю, это плохой стиль.

Это. Это не. Может быть. Это зависит.

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

Вам нужна функция ограничений и концепций, которая должна была появиться как часть C++ 11, но был отложен и по-прежнему недоступен в C++ 14.

Однако получение ошибки времени компиляции часто является лучшим способом ограничить параметры шаблона. В качестве примера мы можем использовать библиотеку std:

1) Итераторы.

Библиотека C++ определяет несколько типов итераторов: forward_iterator, random_access_iterator и другие. Для каждого типа определен набор свойств и допустимых выражений, доступность которых гарантирована. Если вы использовали итератор, который не полностью совместим с random_access_iterator в контейнере, для которого требуется random_access_iterator, то в какой-то момент вы получите ошибку компилятора (скорее всего, при использовании оператора разыменования ([]), который требуется в этом классе итератора).

2) Распределители.

Все контейнеры в библиотеке std используют распределитель для выделения/освобождения памяти и построения объектов. По умолчанию используется std::allocator. Если вы хотите обменять его на свой, вам нужно убедиться, что в нем есть все, что гарантированно есть у std::allocator. В противном случае вы получите ошибку времени компиляции.

Итак, пока мы не получим концепции, это лучшее и наиболее широко используемое решение.