C++17中std::variant的使用

news2024/11/24 10:36:07

      可变参数模板类std::variant表示类型安全联合体(type-safe union)。std::variant的实例在任何给定时间要么保存其替代类型之一的值，要么在错误的情况下无值。
      与union一样，如果std::variant保存某个对象类型T的值，则T的对象表示形式将直接在std::variant本身的对象表示形式中分配。不允许std::variant分配额外的(动态)内存，std::variant不会分配堆内存。
      不允许std::variant保存引用、数组或void类型(references, arrays, or the type void)。空的std::variant也是格式错误的。
      允许std::variant多次保存相同类型，并保存相同类型的不同cv限定(cv-qualified versions)版本。
      std::variant允许你以灵活且类型安全的方式处理多种数据类型。std::variant可以存储各种数据类型的值，包括基本类型(int、double等)、用户定义类型(自定义类或结构)，甚至其它std::variant。
      使用std::in_place_type或std::in_place_index可对多个值初始化，也可以使用它们在初始化时解决歧义问题。
      和std::optional、std::any一样，std::variant对象是值语义。也就是说，拷贝被实现为深拷贝。
      std::variant持有的值有若干候选项(alternative)，这些选项通常有不同的类型。然而，两个不同选项的类型也有可能相同。
      初始化和赋值操作都会查找最匹配的选项。如果类型不能精确匹配，可能会发生奇怪的事情。std::variant没有空的状态，这意味着每一个构造好的std::variant对象，至少调用了一次构造函数。默认构造函数会调用第一个选项类型的默认构造函数。如果第一个类型没有默认构造函数，那么调用std::variant的默认构造函数将会导致编译期错误。结构体std::monostate可以处理这种情况。std::monostate可以作为第一个选项类型来保证std::variant能默认构造。

namespace {

template<class T>
auto& operator<<(std::ostream& out, const std::vector<T>& v)
{
	out << "{";
	for (const auto& e : v)
		out << e << " ";
	return out << "}";
}

struct S {
	S(int i) : i(i) {}
	int i;
};

class Derived : public std::variant<int, std::string> { };

} // namespace

int test_variant_init()
{
	std::variant<int, float> var1;
	std::cout << "index: " << var1.index() << ", value: " << std::get<int>(var1) << "\n"; // index: 0, value: 0

	std::variant<std::string, int> var2{ "CHINA" };
	std::cout << "index: " << var2.index() << ", value: " << std::get<std::string>(var2) << "\n"; // index: 0, value: CHINA

	std::variant<std::string, int> var3{ 66 };
	std::cout << "index: " << var3.index() << ", value: " << std::get<int>(var3) << "\n"; // index: 1, value: 66

	std::variant<std::vector<int>, std::string, float> var4{ std::in_place_type<std::string>, "CHINA" };
	std::cout << "index: " << var4.index() << ", value: " << std::get<std::string>(var4) << "\n"; // index: 1, value: CHINA

	std::variant<std::string, std::vector<int>, float> var5{ std::in_place_type<std::vector<int>>, {1, 2, 3, 4, 5} };
	std::cout << "index: " << var5.index() << ", value: " << std::get<std::vector<int>>(var5) << "\n"; // index: 1, value: {1 2 3 4 5 }

	std::variant<std::string, bool, std::vector<std::string>> var6{ std::in_place_index<2>, 5, "hi" };
	std::cout << "index: " << var6.index() << ", value: " << std::get<std::vector<std::string>>(var6) << "\n"; // index: 2, value: {hi hi hi hi hi }

	//std::variant<S> var7; // error C2512: "std::variant<`anonymous-namespace'::S>::variant": 没有合适的默认构造函数可用
	std::variant<std::monostate, S> var7;
	std::cout << "index: " << var7.index() << "\n"; // index: 0
	if (std::holds_alternative<std::monostate>(var7))
		std::cout << "var7 has monostate\n"; // var7 has monostate
	var7 = std::monostate{};

	return 0;
}

      std::variant相关函数：
      (1).index：返回存储在std::variant中的数据类型从零开始的索引；
      (2).emplace: 就地(in place)构造std::variant的值；若已存储值，则首先销毁当前存储的值，然后再初始化;
      (3).holds_alternative: 检查std::variant当前是否拥有给定类型；返回bool类型；
      (4).get：从std::variant中检索给定索引或类型(如果类型是唯一的)的值，如果不匹配，则抛出异常；返回存储值的引用；
      (5).get_if：获取指向给定索引或类型(如果唯一)的std::variant值的指针，出错时返回nullptr，它的参数是一个指针；
      (6).valueless_by_exception:检查std::variant是否处于无效状态；
      (7).std::variant_npos:std::variant处于无效状态时，std::variant的索引值；
      (8).std::swap:交换两个std::variant对象的值；
      (9).operator==, !=, <, <=, >, >=:比较两个std::variant对象；
      std::variant也支持move语义。

int test_variant_functions()
{
	std::variant<int, float, std::string> var1{ 66.6f };
	std::cout << "index: " << var1.index() << ", value: " << std::get<float>(var1) << "\n"; // index: 1, value: 66.6

	var1.emplace<2>("CHINA");
	std::cout << "index: " << var1.index() << ", value: " << std::get<std::string>(var1) << "\n"; // index: 2, value: CHINA
	var1.emplace<0>(88);
	std::cout << "index: " << var1.index() << ", value: " << std::get<int>(var1) << "\n"; // index: 0, value: 88

	std::cout << std::boolalpha
		<< "holds int: " << std::holds_alternative<int>(var1)
		<< ", holds string: " << std::holds_alternative<std::string>(var1) << "\n"; // holds int: true, holds string: false

	if (std::holds_alternative<int>(var1))
		std::cout << "var1 type: int\n"; // var1 type : int

	std::variant<std::string, int, float, std::vector<float>> var2;
	var2 = std::get<int>(var1);
	std::cout << "index: " << var2.index() << ", value: " << std::get<int>(var2) << "\n"; // index: 1, value: 88
	var2 = std::get<0>(var1); // <==> var2 = std::get<int>(var1);
	std::cout << "index: " << var2.index() << ", value: " << std::get<int>(var2) << "\n"; // index: 1, value: 88
	std::get<0>(var1) = 99;
	std::cout << "index: " << var1.index() << ", value: " << std::get<int>(var1) << "\n"; // index: 0, value: 99

	try {
		//var2 = std::get<2>(var1);
		var2 = std::get<std::string>(var1);
	} catch (std::bad_variant_access const& ex) {
		std::cout << "exception: " << ex.what() << "\n"; // windows: exception: bad variant access; linux: exception: std::get:wrong index for variant
	}

	std::variant<std::string, std::string> var3;
	std::get<0>(var3) = "China";
	std::cout << "index: " << var3.index() << ", value: " << std::get<0>(var3) << "\n"; // index: 0, value: China
	var3.emplace<1>("Beijing");
	std::cout << "index: " << var3.index() << ", value: " << std::get<1>(var3) << "\n"; // index: 1, value: Beijing

	auto check_value = [](const std::variant<int, float>& v) {
		if (const int* pval = std::get_if<int>(&v))
			std::cout << "variant value: " << *pval << '\n';
		else
			std::cout << "failed to get value" << '\n';
	};

	std::variant<int, float> var4{ 12 }, var5{ 3.f };
	check_value(var4); // variant value: 12
	check_value(var5); // failed to get value

	Derived var6{ "Beijing" };
	std::cout << "index:" << var6.index() << ", value: " << std::get<1>(var6) << "\n"; // index:1, value: Beijing

	std::swap(var4, var5);
	std::cout << "var4 index: " << var4.index() << ", value: " << std::get<1>(var4) << "\n"; // var4 index: 1, value: 3
	std::cout << "var5 index: " << var5.index() << ", value: " << std::get<0>(var5) << "\n"; // var5 index: 0, value: 12

	std::cout << std::boolalpha << "var4 == var5: " << (var4 == var5) << "\n"; // var4 == var5: false

	std::variant<std::string, std::string> var7{ std::in_place_index<1>, "China" }, var8;
	std::cout << "index: " << var7.index() << ", value: " << std::get<1>(var7) << "\n"; // index: 1, value: China
	var7.emplace<0>("Bejing");
	std::cout << "index: " << var7.index() << ", value: " << std::get<0>(var7) << "\n"; // index: 0, value: Bejing

	var8 = std::move(var7);
	std::cout << "index: " << var7.index() << ", value: " << std::get<0>(var7) << "\n"; // index: 0, value:
	std::cout << "index: " << var8.index() << ", value: " << std::get<0>(var8) << "\n"; // index: 0, value: Bejing

	return 0;
}

      执行结果如下图所示：

      GitHub：https://github.com/fengbingchun/Messy_Test

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1224359.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

heatmap | cell cycle genes in Seurat

heatmap | cell cycle genes in Seurat

目的&#xff1a;使用bulk 数据&#xff0c;查看HeLa 双胸苷阻断法 细胞同步化 释放 [0, 3, 4.5, 6, 9, 10.5, 12, 15, 18, 19.5, 21, 22.5, 25.5, 30] 小时后 cell cycle 基因的表达情况。 1.结果 S phase G2M phase S G2M phase 不方便看&#xff0c;横过来看&#xff1a;…
阅读更多...
Windows上搭建一个网站（基本生产环境）

Windows上搭建一个网站（基本生产环境）

前言 本博客记录的是Windows上一次网站搭建的过程&#xff0c;主要是在前端采用的是React&#xff0c;后端采用的是Flask&#xff0c;记录一下生产版本搭建流程和坑点&#xff0c;供有缘人一起进步&#xff0c;当然本博客还存在很多不足。 前端项目构建生产版本 以React为例…
阅读更多...
【C++】容器string的常用成员函数接口

【C++】容器string的常用成员函数接口

目录 string - C Reference 1 容量相关 1.1 size/length 1.2 capacity 1.3 resize 1.4 reserve 1.5 empty 2 运算符重载 2.1 operator 2.2 operator[] 2.3 operator&#xff08;非成员函数&#xff09; 2.4 operator 2.5 operator>> && operator<…
阅读更多...
​软考-高级-系统架构设计师教程（清华第2版）【第20章 系统架构设计师论文写作要点（P717~728）-思维导图】​

​软考-高级-系统架构设计师教程（清华第2版）【第20章 系统架构设计师论文写作要点（P717~728）-思维导图】​

软考-高级-系统架构设计师教程&#xff08;清华第2版&#xff09;【第20章 系统架构设计师论文写作要点&#xff08;P717~728&#xff09;-思维导图】 课本里章节里所有蓝色字体的思维导图
阅读更多...
人工智能-循环神经网络通过时间反向传播

人工智能-循环神经网络通过时间反向传播

到目前为止&#xff0c;我们已经反复提到像梯度爆炸或梯度消失&#xff0c; 以及需要对循环神经网络分离梯度。 例如&#xff0c;我们在序列上调用了detach函数。 为了能够快速构建模型并了解其工作原理&#xff0c; 上面所说的这些概念都没有得到充分的解释。 本节将更深入地探…
阅读更多...
SpringSecurity6 | 自动配置(下)

SpringSecurity6 | 自动配置(下)

✅作者简介&#xff1a;大家好&#xff0c;我是Leo&#xff0c;热爱Java后端开发者&#xff0c;一个想要与大家共同进步的男人&#x1f609;&#x1f609; &#x1f34e;个人主页&#xff1a;Leo的博客 &#x1f49e;当前专栏&#xff1a; Java从入门到精通 ✨特色专栏&#xf…
阅读更多...
CCF CSP认证 历年题目自练Day47

CCF CSP认证 历年题目自练Day47

题目 试题编号&#xff1a; 201712-3 试题名称&#xff1a; Crontab 时间限制&#xff1a; 10.0s 内存限制&#xff1a; 256.0MB 样例输入 3 201711170032 201711222352 0 7 * * 1,3-5 get_up 30 23 * * Sat,Sun go_to_bed 15 12,18 * * * have_dinner 样例输出 201711170…
阅读更多...
51.Sentinel微服务保护

51.Sentinel微服务保护

目录 &#xff08;1&#xff09;初识Sentinel。 &#xff08;1.1&#xff09;雪崩问题及解决方案。 &#xff08;1.1.1&#xff09;雪崩问题。 &#xff08;1.1.2&#xff09;解决雪崩问题的四种方式。 &#xff08;1.1.3&#xff09;总结。 &#xff08;1.2&#xff09;…
阅读更多...
【LeetCode刷题-滑动窗口】--345.反转字符串中的元音字母

【LeetCode刷题-滑动窗口】--345.反转字符串中的元音字母

345.反转字符串中的元音字母 class Solution {public String reverseVowels(String s) {int len s.length();if(len < 2){return s;}char[] charArray s.toCharArray();int left 0,right len - 1;while(true){while(left < len && checkVowels(charArray[lef…
阅读更多...
C语言实现冒泡排序（超详细）

C语言实现冒泡排序（超详细）

排序算法 - 冒泡排序 什么是冒泡排序&#xff1f;冒泡排序有啥用呢&#xff1f;冒泡排序的实现代码讲解冒泡排序的总结 什么是冒泡排序&#xff1f; 冒泡排序是一种简单的排序算法&#xff0c;它重复地遍历要排序的列表&#xff0c;一次比较两个元素&#xff0c;如果它们的顺序…
阅读更多...
【Linux】第十七站：进程创建与进程终止

【Linux】第十七站：进程创建与进程终止

文章目录 一、进程创建1.fork函数2.写时拷贝3.批量化创建多个进程 二、进程终止1.进程退出场景2.进程退出的方法&#xff08;1&#xff09;exit和return&#xff08;2&#xff09;_exit和exit 一、进程创建 1.fork函数 在linux中fork函数时非常重要的函数&#xff0c;它从已存…
阅读更多...
【总结】坐标变换和过渡矩阵（易忘记）

【总结】坐标变换和过渡矩阵（易忘记）

xCy&#xff0c;此为x到y的坐标变换。 [β1,β2,…,βn] [α1,α2,…αn]C&#xff0c;此为基α到基β的过渡矩阵。 这个概念经常忘记。。。alpha到beta看来就是alpha后面加一个过渡矩阵了&#xff0c;很直观。坐标变换就是根据过渡矩阵和基本形式推一推得到吧&#xff0c;记…
阅读更多...
若依前后端分离版，快速上手

若依前后端分离版，快速上手

哈喽~大家好&#xff0c;这篇来看看若依前后端分离版&#xff0c;快速上手&#xff08;肝了挺久的&#xff09;。 &#x1f947;个人主页&#xff1a;个人主页​​​​​ &#x1f948; 系列专栏&#xff1a;【Springboot和Vue全栈开发】…
阅读更多...
LeetCode算法题解（动态规划）|LeetCoed62. 不同路径、LeetCode63. 不同路径 II

LeetCode算法题解（动态规划）|LeetCoed62. 不同路径、LeetCode63. 不同路径 II

一、LeetCoed62. 不同路径 题目链接&#xff1a;62. 不同路径 题目描述&#xff1a; 一个机器人位于一个 m x n 网格的左上角 &#xff08;起始点在下图中标记为 “Start” &#xff09;。 机器人每次只能向下或者向右移动一步。机器人试图达到网格的右下角&#xff08;在下…
阅读更多...
harmonyOS鸿蒙开发工具下载安装以及使用流程

harmonyOS鸿蒙开发工具下载安装以及使用流程

注册账号 进入鸿蒙官方网站&#xff1a;https://www.harmonyos.com/ 推荐使用手机号注册 进行实名认证 下载开发环境 华为集成开发环境IDE DevEco Device Tool下载 | HarmonyOS设备开发 下载开发工具 HUAWEI DevEco Studio和SDK下载和升级 | HarmonyOS开发者 安装 无脑下一…
阅读更多...
java源码-工程讲解

java源码-工程讲解

1、 工程目录 源码工程目录讲解部分&#xff0c;讲解过程会让大家对后端源码工程有一个大致的了解&#xff0c;能让大家在此改造&#xff0c;就可以衍生出一些新的功能&#xff0c;需要对java技术深入了解&#xff0c;需要看后续java技术讲解部分 整个架构是一个spring-boot…
阅读更多...
python学习：break用法详解

python学习：break用法详解

嗨喽&#xff0c;大家好呀~这里是爱看美女的茜茜呐 在执行while循环或者for循环时&#xff0c;只要循环条件满足&#xff0c;程序会一直执行循环体。 但在某些场景&#xff0c;我们希望在循环结束前就强制结束循环。 Python中有两种强制结束循环的方法&#xff1a; continue语…
阅读更多...
fopen/fwrite/fread 对UNICODE字符写入的总结

fopen/fwrite/fread 对UNICODE字符写入的总结

windows对fopen函数进行了升级&#xff0c;可以支持指定文件的编码格式&#xff08;ccs参数指定&#xff09;。 例如&#xff1a; FILE *fp fopen("newfile.txt", "rt, ccsUTF-8"); 当以 ccs 模式打开文件时&#xff0c;进行读写操作的数据应为 UTF-16…
阅读更多...
订阅号和服务号有什么区别

订阅号和服务号有什么区别

服务号和订阅号有什么区别&#xff1f;服务号转为订阅号有哪些作用&#xff1f;我们都知道&#xff0c;服务号一个月只能发4次文章&#xff0c;但是订阅号每天都能发文章。不过在接收消息这一方面&#xff0c;服务号群发的消息有消息提醒&#xff0c;并显示在对话框&#xff1b…
阅读更多...
ARDUINO UNO 12颗LED超酷流水灯效果

ARDUINO UNO 12颗LED超酷流水灯效果

效果代码&#xff1a; #define t 30 #define t1 20 #define t2 100 #define t3 50 void setup() { // set up pins 2 to 13 as outputs for (int i 2; i < 13; i) { pinMode(i, OUTPUT); } } /Effect 1 void loop() { effect_1(); effect_1(); effect_…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023