对于很多新手来说,如何使用变体而不是联合并不是很清楚。为了帮助大家解决这个问题,下面小编就详细讲解一下。需要的人可以从中学习,希望你能有所收获。
Union (union)类似于struct,也可以包含多个数据成员,但不同的是,一次只允许一个成员有效,所以它经常被用作节省空间的类。考虑以下代码:
unionUv { intidoubledf};Uvu1u1.i=100STD : cout ' u1 . I=' u1 . istd 3360: endl;STD : cout ' u1 . df=' u1 . dfstd : endl;u1.df=122.0STD : cout ' u1 . I=' u1 . istd 3360: endl;STD : cout ' u1 . df=' u1 . dfstd : endl;
上面的代码首先声明一个有两个成员的联合,然后分别为这两个成员赋值。为了知道赋值后每个成员的状态,赋值后分别输出两个成员的值,结果如下:
u1.i=100
u1.df=-9.25596e 61
u1.i=0
u1.df=122
u 1 . I=100 u1 . df=-9.25596 e 61 u1 . I=0u 1 . df=122
从结果可以看出,给I赋值后,I的值有效,但df无效;给df赋值后,df的值有效,I无效。这件事本身符合合纵的定义,但问题是如果只面对一个联合体的对象,用户是没有办法知道那个成员的值是有效的。如果成员是指针或对象,类型风险会更大。一般的做法是自己实现一个类,设置一个管理类型的数据成员。问题可以解决,但成本不小。
这个问题可以通过使用C 17中引入的变体来解决。直接看代码:
std:variantint,double var { 122.0 };STD : cout var . index()STD : endl;尝试{ inti=STD : getint(var);} catch(const STD : bad _ variant _ accesse){ STD : coute . what()STD : endl;}
首先,代码构造了一个包含int和double成员的variant变量,其名称为var,初始值为double类型的122.0。这里variant会根据初始值的内容自动决定需要初始化哪个成员。
初始值设置完成后,可以使用variant提供的index方法获取当前有效成员索引。接下来,当double有效时,故意获取int成员的值,并观察会发生什么。结果如下:
1122badvariantaccess
可以看到,获取double值的过程正常完成,而获取int值的过程抛出异常。我们也可以尝试相反的情况:
var=100STD : cout var . index()STD : endl;请尝试{ STD : couttd : getint(var)STD : endl;STD : couttd : get double(var)STD : endl;} catch(const STD : bad _ variant _ accesse){ STD : coute . what()STD : endl;}
结果如下:
0100badvariantaccess
这一次,成功获取了int成员,并且在获取double成员时引发了异常。
从这个解释不难看出,有了变体,一切都变得简单而安全。
阅读以上内容对你有帮助吗?如果您想了解更多相关知识或阅读更多相关文章,请关注行业资讯频道,感谢您的支持。
内容来源网络,如有侵权,联系删除,本文地址:https://www.230890.com/zhan/79846.html