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对象
不过在后面的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();}}