在C++的union中使用std::string(非POD对象)的陷阱

struct和union的对比

union最开始是C语言中的关键字,在嵌入式中比较常见,由于嵌入式内存比较稀缺,所以常用union用来节约空间,在其他需要节省内存的地方也可以用到这个关键字,写一个简单程序来说明union的用途

struct:

写一个最简单的struct结构体:

复制代码
struct S
{
	int i;
	double d;
	char c;
};

int main()
{
	S s;
	cout<<sizeof s<<endl;
}

最后得到结果为24

int占4位,double占8位,c占1位

由于内存对齐的原因,最后用了3*8 = 24字节

其在内存布局如下:

union:

将这个结构体改为union类型:

复制代码
union U
{
	int i;
	double d;
	char c;
};

int main()
{
	U u;
	cout<<sizeof u<<endl;
}

最后输出结果为8

union的三个变量公用一段内存,所以同时只能存储一个变量

其内存布局如下:

读取值得本质是取到add,按照不同方式进行读取,类似于下面的代码

复制代码
u.i =(int)(*add);
u.d = (double)(*add);
u.c = (c)(*add);

union中的string

将编译条件改为-std=c++03:

复制代码
union U
{
	int i;
	double d;
	string s;
};

会发现不支持使用string

因为string不属于POD对象,有构造函数,为了和C语言兼容,所以在旧版中禁止了在union中使用非POD对象(POD全称是PlainOldData,简单理解就是原来在C语言中的原生结构体一类的,不带构造函数等)

不过在后面的C++版本中取消了这个限制

将编译条件改为-std=c++11,编译通过,所以在后面可以在union中使用带构造方法的对象了;

执行如下例子:

复制代码
#include <iostream>
#include <string>

using namespace std;

union U
{
	U(int i)
	{
		_i = i;
	}
	
	U(string s)
	{
		_s = s;
	}

	string _s;
    int _i;
};

int main()
{
	U *u =new U("hello");
    cout<<u->_s<<endl;
}

输出正常结果:

然而这里有一个问题:

这个对象是无法析构的!!!

union中手动添加析构函数及使用析构函数中的陷阱

加上析构函数:

复制代码
int main()
{
	U *u =new U("hello");
    cout<<u->_s<<endl;
    delete u;
}

直接报错:

这时候,加上析构函数释放内存就可以了:

复制代码
	~U()
	{
    	_s.~string();
	}

这样就可以在union中使用string等非POD对象了

但是会出现一个比较大的陷阱,当这个union中存的不为string的时候

复制代码
int main()
{
    U *u =new U(12);
    delete u;
}

这时候调用delete u时,~U()的~string()就会出错(对着一个int类型使用string的析构):

这就需要另外处理了,比如判空

复制代码
	~U()
	{
        if(!_s.empty(){
            _s.~string();
        }
	}
相关推荐
桃子酱紫君25 分钟前
华为配置篇-BGP实验
开发语言·华为·php
QTX1873037 分钟前
JavaScript 中的原型链与继承
开发语言·javascript·原型模式
shaoing41 分钟前
MySQL 错误 报错:Table ‘performance_schema.session_variables’ Doesn’t Exist
java·开发语言·数据库
The Future is mine1 小时前
Python计算经纬度两点之间距离
开发语言·python
Enti7c1 小时前
HTML5和CSS3的一些特性
开发语言·css3
爱吃巧克力的程序媛1 小时前
在 Qt 创建项目时,Qt Quick Application (Compat) 和 Qt Quick Application
开发语言·qt
云 无 心 以 出 岫2 小时前
贪心算法QwQ
数据结构·c++·算法·贪心算法
独好紫罗兰2 小时前
洛谷题单3-P5719 【深基4.例3】分类平均-python-流程图重构
开发语言·python·算法
换一颗红豆2 小时前
【C++ 多态】—— 礼器九鼎,釉下乾坤,多态中的 “风水寻龙诀“
c++
篝火悟者2 小时前
自学-C语言-基础-数组、函数、指针、结构体和共同体、文件
c语言·开发语言