एक टपल के प्रकार बात का अनुमान लगाना

Question

मैं इस तरह कोड कुछ है:

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

आदेश मैं इस कास्टिंग किया टेम्पलेट प्रकार पैरामीटर टपल साथ instantiated था निकालना, करने के लिए:

static_cast<T*>(nullptr) 

और इस पारित एक फंक्शन

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

क्या मैं यूबी कर रहा हूं? क्या कोई बेहतर तरीका है?

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