问题描述

此代码片段摘自https://en.cppreference.com/w/cpp/utility/variant/visit

using var_t = std::variant<int, long, double, std::string>;
template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
std::vector<var_t> vec = {10, 15l, 1.5, "hello"};

for (auto& v: vec) {
// 4. another type-matching visitor: a class with 3 overloaded operator()'s
// Note: The `(auto arg)` template operator() will bind to `int` and `long`
//       in this case, but in its absence the `(double arg)` operator()
//       *will also* bind to `int` and `long` because both are implicitly
//       convertible to double. When using this form, care has to be taken
//       that implicit conversions are handled correctly.
    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);
}

谁能解释一下using Ts::operator()...;在这里是什么意思？
在下面的内容中，这个调用的构造函数是什么？使用3个lambda函数？

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

我认为具体的重载实例派生自所有这3个函数类型，然后访问者根据变量的类型选择要使用的正确函数。对吗？

我就是不完全理解这个例子。

推荐答案

它创建一个名为overloaded的结构模板，该模板继承自其所有模板参数。接下来，它将所有声明的operator()函数从其基类拉到自己的作用域中，以便当用户对overloaded结构的实例调用operator()时，所有这些函数都参与重载解析。

...使用parameter pack expansion对所有模板参数执行相同的操作。

在下面的内容中，这个调用的构造函数是什么？使用3个lambda函数？

它不是构造函数，它是aggregate initialisation。在本例中，它使用class template argument deduction (CTAD)来推导overloaded的模板参数并初始化其基类实例。不包括CTAD，聚合初始化与本例相同：

struct A {};
struct B {};
struct C : A, B {};

void f() {
    C c{A{}, B{}};
}

这篇关于模板&lt；类有什么功能...TS；结构重载：TS...{Using ts：：OPERATOR()...；}；&quot；Means，以及它如何与std：：Access一起使用？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！