`variant` वैश्विक कार्य के लिए std :: <T> क्यों प्राप्त करें?

Question

क्या कोई मुझे बता सकता है कि C++ 17 का std::get<T> क्यों वैश्विक कार्य है और variant<...> का सदस्य-कार्य नहीं है?

Answer 1

यदि get<T>() सदस्य फ़ंक्शन टेम्पलेट थे, तो template कीवर्ड वौडल की आवश्यकता होती है जब इसे एक निर्भर संदर्भ में बुलाया जाता है। उदाहरण के लिए:

template <typename Variant> 
void f(Variant const& v) { 
    auto x0 = v.template get<T>(); // if it were a member 
    auto x1 = get<T>(v);   // using a non-member function 
} 

यहां तक ​​कि एक using घोषणा या निर्देश get() अगर std::variant<...> और get() दोनों के रूप में पाया बिना नाम स्थान std घोषित किये गए हैं। इस प्रकार, ऐसा लगता है कि वैश्विक कार्य को उपयोग करना आसान है क्योंकि इसे सदस्य कार्य करने का कोई अच्छा कारण नहीं है।