Co to jest typ Ta struktura dziedziczy po?

Question

Więc this example od: http://en.cppreference.com/w/cpp/utility/variant/visit deklaruje typ specjalistycznego:

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

która jest skonstruowana jako wartość R tutaj:

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

próbuję dowiedzieć się, jak to działa. Jaki typ dziedziczy tutaj overloaded? Wygląda jak tablica lambd, ale nie widzę, jak to by miało operator(). Czy ktoś może wyjaśnić, w jaki sposób działa tu dziedziczenie?

Answer 1

overloaded dziedziczy z każdego lambda indywidualnie, a każdy lambda ma operatora połączenia. Dlatego należy utworzyć strukturę, która ma wszystkich operatorów wywołań w jednym zestawie przeciążenia. Dopóki nie są niejednoznaczne, właściwa zostanie wybrana automatycznie.

można sobie wyobrazić o zmiennej liczbie argumentów szablonu rozszerzyć do

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

wyjątkiem rzeczywistym kodzie to nie będzie działać, ponieważ lambda w tym samym podmiocie nadal mają różne typy.

Tworzy typ 1 overloaded z wielokrotnym dziedziczeniem na wystąpienie.