wyciągania rodzajów krotki za

Question

Mam kod coś takiego:

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

Aby wyprowadzić parametry typu szablon krotka był tworzony z, zrobiłem ten rzucania:

static_cast<T*>(nullptr) 

i przekazać to jako parametr funkcji

Czy popełniam błąd UB? Czy istnieje lepszy sposób?

Answer 1

Niedoskonałość polega na tym, że nie możemy częściowo specjalizować szablonów funkcji. Twoja droga jest w porządku, ponieważ nie wyłuskujemy zerowego wskaźnika; Wolałbym używać oznaczonego znacznika:

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>{}); 
}