一共用体的概念
当需要把不同类型的变量存放到同一段内存单元或对同一段内存单元的数据按不同类型处理则
需要使用共用体数据结构
例把一个整型变量一个字符型变量一个实型变量放在同一个地址开始的内存单元中
共用体的定义形式
union 共用体名
成员列表
变量列表
注意区分
共用体各成员占相同的起始地址所占内存长度等于最长的成员所占内存
结构体各成员占不同的地址所占内存长度等于全部成员所占内存之和
二共用体变量的引用
只能引用共用体变量的成员如
union data a;
a.i;
a.ch;
a.f;
三共用体类型数据的特点
共用体变量中的值是最后一次存放的成员的值如
a.i = 1;
a.ch = 'a';
a.f = 1.5;
完成以上三个赋值语句后共用体边量的值是 1.5而 a.i=1 和 a.ch='a'已无意义
共用体变量不能初始化例
union data { int i; char ch; float f; }a={1,'a', 1.5}
错误!!!
共用体常用来节省内存,特别是一些嵌入式编程,内存是非常宝贵的!
共用体也常用于操作系统数据结构或硬件数据结构!
union在操作系统底层的代码中用的比较多,因为它在内存共赏布局上方便且直观。所以网络编程,协议分析,内核代码上有一些用到union都比较好懂,简化了设计。
妙用实例
- 为了方便看懂代码。
比如说想写一个3 * 3的矩阵,可以这样写: [ 注:下面用红色部分标记的地方是后来添加上去的,谢谢yrqing718的提醒!]
struct Matrix { union { struct { float _f11, _f12, _f13, _f21, _f22, _f23, _f31, _f32, _f33; }; float f[3][3]; }_matrix; };
struct Matrix m;
这两个东西共同使用相同的空间,所以没有空间浪费,在需要整体用矩阵的时候可以用 m._matrix.f (比如说传参,或者是整体赋值等);需要用其中的几个元素的时候可以用m._matrix._f11那样可以避免用m.f[0][0](这样不大直观,而且容易出错)。
- 用在强制类型转换上(比强制类型转换更加容易看懂)
下面举几个例子:
(1). 判断系统用的是big endian 还是 little endian(其定义大家可以到网上查相关资料,此略)
#define TRUE 1 #define FALSE 0 #define BOOL int
BOOL isBigEndian() { int i = 1; /* i = 0x00000001*/ char c = *(char )&i; / 注意不能写成 char c = (char)i; */ return (int )c != i; } 如果是little endian字节序的话,那个i = 1;的内存从小到大依次放的是:0x01 0x00 0x00 0x00,如是,按照i的起始地址变成按照char *方式(1字节)存取,即得c = 0x01; 反之亦然
也许看起来不是很清晰,下面来看一下这个:
BOOL isBigEndian() { union { int i; char c; }test;
test.c = 2; return test.i != 2; 复制代码
} 这里用的是union来控制这个共享布局,有个知识点就是union里面的成员c和i都是从低地址开始对齐的。同样可以得到如此结果,而且不用转换,清晰一些。
什么,不觉得清晰??那再看下面的例子:
(2).将little endian下的long long类型的值换成 big endian类型的值。已经知道系统提供了下面的api:long htonl(long lg);作用是把所有的字节序换成大端字节序。因此得出下面做法:
long long htonLL(long long lg) { union { struct { long low; long high; }val_1; long long val_2; }val_arg, val_ret; if ( isBigEndian() ) return lg; val_arg.val_2 = lg; val_ret.val_1.low = htonl( val_arg.val_1.high ); val_ret.val_1.high = htonl( val_arg.val_1.low ); return val_ret.val_2;}
只要把内存结构的草图画出来就比较容易明白了。
(3).为了理解c++类的布局,再看下面一个例子。有如下类:
class Test { public : float getFVal(){ return f;} private : int i; char c; float f; }; Test t; 不能在类Test中增加代码,给对象中的f赋值7.0f. class Test_Cpy { public : float getVal(){ return f;} float setVal(float f){ this ->f = f;} private : int i; char c; float f; }; .... int main() { Test t; union { Test t1, Test_Cpy t2; }test; test.t2.setVal(7.0f); t = test.t1; assert( t.getVal() == 7.0f ); return 0; }
说明:因为在增加类的成员函数时候,那个类的对象的布局基本不变。因此可以写一个与Test类一样结构的类Test_Cpy,而多了一个成员函数setVal,再用uinon结构对齐,就可以给私有变量赋值了。(这种方法在有虚机类和虚函数机制时可能失灵,故不可移植)至于详细的讨论,网上有,这个例子在实际中没有用途,只是用来考察这个内存布局的使用而已.
4在嵌入式系统开发中,有时需要将一些变量存储在EEPROM中,变量类型若是char、int就很好办,可是如果要存储float、double类型的变量怎么办呢?
这个问题可以用共用体解决:
union myfloat {char i[4]; float j; }Test;
因为float是四个字节,因此我们定义一个4个元素的char数组和float公用一段内存,接下来就是EEPROM存取了
2 在程序中要使用 j 的地方使用Test.j就行了,
想把 j 存入EEPROM可以这样:
EEPROM_WRITE(0,myfloat.i[0]);
EEPROM_WRITE(1,myfloat.i[1]);
EEPROM_WRITE(2,myfloat.i[2]);
EEPROM_WRITE(3,myfloat.i[3]);
注:上面参数0、1、2、3为EEPROM地址,上面的EEPROM_WRITE只是示意,有时需要对地址使用(void*)进行类型转换
3 想把 j 从EEPROM读出可以这样:
myfloat.i[0]=EEPROM_READ(0);
myfloat.i[1]=EEPROM_READ(1);
myfloat.i[2]=EEPROM_READ(2);
myfloat.i[3]=EEPROM_READ(3);
然后在程序中继续使用Test.j就可以了
是不是很简单呢