выводя типы кортежа в

Question

У меня есть код что-то вроде этого:

template <typename T> 
inline typename ::std::enable_if< 
    is_std_tuple<T>{}, 
    T 
>::type 
get() 
{ 
    // pull tuple's elements from somewhere 
} 

Для того, чтобы вывести параметры типа шаблона кортеж был инстанцирован с, я сделал этот кастинг:

static_cast<T*>(nullptr) 

и передать этот как параметр к функции

template <typename ...A> 
void deduce_tuple(::std::tuple<A...>* const); 

Я принимаю UB? Есть ли способ лучше?

Answer 1

Несовершенство здесь состоит в том, что мы не можем частично специализировать шаблоны функций. Твой путь прекрасен, так как мы не разыскиваем нулевой указатель; Я бы предпочел использовать назначенный тег:

template <typename...> struct deduction_tag {}; 

template <typename... Ts> 
std::tuple<Ts...> get(deduction_tag<std::tuple<Ts...>>) { 
    // […] 
} 
template <typename T> 
std::enable_if_t<is_std_tuple<T>{}, T> get() { 
    return get(deduction_tag<T>{}); 
}