У меня есть семейство параметризованных функций, типа:
template<typename T>
struct SomeFunc {
static void *call(void *arg) { return arg; }
};
Мне требуется во время исполнения выбирать одну из специализаций шаблона нужной функции в зависимости от внешнего параметра (разумеется, все соответствующие специализации должны быть определены во время компиляции).
В очень примитивной реализации это выглядит так:
template<template<typename> class F>
void *choose_from(void *arg, char run_time_type_of_arg) {
switch (run_time_type_of_arg) {
case 'i': return F<int>::call(arg);
case 'l': return F<long>::call(arg);
case 'd': return F<double>::call(arg);
default: return nullptr;
}
}
Вызывается это очень удобно:
void *test_some_func(void *arg, char run_time_type_of_arg) {
return choose_from<SomeFunc>(arg, run_time_type_of_arg);
}
Но меня категорически не устраивает отсутствие расширяемости/гибкости, жестко прописанные в коде кейсы и отсутствие возможности задавать разный набор специализаций для разных функций.
Поэтому я хочу переписать эту конструкцию с использованием type traits и более общих шаблонов на их основе:
template<typename T> struct TypeTrait { const static char value = 0; };
template<> struct TypeTrait<int> { const static char value = 'i'; };
template<> struct TypeTrait<long> { const static char value = 'l'; };
template<> struct TypeTrait<double> { const static char value = 'd'; };
template<template<typename> class F, typename T1>
struct ChooseFrom1 {
inline static void *call(void *arg, char run_time_type_of_arg) {
if (run_time_type_of_arg == TypeTrait<T1>::value)
return F<T1>::call(arg);
else
return nullptr;
}
};
template<template<typename> class F, typename T1, typename T2>
struct ChooseFrom2 {
inline static void *call(void *arg, char run_time_type_of_arg) {
if (run_time_type_of_arg == TypeTrait<T1>::value)
return F<T1>::call(arg);
else
return ChooseFrom1<F, T2>::call(arg, run_time_type_of_arg);
}
};
За счет встраивания функций все вызовы полностью удаляются на этапе компиляции, и в результате получается машинный код, почти полностью идентичный первой реализации на switch/case (я проверял листинги - все так). Но у меня не получилось рекурсивного шаблона (как видно ChooseFrom1 и ChooseFrom2 имеют разные имена). Вызывать это можно, например, так (совершенно не удобно):
void *test_some_func_2(void *arg, char run_time_type_of_arg) {
auto a = ChooseFrom1<SomeFunc, double>::call(arg, run_time_type_of_arg);
if (a) return a;
return ChooseFrom2<SomeFunc, int, long>::call(arg, run_time_type_of_arg);
}
В идеале я хочу получить один общий шаблон, который можно было бы вызывать так:
void *test_some_func_ideal(void *arg, char run_time_type_of_arg) {
return ChooseFrom<SomeFunc, int, long, double, Whatever_I_Want>::call(arg, run_time_type_of_arg);
}
Но все попытки совместить ChooseFrom1 и ChooseFrom2 ... ChooseFromN в один рекурсивный шаблон (один обобщенный шаблон для самой рекурсии плюс одна его специализация для остановки рекурсии) наталкиваются на ошибки компиляции.
Буду благодарен за любые советы по реализации данной идеи или обоснование теоретической невозможности подобной реализации.