C++17之std::visit的具体使用
更新时间：2022年02月07日 09:47:47 作者：云洞
本文主要介绍了C++17之std::visit的具体使用，文中通过示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
它们必须明确地为每种可能的类型提供函数调用操作符。然后，使用相应的重载来处理当前的备选项类型。
1. 使用对象函数方式访问
例1：
#include <iostream>
#include <variant>
#include <string>
struct MyVisitor
{
void operator()(double d) const {
std::cout << d << '\n';
}
void operator()(int i) const {
std::cout << i << '\n';
}
void operator()(const std::string& s) const {
std::cout << s << '\n';
}
};
int main()
{
std::variant<int, double, std::string> var1(42), var2(3.14), var3("visit");
std::visit(MyVisitor(), var1); // calls operator() for matching int type
std::visit(MyVisitor(), var2); // calls operator() for matching double type
std::visit(MyVisitor(), var3); // calls operator() for matching std::string type
return 0;
}结果如下：
如果操作符()不支持所有可能的类型，或者调用不明确，则visit()调用是编译时错误。还可以使用访问者修改当前类型的值(但不能分配新类型的值)。
例2：
#include <iostream>
#include <variant>
#include <string>
struct Twice
{
void operator()(double& d) const {
d *= 2;
}
void operator()(int& i) const {
i *= 2;
}
void operator()(std::string& s) const {
s = s + s;
}
};
int main()
{
std::variant<int, double, std::string> var1(42), var2(3.14), var3("visit");
std::visit(Twice(), var1); // calls operator() for matching int type
std::visit(Twice(), var2); // calls operator() for matching double type
std::visit(Twice(), var3); // calls operator() for matching std::string type
std::cout << std::get<int>(var1) << std::endl;
std::cout << std::get<double>(var2) << std::endl;
std::cout << std::get<std::string>(var3) << std::endl;
return 0;
}结果如下：
注意，对象操作符应该为const函数，因为它们是无状态的(它们不改变它们的行为，只改变传递的值，即不改变成员变量的值)。
2. 使用泛型Lambdas访问
使用这个特性最简单的方法是使用泛型lambda，它是一个函数对象，用于任意类型:
例3：
#include <iostream>
#include <variant>
#include <string>
auto printvariant = [](const auto& val)
{
std::cout << val << std::endl;
};
int main()
{
std::variant<int, double, std::string> var1(42), var2(3.14), var3("visit");
std::visit(printvariant, var1);
std::visit(printvariant, var2);
std::visit(printvariant, var3);
return 0;
}结果如下：
这里，泛型lambda定义了一个闭包类型，其中函数调用操作符作为成员模板:
class CompilerSpecifyClosureTypeName
{
public:
template<typename T>
auto operator() (const T& val) const
{
std::cout << val << '\n';
}
};也可以使用lambda来修改当前选项的值:
例4：
#include <iostream>
#include <variant>
#include <string>
auto printvariant = [](const auto& val)
{
std::cout << val << std::endl;
};
int main()
{
std::variant<int, double, std::string> var1(42), var2(3.14), var3("visit");
std::visit([](auto& val) {
val = val + val;
},
var1);
std::visit([](auto& val) {
val = val + val;
},
var2);
std::visit([](auto& val) {
val = val + val;
},
var3);
std::visit(printvariant, var1);
std::visit(printvariant, var2);
std::visit(printvariant, var3);
return 0;
}结果如下：
甚至可以使用编译时if语言特性以不同的方式处理不同的备选值：
例5：
#include <iostream>
#include <variant>
#include <string>
auto dblvar = [](auto& val)
{
if constexpr (std::is_convertible_v<decltype(val), std::string>)
{
val = val + " test";
}
else
{
val += 2;
}
};
int main()
{
std::variant<int, double, std::string> var1(42), var2(3.14), var3("visit");
std::visit(dblvar, var1);
std::visit(dblvar, var2);
std::visit(dblvar, var3);
std::cout << std::get<int>(var1) << std::endl;
std::cout << std::get<double>(var2) << std::endl;
std::cout << std::get<std::string>(var3) << std::endl;
return 0;
}这里，对于一个std::string类型备选项，泛型lambda的调用实例化它的泛型函数调用模板来计算:
val = val + “ test”;
而对于其他类型备选项，如int或double, lambda的调用实例化其通用函数调用模板来计算:
val += 2;
结果如下：
3. 使用重载的Lambdas来访问
通过为函数对象和lambdas使用一个重载器，还可以定义一组lambdas，其中使用最佳匹配作为访问者。假设，重载器定义为重载，如下所示：
template<typename... Ts>
struct overload : Ts...
{
using Ts::operator()...;
};
// base types are deduced from passed arguments:
template<typename... Ts>
overload(Ts...) -> overload<Ts...>;可以使用重载访问一个变量，为每个选项提供lambdas:
std::variant<int, std::string> var(42);
...
std::visit(overload{ // calls best matching lambda for current alternative
[](int i) { std::cout << "int: " << i << '\n'; },
[](const std::string& s) {
std::cout << "string: " << s << '\n'; },
},
var);还可以使用泛型lambda。总是用最好的搭配。例如，要修改variant对象的当前类型备选项的值，可以使用重载将字符串和其他类型的值“加倍”：
auto twice = overload{
[](std::string& s) { s += s; },
[](auto& i) { i *= 2; },
};使用此重载，对于字符串类型备选项，将添加当前值，而对于所有其他类型，将值乘以2，这演示了variant对象的以下应用程序:
std::variant<int, std::string> var(42); std::visit(twice, var); // value 42 becomes 84 ... var = "hi"; std::visit(twice, var); // value "hi" becomes "hihi"
例 6：
#include <iostream>
#include <variant>
#include <string>
template<typename... Ts>
struct overload : Ts...
{
using Ts::operator()...;
};
template<typename... Ts>
overload(Ts...)->overload<Ts...>;
auto twice = overload{
[](std::string& s) { s += s; },
[](auto& i) { i *= 2; },
};
int main()
{
std::variant<int, std::string> var1(42) , var3("visit");
std::visit(twice, var1);
std::visit(twice, var3);
std::visit(overload{ // calls best matching lambda for current alternative
[](int i) { std::cout << "int: " << i << '\n'; },
[](const std::string& s) {
std::cout << "string: " << s << '\n'; },
},
var1);
std::visit(overload{ // calls best matching lambda for current alternative
[](int i) { std::cout << "int: " << i << '\n'; },
[](const std::string& s) {
std::cout << "string: " << s << '\n'; },
},
var3);
return 0;
}结果如下：
到此这篇关于C++17之std::visit的具体使用的文章就介绍到这了,更多相关C++17 std::visit内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要为大家总结了Qt中QString 与 （QStringList | QByteArray）之间的转换，以及QString、QStringList的一些常用方法，感兴趣的可以收藏一下2022-12-12
这篇文章主要介绍了Cocos2d-x中实现弹出对话框示例,注意本文代码中的注释,本文同时给出了效果图,需要的朋友可以参考下2014-09-09
这篇文章主要为大家详细介绍了Opencv实现用于图像分割分水岭算法，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2018-01-01
程序运行的目的是为了得到特定的结果，计算机本质上是用于计算的，既然是用于计算，就需要参与计算的数据，那这些数据就存储在内存中，计算之前参与运算的数据以及运算之后得到的数据，都存储在内存中，所以对内存操作的掌握就尤为重要，下面我们一起来看看2022-04-04
这篇文章主要给大家介绍了关于VScode配置C++运行环境的完整步骤，文中通过图文介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2021-01-01
这篇文章主要介绍了详谈浮点精度(float、double)运算不精确的原因，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教2021-12-12
在嵌入式开发中需要经常用到库函数, Vscode需要配置引用路径,本文主要介绍了增加Vscode引用路径的解决方法,具有一定的参考价值,感兴趣的可以了解一下2024-02-02
这篇文章主要介绍了关于vector的常见用法详解,vector本身可以作为数组使用，而且在一些元素个数不确定的场合可以很好地节省空间，本文给大家介绍的非常详细，需要的朋友可以参考下2023-02-02
这篇文章主要为大家详细介绍了人脸检测中AdaBoost算法的相关资料，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2018-01-01
这篇文章主要介绍了C语言实现数据结构双向链表操作,需要的朋友可以参考下2017-03-03
最新评论