Loại cấu trúc này được kế thừa từ là gì?

Question

Vì vậy this example từ: http://en.cppreference.com/w/cpp/utility/variant/visit tuyên bố kiểu chuyên ngành:

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

nào được xây dựng như một r có giá trị ở đây:

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

Tôi đang cố gắng tìm ra cách làm việc này. Loại overloaded được thừa hưởng từ đây là gì? Nó có vẻ giống như một loạt các lambdas nhưng tôi không thấy làm thế nào mà sẽ có một operator(). Ai đó có thể giải thích làm thế nào di sản đang làm việc ở đây?

Answer 1

overloaded kế thừa từ mỗi lambda riêng lẻ và mỗi lambda có một toán tử cuộc gọi. Do đó, bạn tạo một cấu trúc có tất cả toán tử cuộc gọi trong một tập quá tải. Miễn là chúng không rõ ràng, cái đúng sẽ tự động được chọn.

Bạn có thể tưởng tượng mẫu variadic mở rộng đến

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

Ngoại trừ trong mã thực nó sẽ không làm việc vì lambdas với cùng một cơ thể sẽ vẫn có các loại khác nhau.

Tạo loại 1 overloaded với nhiều lần kế thừa cho mỗi lần khởi tạo.