SO
Есть такой псевдокод:
int foo(int) { return 0; }
int foo(char) { return 0; }
double bar(double) { return 0.0; }
template<class T>
auto wrap(T t) {
if constexpr(std::is_save_v<T, int>) {
return foo(t);
} else if constexpr(std::is_save_v<T, char>) {
return foo(t);
} else if constexpr(std::is_save_v<T, double>) {
return bar(t);
} else {
...
}
}
Я не хочу в if constexpr дублировать все перегрузки для функции foo или bar, это глупо.
Как сделать вот такое:
template<class T>
auto wrap(T t) {
if constexpr( can_be_called(foo(t)) ) {
return foo(t);
} else if constexpr( can_be_called(bar(t)) ) {
return bar(t);
} else {
...
}
}
Что должно быть на месте can_be_called( )? std::is_constructable вроде не подходит
Сфинайкой или концептом
Только ты точно хочешь unqualified foo?
через enable_if? готового хелпера в std нет? я оч не хотел писать структуры и шаблоны
Можно не enable_if
эт что такое?
decltype(foo(declval<T>()))*=nullptr псевдокод
https://en.cppreference.com/w/cpp/types/is_invocable
Не то, тут тип нужен, а набор перегрузок не тип
Хелпера нет, потому что ни в функцию, ни в шаблон нельзя передать идентификатор
Обсуждают сегодня