c++字节对齐

最新推荐文章于 2024-07-26 16:49:35 发布

转载最新推荐文章于 2024-07-26 16:49:35 发布 · 266 阅读

C++基础专栏收录该内容

79 篇文章

订阅专栏

本文深入探讨了在32位VC++6.0环境下，结构体数据成员的对齐算法及其对内存占用的影响。通过具体示例，解释了结构体成员在内存中的布局原理，以及如何通过预编译命令自定义对齐值，平衡内存使用和运行效率。

参考文章：

https://www.cnblogs.com/ningvsban/p/3940153.html

如果编辑器对数据存放做了对齐，而我们不了解的话，常常会对一些问题感到迷惑。最常见的就是struct数据结构的sizeof结果，比如以下程序：

#include <stdio.h>

void main(){

    struct A{
        char a;
        short b;
        int c;
    };

    printf( "size of struct A = %d \n", sizeof(struct A) );

}

输出结果为：8字节。

如果我们将结构体中的变量声明位置稍加改动（并不改变变量本身），请再看以下程序：

#include <stdio.h>

void main(){

    struct A{
        short b;
        int c;
        char a;
    };

    printf( "size of struct A = %d \n", sizeof(struct A) );

}

输出结果为：12字节。

问题出来了，他们都是同一个结构体，为什么占用的内存大小不同呢？为此，我们需要对对齐算法有所了解。

对齐算法

由于各个平台和编译器的不同，现以32位，vc++6.0系统为例，来讨论编译器对struct数据结构中的各成员如何进行对齐的。

首先，我们给出四个概念：

1）数据类型自身的对齐值：就是基本数据类型的自身对齐值，比如char类型的自身对齐值为1字节，int类型的自身对齐值为4字节。

2）指定对齐值：预编译命令#pragma pack （value）指定的对齐值value。

3）结构体或者类的自身对齐值：其成员中自身对齐值最大的那个值，比如以上的struct A的对齐值为4。

4）数据成员、结构体和类的有效对齐值：自身对齐值和指定对齐值中较小的那个值。

设结构体如下定义：

struct A{
    char a;
    short b;
    int c;
};

a是char型数据，占用1字节内存；short型数据，占用2字节内存；int型数据，占用4字节内存。因此，结构体A的自身对齐值为4。于是，a和b要组成4个字节，以便与c的4个字节对齐。而a只有1个字节，a与b之间便空了一个字节。我们知道，结构体类型数据是按顺序存储结构一个接一个向后排列的，于是其存储方式为：

其中空白方格无数据，是浪费的内存空间，共占用8字节内存。

实际上，为了更加明显地表示“对齐”，我们可以将以上结构想象为以下的行排列：

对于另一个结构体定义：

struct A{
        short b;
        int c;
        char a;
    };

其内存存储方式为：

同样把它想象成行排列：

可见，浪费的空间更多。

其实，除了结构体之外，整个程序在给每个变量进行内存分配时都会遵循对齐机制，也都会产生内存空间的浪费。但我们要知道，这种浪费是值得的，因为它换来的是效率的提高。

以上分析都是建立在程序默认的对齐值基础之上的，我们可以通过添加预定义命令#pragma pack(value)来对对齐值进行自定义，比如#pragma pack(1)，对齐值变为1，此时内存紧凑，不会出现内存浪费，但效率降低了。效率之所以降低，是因为：如果存在更大字节数的变量时（比1大），比如int类型，需要进行多次读周期才能将一个int数据拼凑起来。

这篇文章超级超级超级详细：

https://www.cnblogs.com/clover-toeic/p/3853132.html