20、C语言内存模型与存储机制深度解析

C语言内存模型与存储机制深度解析

1. C语言内存模型基础规则

在C语言中，变量和复合字面量的访问有着严格的规则。变量和复合字面量必须通过其声明的类型或字符类型的指针进行访问，且此规则无例外情况，我们不能改变这类变量或复合字面量的类型。例如：

unsigned char A[sizeof(unsigned)] = { 9 }; // Valid but useless, as most casts are unsigned* p = (unsigned*)A; // Error: access with a type that is neither the effective type nor a // character type printf("value %u\n", *p);

上述代码中，对*p的访问是错误的，程序状态在这之后将变为未定义。这与之前处理联合类型的情况形成鲜明对比。引入有效类型规则的主要动机是处理别名问题，别名规则实际上是从有效类型规则推导而来的。只要不涉及联合类型，编译器就能明确不能通过size_t*访问double类型，从而假设这些对象是不同的。

2. 内存对齐问题

从字符类型指针到对象指针的转换并非毫无风险，这不仅涉及可能的别名问题，还与C语言内存模型的另一个特性——对齐有关。大多数非字符类型的对象不能从任意字节位置开始，通常它们会从字边界开始。类型的对齐描述了该类型对象可以开始的可能字节位置。

以下代码展示了强制错误对