इस स्ट्रक्चर का प्रकार किस प्रकार से है?

Question

तो this example से: http://en.cppreference.com/w/cpp/utility/variant/visit विशेष प्रकार वाणी:

template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; }; 
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>; 

कौन सा एक आर-मूल्य यहाँ के रूप में निर्माण किया है:

std::visit(overloaded { 
    [](auto arg) { std::cout << arg << ' '; }, 
    [](double arg) { std::cout << std::fixed << arg << ' '; }, 
    [](const std::string& arg) { std::cout << std::quoted(arg) << ' '; }, 
}, v); 

मैं यह पता लगाने की यह कैसे काम करता कोशिश कर रहा हूँ। overloaded किस प्रकार से विरासत प्राप्त करता है? यह लैम्ब्डा की एक सरणी की तरह लगता है लेकिन मुझे नहीं लगता कि उसके पास operator() होगा। क्या कोई समझा सकता है कि विरासत यहां कैसे काम कर रही है?

Answer 1

overloaded व्यक्तिगत रूप से प्रत्येक लैम्ब्डा से विरासत में मिलता है और प्रत्येक लैम्ब्डा में कॉल ऑपरेटर होता है। इसलिए आप एक स्ट्रक्चर बनाते हैं जिसमें सभी कॉल ऑपरेटर एक ओवरलोड सेट में होते हैं। जब तक वे संदिग्ध नहीं होते हैं तब तक सही व्यक्ति को चुना जाएगा।

आप कल्पना को छोड़कर वास्तविक कोड में यह काम नहीं करती क्योंकि समान शरीर के साथ lambdas अभी भी विभिन्न प्रकार के लिए होता है

struct overloaded : 
    // inherits from 
    decltype([](auto arg) { std::cout << arg << ' '; }), 
    decltype([](double arg) { std::cout << std::fixed << arg << ' '; }), 
    decltype([](const std::string& arg) { std::cout << std::quoted(arg) << ' '; }) 

    // has three operator()s 
    { 
     using decltype([](auto arg) { std::cout << arg << ' '; })::operator(); 
     using decltype([](double arg) { std::cout << std::fixed << arg << ' '; })::operator(); 
     using decltype([](const std::string& arg) { std::cout << std::quoted(arg) << ' '; })::operator(); 
    }; 

का विस्तार करने के variadic टेम्पलेट कर सकते हैं।

यह 1 overloaded प्रकार प्रति तत्काल विरासत के साथ कई विरासत बनाता है।