suy luận kiểu của một tuple

Question

tôi có mã một cái gì đó như thế này:

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

Để suy ra các thông số mẫu loại các tuple được khởi tạo với, tôi đã đúc này:

static_cast<T*>(nullptr) 

và chuyển thông tin này làm tham số cho hàm

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

Tôi có cam kết UB không? Có cách nào tốt hơn?

Answer 1

Sự không hoàn hảo ở đây là chúng tôi không thể chuyên trách một phần các mẫu chức năng. Con đường của bạn là tốt, vì chúng tôi không dereferencing con trỏ null; Tôi muốn sử dụng thẻ được chỉ định:

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