Интерфейс для методов шаблонов

Question

У меня есть класс Foo, который предоставляет некоторую функциональность. Чтобы поддерживать модульность, Foo должен быть интерфейсом (т. Е. Классом C++ только с абстрактными методами), а реализация Foo может выбрать, как именно реализовать функциональность. Однако мой интерфейс включает в себя метод шаблона. То есть,

class Foo 
{ 
public: 
     template<class T> 
     void functionality(const T&); 
}; 

невозможно в C++ иметь шаблонные методы virtual. Есть ли какой-либо метод, который может достичь аналогичного результата (модульность и полиморфизм) с помощью шаблонных методов?

Answer 1

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

template <typename T> 
inline void *New(void) 
{ 
    return new T(); 
} 

Эта функция позволит пользователю динамически выделять любой тип объекта, пока конструктор по умолчанию существует. Теперь возьмите указатель на функцию и назначить его на эту новую функцию:

void *(*NewFuncPtr)(void) = New<int>; 
int *i = (int *)NewFuncPtr(); 

Сама функцию указатель не шаблонные, но может указывать на функцию, шаблонные. Возможно, это также может решить вашу ситуацию.