C 结构体顺序有任何保证吗？

我广泛使用了结构，并且看到了一些有趣的东西，特别是*value代替value->first_value其中 value 是指向结构体的指针，first_value是第一个成员，是*value safe?

另请注意，由于对齐，无法保证大小，对齐值基于什么，架构/寄存器大小？

我们对齐数据/代码以加快执行速度，我们可以告诉编译器不要这样做吗？那么也许我们可以保证结构的某些事情，比如它们的大小？

当对结构成员进行指针算术以定位成员偏移量时，我认为您会这样做-如果是小尾数+对于大端，还是仅取决于编译器？

malloc(0) 真正分配什么？

以下代码用于教育/发现目的，并不意味着具有生产质量。

#include <stdlib.h>
#include <stdio.h>

int main()
{
    printf("sizeof(struct {}) == %lu;\n", sizeof(struct {}));
    printf("sizeof(struct {int a}) == %lu;\n", sizeof(struct {int a;}));
    printf("sizeof(struct {int a; double b;}) == %lu;\n", sizeof(struct {int a; double b;}));
    printf("sizeof(struct {char c; double a; double b;}) == %lu;\n", sizeof(struct {char c; double a; double b;}));

    printf("malloc(0)) returns %p\n", malloc(0));
    printf("malloc(sizeof(struct {})) returns %p\n", malloc(sizeof(struct {})));

    struct {int a; double b;} *test = malloc(sizeof(struct {int a; double b;}));
    test->a = 10;
    test->b = 12.2;
    printf("test->a == %i, *test == %i \n", test->a, *(int *)test);
    printf("test->b == %f, offset of b is %i, *(test - offset_of_b) == %f\n",
        test->b, (int)((void *)test - (void *)&test->b),
        *(double *)((void *)test - ((void *)test - (void *)&test->b))); // find the offset of b, add it to the base,$

    free(test);
    return 0;
}

calling gcc test.c其次是./a.out我明白了：

sizeof(struct {}) == 0;
sizeof(struct {int a}) == 4;
sizeof(struct {int a; double b;}) == 16;
sizeof(struct {char c; double a; double b;}) == 24;
malloc(0)) returns 0x100100080
malloc(sizeof(struct {})) returns 0x100100090
test->a == 10, *test == 10 
test->b == 12.200000, offset of b is -8, *(test - offset_of_b) == 12.200000

Update这是我的机器：

gcc --version

i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5666) (dot 3)
Copyright (C) 2007 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

uname -a

Darwin MacBookPro 10.8.0 Darwin Kernel Version 10.8.0: Tue Jun  7 16:33:36 PDT 2011; root:xnu-1504.15.3~1/RELEASE_I386 i386

从 6.2.5/20 开始：

结构类型描述了按顺序分配的非空成员对象集 （并且，在某些情况下，是一个不完整的数组），每个数组都有一个可选的 指定的名称和可能不同的类型。

回答：

特别是 *value 而不是 value->first_value，其中 value 是指向结构的指针，first_value 是第一个成员，*value 安全吗？

见 6.7.2.1/15：

15 Within a structure object, the non-bit-field members and the units in which bit-fields reside have addresses that increase in the order in which they are declared. A pointer to a structure object, suitably converted, points to its initial member (or if that member is a bit-field, then to the unit in which it resides), and vice versa. There may be unnamed padding within a structure object, but not at its beginning.¹

然而，结构的末尾以及成员之间可能有填充字节。

In C, malloc( 0 )是实现定义的。 （顺便说一句，这是 C 和 C++ 的不同之处之一。）

[1] 强调我的。