C++17 使用模板参数推导指南继承 lambda 集

Question

我在看关于 std::variant 的文章 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...>;

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

代码基本上使用列表中的每个 lambda 函数作为结构 重载 的基类。第一行将 lambda 的 operator() 拉入结构的范围。第二行使用class template argument deduction guides (C++17)。

问题

我不明白在 overloaded 之后使用 { } 大括号的第 3 行。

这里使用什么样的 C++ 机制？ 我们是使用初始化列表并将其转换为可变模板参数，还是一种统一/聚合初始化？此行中是否调用了任何实际的构造函数？

有趣的是，如果我使用 ( )，构造会失败。

Answer 1

是aggregate initialization ，特别是结果类型的直接公共(public)基础。自 C++17 起，基础子对象本身不必是聚合，它们是从初始化列表的元素复制初始化的。