C/C++中数据对齐的缺陷

pan_0326

class CA {
    int a;
    short b;
};
class CB : public CA {
    short c;
};
上面是C++的类定义例子,sizeof(CA)==8,实际只占6字节;sizeof(CB)==12,实际只需
8字节.
typedef struct CA {
    int a;
    short b;
} CA;
typedef struct CB {
    CA CA;
    short c;
} CB;
上面是等效的C例子,sizeof(CA)==8,实际只占6字节;sizeof(CB)==12,实际只需8字节.
为什么不能紧缩排列呢?因为sizeof反映的是数组中个体的大小,所以要求必须是对齐
的倍数,CA是4字节对齐,所以sizeof(CA)==8,sizeof(CB)==12.而结构定义中后续字段
不一定要求>=4的对齐.
现在假设在C/C++中增加一个关键字sizeof1,表示非数组中的结构大小,sizeof1(CA)
==6,sizeof(CA)==8,sizeof和sizeof1是有关联的:
sizeof(CA)=(sizeof1(CA)+align(CA)-1)/align(CA)*align(CA)
现在构造CB时,就可以在sizeof1(CA)后增加字段,结果sizeof(CB)==sizeof1(CB)==8.


http://blog.163.com/coo_bin/

pengjianbokobe

“因为sizeof反映的是数组中个体的大小,所以要求必须是对齐
的倍数”这句话说的最好{:3_187:}
sizeof(CA)=(sizeof1(CA)+align(CA)-1)/align(CA)*align(CA)这个公式怎么得到的？？

proghua

字节对齐应该是为了提高存取效率吧

zhangsuozhu

#pragma pack(1)

hellioncu

因为CA可能单独使用，为了保持统一，CA就只好是8了

linfenghuaster

回复 5# hellioncu


    顶。

pan_0326

回复 2# pengjianbokobe


    这个公式是sizeof1(CA)向上取align(CA)的倍数的公式

在单独使用时，sizeof(CA)和sizeof1(CA)都可以，因为内存分配自动进行更大的对齐
构造数组时要使用sizeof(CA),能保证每个下标都正确对齐
构造新结构或继承时，使用sizeof(CA)很可能浪费，层次越多越严重，使用sizeof1(CA)最紧缩

C语言之所以没这么做，可能是出于要简洁的理由。但加上sizeof1也没复杂多少，编译器自动优化，
一般情没必要直接使用sizeof1。
而构造编译器也不复杂，原来存储sizeof和align，现在存储sizeof1和align，因为sizeof可以算出。

yulihua49

class CA {
    int a;
    short b;
};
class CB : public CA {
    short c;
};
上面是C++的类定义 ...
pan_0326 发表于 2010-08-23 18:57

必须是这样的。否则你定义结构数组时，后边的结构都乱套了。

pan_0326

回复 8# yulihua49


class CB {
    int a;
    short b;
    short c;
};
上面是CB的内部紧缩结构,sizeof(CB)==sizeof1(CB)==8.
构造数组怎么会乱套呢?是现在的C/C++太粗糙了.

yulihua49

回复  yulihua49


class CB {
    int a;
    short b;
    short c;
};
上面是CB的内部紧缩结构 ...
pan_0326 发表于 2010-08-24 16:02

  如果是：
class CB {
    int a;
    short b;
    short c;
   char d；
};

再不进行尺寸的scale就肯定乱了。