variant

variant 是 C++17 所提供的变体类型。variant<X, Y, Z> 是可存放 X, Y, Z 这三种类型数据的变体类型。

  • 与C语言中传统的 union 类型相同的是,variant 也是联合(union)类型。即 variant 可以存放多种类型的数据,但任何时刻最多只能存放其中一种类型的数据。
  • 与C语言中传统的 union 类型所不同的是,variant 是可辨识的类型安全的联合(union)类型。即 variant 无须借助外力只需要通过查询自身就可辨别实际所存放数据的类型。

v = variant<int, double, std::string> ,则 v 是一个可存放 int, double, std::string 这三种类型数据的变体类型的对象。

  • v.index() 返回变体类型 v 实际所存放数据的类型的下标。

    变体中第1种类型下标为0,第2种类型下标为1,以此类推。
  • std::holds_alternative<T>(v) 可查询变体类型 v 是否存放了 T 类型的数据。
  • std::get<I>(v) 如果变体类型 v 存放的数据类型下标为 I,那么返回所存放的数据,否则报错。

    std::get_if<I>(&v) 如果变体类型 v 存放的数据类型下标为 I,那么返回所存放数据的指针,否则返回空指针。
  • std::get<T>(v) 如果变体类型 v 存放的数据类型为 T,那么返回所存放的数据,否则报错。

    std::get_if<T>(&v) 如果变体类型 v 存放的数据类型为 T,那么返回所存放数据的指针,否则返回空指针。
#include <iostream>
#include <string>
#include <variant> using namespace std; int main()
{
variant<int, double, string> v; // v == 0
v = 1;
bool has_int = holds_alternative<int>(v);
bool has_double = holds_alternative<double>(v);
cout << v.index() << has_int << has_double << get<0>(v) << *get_if<0>(&v) << endl; // 01011
v = 2.0;
cout << v.index() << (get_if<int>(&v) == nullptr) << get<1>(v) << get<double>(v) << endl; // 1122
v = "a";
cout << v.index() << get<2>(v) << get<string>(v) << endl; // 2aa
}

std::visit

std::visit(f, v) 将变体类型 v 所存放的数据作为参数传给函数 f。

std::visit(f, v, u) 将变体类型 v, u 所存放的数据作为参数传给函数 f。

...

std::visit 能将所有变体类型参数所存放的数据作为参数传给函数参数。

#include <iostream>
#include <string>
#include <variant>
#include <boost/hana/functional/overload.hpp> using namespace std;
namespace hana = boost::hana; struct Visitor {
void operator()(int n) const {
cout << "int: " << n << endl;
}
void operator()(double d) const {
cout << "double: " << d << endl;
}
void operator()(const string& s) const {
cout << "string: " << s << endl;
}
}; template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>; int main()
{
variant<int, double, string> v; // v == 0
auto f = [](auto& x) {cout << x << endl;};
Visitor f2;
overloaded f3{
[](int n){cout << "int: " << n << endl;},
[](double d){cout << "double: " << d << endl;},
[](const string& s){cout << "string: " << s << endl;}
};
auto f4 = hana::overload(
[](int n){cout << "int: " << n << endl;},
[](double d){cout << "double: " << d << endl;},
[](const string& s){cout << "string: " << s << endl;}
);
auto f5 = [](auto& arg) { using T = decay_t<decltype(arg)>;
// auto f5 = []<typename T>(T& arg) { // C++ 20
if constexpr (is_same_v<T, int>) {
cout << "int: " << arg << endl;
}
else if constexpr (is_same_v<T, double>) {
cout << "double: " << arg << endl;
}
else if constexpr (is_same_v<T, string>) {
cout << "string: " << arg << endl;
}
};
v = 1; visit(f, v); visit(f2, v); visit(f3, v); visit(f4, v); visit(f5, v); // 1 int: 1 int: 1 int: 1 int: 1
v = 2.0; visit(f, v); visit(f2, v); visit(f3, v); visit(f4, v); visit(f5, v); // 2 double: 2 double: 2 double: 2 double: 2
v = "a"; visit(f, v); visit(f2, v); visit(f3, v); visit(f4, v); visit(f5, v); // a string: a string: a string: a string: a
}
  • f 和 f5 是泛型 lambda,接受所有参数的类型。

    f 不分辨参数类型。

    f5 通过编译期 if 语句来分辨参数类型。
  • f2 和 f3 是函数对象,通过重载函数调用操作符来分辨参数的类型。

    f2 的函数调用操作符由自身定义。

    f3 的函数调用操作符继承自3个lambda。
  • f4 这个函数对象经由 boost::hana::overload 函数生成,该函数所生成的函数对象能从多个lambda参数中选取一个合适的来调用指定参数。
  • 这段代码总共使用了三个C++17的新特性:

    适用于类模板的自动推断向导 https://www.cnblogs.com/zwvista/p/7748363.html

    变长 using 声明 https://www.cnblogs.com/zwvista/p/9256655.html

    编译期 if 语句 https://www.cnblogs.com/zwvista/p/9238273.html

C++17尝鲜:variant的更多相关文章

  1. C++17尝鲜

    https://cloud.tencent.com/developer/article/1351910 [译]C++17,optional, any, 和 variant 的更多细节 用户261520 ...

  2. C++17尝鲜:变长 using 声明

    using 声明 先来看 using 声明在类中的应用: 代码1 #include <iostream> using namespace std; struct A { void f(in ...

  3. C++17尝鲜:编译期 if 语句

    Constexpr If(编译期 if 语句) 以 if constexpr 打头的 if 语句被称为 Constexpr If. Constexpr If 是C++17所引入的新的语法特性.它为C+ ...

  4. C++17尝鲜:string_view

    string_view string_view 是C++17所提供的用于处理只读字符串的轻量对象.这里后缀 view 的意思是只读的视图. 通过调用 string_view 构造器可将字符串转换为 s ...

  5. C++17尝鲜:结构化绑定声明(Structured Binding Declaration)

    结构化绑定声明 结构化绑定声明,是指在一次声明中同时引入多个变量,同时绑定初始化表达式的各个子对象的语法形式. 结构化绑定声明使用auto来声明多个变量,所有变量都必须用中括号括起来. cv-auto ...

  6. C++17尝鲜:类模板中的模板参数自动推导

    模板参数自动推导 在C++17之前,类模板构造器的模板参数是不能像函数模板的模板参数那样被自动推导的,比如我们无法写 std::pair a{1, "a"s}; // C++17 ...

  7. C++17尝鲜:在 if 和 switch 语句中进行初始化

    初始化语句 在C++17中,类似于 for 语句,在 if 和 switch 语句的判断条件之前也能加上初始化语句,语法形式如下: if (初始化语句; 条件) 语句 else 语句 switch ( ...

  8. 带你尝鲜LiteOS 组件EasyFlash

    摘要:EasyFlash是一个开源的轻量级嵌入式闪存库. 本文分享自华为云社区<LiteOS组件尝鲜-玩转EasyFlash>,作者:Lionlace . 基本介绍 EasyFlash是一 ...

  9. JEP解读与尝鲜系列4 - Java 16 中对于 Project Valhalla 的铺垫

    这是 JEP 解读与尝鲜系列的第 4 篇,之前的文章如下: JEP解读与尝鲜系列 1 - Java Valhalla与Java Inline class JEP解读与尝鲜系列 2 - JEP 142 ...

随机推荐

  1. [UE4]在AIController中使用行为树

     行为树会在Root根下面的每个子节点中从左右到右来回往复循环执行.

  2. Nginx开启Gzip详解

    最近生产上发生了一些问题,原先所有的静态资源文件都是经过gzip压缩的,然而这几天突然都没有压缩了,经过一顿排查,发现是Nginx的配置有问题,借此机会详细了解了Nginx的Gzip配置. 1. Ng ...

  3. vue 双向数据绑定 Vue事件介绍 以及Vue中的ref获取dom节点

    <template> <div id="app"> <h2>{{msg}}</h2> <input type="te ...

  4. c#数组去重

    第一种: string[] stringArray = { "aaa", "bbb", "aaa", "ccc", &q ...

  5. Win10还原被Windows Defender隔离的文件

    Win10最新版本的Windows Defender隔离/删除的文件没有还原的选项,导致很多破解文件或是注册机直接隔离,到威胁历史记录中去却无法恢复.经过各个尝试,到微软官方论坛中也尝试了很多方法,后 ...

  6. Django中的ORM相关操作:F查询,Q查询,事物,ORM执行原生SQL

    一    F查询与Q查询: 1 . F查询: 在上面所有的例子中,我们构造的过滤器都只是将字段值与某个常量做比较.如果我们要对两个字段的值做比较,那该怎么做呢? Django 提供 F() 来做这样的 ...

  7. update 中实现子查询

    mysql 在update中实现子查询的方式   当使用mysql条件更新时--最先让人想到的写法 UPDATE buyer SET is_seller=1 WHERE uid IN (SELECT  ...

  8. J2EE与EJB

    问题及答案来源自<Java程序员面试笔试宝典>第五章 Java Web 5.2 J2EE与EJB 1.什么是J2EE? J2EE是Java平台企业版的简称,是用来开发和部署企业级应用的一个 ...

  9. Application failed to start because it could not find or load the QT platform plugin “windows”

    只需要在.exe所在的目录下创建一个目录platforms添加进去缺失的dll即可如图: 参考链接:https://stackoverflow.com/questions/21268558/appli ...

  10. Ruby学习笔记6: 动态web app的建立(3)--多Model之间的交互

    We first built a static site which displayed a static image using only a Controller and a View. This ...