我试图理解以下示例,该示例是从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
目的:学习
有人可以解释这个重载的结构如何工作吗?特别是我不理解的是以下声明。
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
这是用户定义的扣除指南(链接到工作草案)。
这是标准的最新修订版引入的语言的功能,以及类模板参数的推导。另请参见此处,以获取更多详细信息和更加用户友好的说明。
这不是一个正确的解释,但为简单起见,您可以将其视为提示,可以从提供给构造函数的一组参数中引出模板参数。
附带说明一下,我在这里找到了一个非常清楚的示例,值得将其复制过来:
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上的活跃用户。不幸的是,我找不到这个例子的答案。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句