如何使用variant代替union,很多新手对此不是很清楚,为了帮助大家解决这个难题,下面小编将为大家详细讲解,有这方面需求的人可以来学习下,希望你能有所收获。
union(联合体)和struct相似,也可以包含多个数据成员,但是不同的是同时只允许一个成员有效,因此经常作为作为节约空间的类使用。考虑下面的代码:
union Uv { int i; double df; }; Uv u1; u1.i = 100; std::cout << "u1.i=" << u1.i << std::endl; std::cout << "u1.df=" << u1.df << std::endl; u1.df = 122.0; std::cout << "u1.i=" << u1.i << std::endl; std::cout << "u1.df=" << u1.df << std::endl;
上述代码首先声明了一个包含两个成员的联合体,然后分别为两个成员赋值。为了了解赋值之后每个成员的状态,在赋值之后又分别将两个成员的值输出,其结果如下:
u1.df=-9.25596e+61
u1.i=0
u1.df=122
u1.i=100u1.df=-9.25596e+61u1.i=0u1.df=122
从结果可以看到,为i赋值之后,i的值有效,而df无效;为df赋值之后,df值有效,而i无效。这件事本身符合union的定义,但问题是如果只是面对一个联合体的对象,用户没有办法知道那个成员的值是有效的。如果成员是指针或者对象,那么带来的类型风险会更大。一般的做法是自己实现一个类,另外设置一个管理类型的数据成员,问题是可以解决,但是代价也不小。
这个问题可以使用C++17中引入的variant来解决。直接看代码:
std::variant<int, double> var{ 122.0 }; std::cout << var.index() << std::endl; try { int i = std::get<int>(var); } catch(const std::bad_variant_access & e) { std::cout << e.what() << std::endl; }
代码首先构建了一个包含int和double成员的variant变量,它的名称为var,初值为double类型的122.0。这里variant会根据初始值的内容自动决定需要初始化那个成员。
初值设定完成之后,可以使用variant提供的index方法获取当前有效的成员索引。接下来故意在double有效的情况下获取int成员的值,观察会发生什么。结果如下:
1122bad variant access
可以看到获取double值的处理正常完成,而获取int值的处理抛出了异常。我们也可以尝试相反的情况:
var = 100; std::cout << var.index() << std::endl; try { std::cout << std::get<int>(var) << std::endl; std::cout << std::get<double>(var) << std::endl; } catch (const std::bad_variant_access& e) { std::cout << e.what() << std::endl; }
结果如下:
0100bad variant access
这次是获取int成员成功,获取double成员时抛出异常。
从这段说明不难看出,有了variant之后,一切都变得简单又安全。
看完上述内容是否对您有帮助呢?如果还想对相关知识有进一步的了解或阅读更多相关文章,请关注亿速云行业资讯频道,感谢您对亿速云的支持。
免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。