Удобные решения для создания последовательности шаблонных функций или классов

Question

Если у меня был класс Foo, с несколькими шаблонами функций и хотелось бы создать экземпляр для ряда других типов A, B, C в своем файле cpp, в настоящее время мне приходится писать каждый один, это может быть подвержено ошибкам, если я хочу добавить или удалить тип, и это просто раздражает, чтобы обновлять каждый раз. Есть ли какие-либо макро-трюки или методы метапрограммирования, которые могли бы помочь?

Что-то вроде:

//Foo cpp 
template <typename T> 
T Foo::add(T t0, T 01) { 
    return t0 + t1; 
} 

INSTANTIATE_TEMPLATE(Foo::add, A, B, C) 

Что бы произвести:

template A Foo::add<A>(A t0, A t1); 
template B Foo::add<B>(B t0, B t1); 
template C Foo::add<C>(C t0, C t1); 

Answer 1

Вы можете сделать шаблон VARIADIC вспомогательную функцию с УСО используемых вашими функциями и экземпляр этой функции, что-то вроде (предполагается, что вы можете по умолчанию создайте свои типы,)

template <typename ... Ts> 
void add_instantiator(Foo& foo) 
{ 
    int dummy[] = {0, (static_cast<void>(foo.add<Ts>({}, {})), 0)...}; 
    static_cast<void>(dummy); // Avoid warning for unused variable 
} 

template void add_instantiator<A, B, C>(Foo&); 

Или с Складным выражением в C++ 17:

template <typename ... Ts> 
void add_instantiator(Foo& foo) 
{ 
    (static_cast<void>(foo.add<Ts>({}, {})), ...); 
} 

Answer 2

Предполагая, что вы хотите явно создать экземпляр шаблона

template <typename T> 
T Foo::add(T t0, T t1) {return t0 + t1;} 

техника является

int Foo::add<int>(int, int); // instantiate for T = int 
double Foo::add<double>(double, double); // instantiate for T = double 

Это полностью отличается от специализации

template<> std::string Foo::add<std::string>(std::string x, std::string y) 
    {return y+x;}; 
    // assume we want add<std::string>() to append the first string to the second, 
    // not the second string to the first