Question

我试图理解以下从http://en.cppreference.com/w/cpp/utility/variant/visit

获得的示例

#include <iomanip>
#include <iostream>
#include <string>
#include <type_traits>
#include <variant>
#include <vector>


using var_t = std::variant<int, long, double, std::string>;

template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
// what is this declaration imply???
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

int main() {
    std::vector<var_t> vec = {10, 15l, 1.5, "hello"};


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

有人可以解释一下这个重载的结构是如何工作的吗？特别是我不明白的是以下声明。

template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

如果没有此声明，编译器将发出以下错误消息。

main.cpp: In function 'int main()':
main.cpp:26:9: error: class template argument deduction failed:
         }, v);
         ^
main.cpp:26: confused by earlier errors, bailing out

目的：学习

Answer 1

有人可以解释一下这个重载的结构是如何工作的吗？特别是我不明白的是以下声明。
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;

这是user-defined deduction guide（工作草案的链接）它是该标准的最新版本引入的语言的一个特征以及类模板参数推导。另请参阅here以获取更多详细信息以及更加用户友好的解释这不是一个正确的解释，但为了简单起见，您可以将其视为提示，您可以指定从给定构造函数的一组参数中推导出模板参数。< / p>

作为附注，here我发现了一个非常清楚的例子，值得复制它：

template<typename T>
struct Thingy { T t; };

Thingy(const char *) -> Thingy<std::string>;

// ...

Thingy thing{"A String"}; // thing.t is a `std::string`.

积分适用于@NicolBolas，这是SO的活跃用户。不幸的是，我找不到这个例子的答案。

使用带有可变参数模板struct

1 个答案: