c++ std::variant用法

2023-11-21 12:44
文章标签 c++ 用法 std variant

本文主要是介绍c++ std::variant用法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

std::variant

Union类型的问题:

  • 无法知道当前使用的类型是什么
  • union无法自动调用底层数据成员的析构函数。联合体无法对其内部的数据属性的生命周期的全面支持,因为当外部代码调用Union时在切换类型,它无法做到对当前使用的对象,并自动调用其析构函数。
  • C/C++没有原生的工具可以检测Union内部当前的活动类型。
  • 不能有non-trivial的成员,比如std::string(从c++ 11起, union原则上可以有non-trivial的成员,但是必须实现特殊的成员函数,比如复制构造函数和析构函数,因为只有通过代码逻辑才能知道哪个成员是可用的。)
  • 不能从union中派生类。

在 C++17 之前,为了改进这些问题,提出了std::variant。

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

std::variant 基础用法

构造函数

std::variant<int, double, std::string> x, y;

x,y是一个可存放 int, double, std::string 这三种类型数据的变体类型的对象

std::in_place_index、std::in_place_type 显式赋值

显式指定当前索引/类型,并使用后续参数进行原地构造

variant<vector<int>, string> v{ std::in_place_index<0>, { 0, 1, 2, 3 } };
variant<vector<int>, string> v{ std::in_place_type<int>, { 0, 1, 2, 3 } };

修改值

赋值和emplace()操作对应于初始化


std::variant<int, int, std::string> var; // sets first int to 0, index()==0
var = "hello"; // sets string, index()==2
var.emplace<1>(42); // sets second int, index()==1

获取当前使用的type 在variant声明中的索引

x = 100.0f;
std::cout << "可变体的活动类型返回的index:" << x.index() << std::endl;

获取std::variant中的值

使用std::get() 或直接std::get()来获取variant中包含的值,std::get(v) 如果变体类型 v 存放的数据类型为 T,那么返回所存放的数据,否则报错

double d = std::get<double>(x);
std::string s = std::get<2>(y);

如果std::variant中当前存储的不是对应Type的值, 则会抛出std::bad_variant_access类型的异常

try
{int i = std::get<int>(x);
}
catch (std::bad_variant_access e)
{std::cerr << e.what() << std::endl;
}

get_if()

除了会引发异常的std::get<>,也有无异常的 std::get_if() 方法,get_if通常保证std::get在访问可变体时不会抛出bad_variant_access 异常,提供了访问前的类型安全判断。需要自行判断返回的指针类型是否为空。
std::get_if(&v) 如果变体类型 v 存放的数据类型为 T,那么返回所存放数据的指针,否则返回空指针。

int* i = std::get_if<int>(&x);
if (i == nullptr)
{std::cout << "wrong type" << std::endl;
}
else
{std::cout << "value is " << *i << std::endl;
}

同时具有bool和std::string

如果一个std::variant<>同时有bool和std::string两个备选项,字符串字面量转换为bool比转换为std::string匹配

 #include <iostream>
#include <variant>int main()
{std::variant<bool, std::string> v;v = "hi"; // OOPS: sets the bool alternativestd::cout << "index: " << v.index() << '\n';std::visit([](const auto& val) {std::cout << "value: " << val << '\n'; }, v);return 0;
}

在这里插入图片描述
字符串常量值被解释为通过Boolean值true初始化变量(true是因为指针不是0)

解决方案

v.emplace<1>("hello"); // explicitly assign to second alternative
v.emplace<std::string>("hello"); // explicitly assign to string alternative
v = std::string{"hello"}; // make sure a string is assignedusing namespace std::literals; // make sure a string is assigned
v = "hello"s;

std::holds_alternative(v)

查询变体类型 v 是否存放了 T 类型的数据。

#include <iostream>
#include <string>
#include <variant>using namespace std;int main()
{variant<int, double, string> v; // v == 0v = 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; // 01011v = 2.0;cout << v.index() << (get_if<int>(&v) == nullptr) << get<1>(v) << get<double>(v) << endl; // 1122v = "a";cout << v.index() << get<2>(v) << get<string>(v) << endl; // 2aa
}

这篇关于c++ std::variant用法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/402431

相关文章

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

C++——stack、queue的实现及deque的介绍

目录 1.stack与queue的实现 1.1stack的实现  1.2 queue的实现 2.重温vector、list、stack、queue的介绍 2.1 STL标准库中stack和queue的底层结构  3.deque的简单介绍 3.1为什么选择deque作为stack和queue的底层默认容器  3.2 STL中对stack与queue的模拟实现 ①stack模拟实现

c++的初始化列表与const成员

初始化列表与const成员 const成员 使用const修饰的类、结构、联合的成员变量,在类对象创建完成前一定要初始化。 不能在构造函数中初始化const成员,因为执行构造函数时,类对象已经创建完成,只有类对象创建完成才能调用成员函数,构造函数虽然特殊但也是成员函数。 在定义const成员时进行初始化,该语法只有在C11语法标准下才支持。 初始化列表 在构造函数小括号后面,主要用于给

2024/9/8 c++ smart

1.通过自己编写的class来实现unique_ptr指针的功能 #include <iostream> using namespace std; template<class T> class unique_ptr { public:         //无参构造函数         unique_ptr();         //有参构造函数         unique_ptr(