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语言内存模型的另一个特性——对齐有关。大多数非字符类型的对象不能从任意字节位置开始，通常它们会从字边界开始。类型的对齐描述了该类型对象可以开始的可能字节位置。 </