sizeof()，C 结构体中的对齐方式：

Preface:我对结构对齐进行了研究。看着this https://stackoverflow.com/questions/5435841/memory-alignment-in-c-structs问题，this https://stackoverflow.com/questions/4306186/structure-padding-and-packing一且还this https://stackoverflow.com/questions/5397447/struct-padding-in-c一个 - 但仍然没有找到我的答案。

我的实际问题：

这是我为了澄清我的问题而创建的代码片段：

#include "stdafx.h"
#include <stdio.h>

struct IntAndCharStruct
{
    int a;
    char b;
};

struct IntAndDoubleStruct
{
    int a;
    double d;
};

struct IntFloatAndDoubleStruct
{
    int a;
    float c;
    double d;
};

int main()
{
    printf("Int: %d\n", sizeof(int));
    printf("Float: %d\n", sizeof(float));
    printf("Char: %d\n", sizeof(char));
    printf("Double: %d\n", sizeof(double));
    printf("IntAndCharStruct: %d\n", sizeof(IntAndCharStruct));
    printf("IntAndDoubleStruct: %d\n", sizeof(IntAndDoubleStruct));
    printf("IntFloatAndDoubleStruct: %d\n", sizeof(IntFloatAndDoubleStruct));
    getchar();
}

它的输出是：

Int: 4
Float: 4
Char: 1
Double: 8
IntAndCharStruct: 8
IntAndDoubleStruct: 16
IntFloatAndDoubleStruct: 16

我得到了在IntAndCharStruct并在IntAndDoubleStruct.

但我就是不明白IntFloatAndDoubleStruct one.

简单的说：为什么不是sizeof(IntFloatAndDoubleStruct) = 24?

提前致谢！

p.s：我正在使用 Visual-Studio 2017，标准控制台应用程序。

编辑： 根据评论，经过测试IntDoubleAndFloatStruct（元素的不同顺序）并得到 24sizeof()- 如果答案也能注意到并解释这个案例，我会很高兴。

在您的平台上，以下内容成立：int and float都是 4. 的尺寸和对齐要求double is 8.

We know this from the sizeof output you've shown. sizeof (T) gives the number of bytes between the addresses of two consecutive elements of type T in an array. So we know that the alignment requirements are as I've said above. ^(Note)

现在，编译器报告为 16IntFloatAndDoubleStruct。效果好吗？

假设我们有一个这样的对象，其地址与 16 对齐。

• int a因此，地址 X 与 16 对齐，因此它与 4 对齐就可以了。它将占用字节[X, X+4)
• 这意味着float c可以从 X+4 开始，与 4 对齐，这对于float。它将占用字节[X+4, X+8)
• 最后，double d可以从 X+8 开始，与 8 对齐，这对于double。它将占用字节[X+8, X+16)
• 这使得 X+16 可以自由用于下一个结构对象，再次与 16 对齐。

因此没有理由稍后启动任何成员，因此整个结构正好适合 16 个字节。

^(Note) This is not strictly true: for each of these, we know that both size and alignment are <= N, that N is a multiple of the alignment requirement, and that there is no N1 < N for which this would also hold. However, this is a very fine detail, and for clarity the answer simply assumes the actual size and alignment requirements for the primitive types are indetical, which is the most likely case on the OP's platform anyway.