C语言中魔法地址转指针是否违反严格别名规则？外设访问合法性探讨

严格别名规则违规示例回顾 #

下面这段代码明确违反C语言严格别名规则，会触发未定义行为：

int object = 10;
int *pi = &object; // 合法：指针类型与对象类型匹配
float *pf = (float *)pi; // 仅指针转换本身合法
float f = *pf; // 未定义行为：用float类型指针访问实际为int类型的对象

严格别名规则的核心逻辑是：除少数例外情况外，不同类型的指针不能用于访问同一个内存对象。编译器会基于该规则做优化，违反规则会导致不可预测的运行结果。

单片机外设指针访问的合法性分析 #

单片机头文件中常见的这类内存映射外设代码：

#define PERIPH_BASE ((uint32_t)0x40000000)
#define I2C1_BASE (APB1PERIPH_BASE + 0x5400)
#define I2C1 ((I2C_TypeDef *) I2C1_BASE)

通过I2C1指针访问外设内存的行为，需结合C标准和平台特性判断：

• 这类地址指向的是内存映射的硬件寄存器，不属于C标准定义的普通内存对象（非通过变量声明、malloc等方式分配的内存）。C标准对这类硬件特定内存区域的访问未做统一规定，属于实现定义行为——具体合法性由目标单片机架构的编译器文档保证。
• 从严格别名规则角度看：外设访问通常通过与寄存器位宽、类型匹配的结构体指针（如I2C_TypeDef）进行，只要编译器支持硬件内存映射访问，就不会触发严格别名问题——编译器会针对这类场景禁用相关优化，保证访问的正确性。

简化问题：*(int *)0x1234 = 10;的合法性与严格别名分析 #

针对这段代码：

*(int *)0x1234 = 10;

1. 合法性：C标准本身不保证直接访问固定地址0x1234的行为合法。该地址是否为可写内存、是否具备有效含义，完全取决于目标平台的硬件设计和编译器实现。在单片机中若指向明确的可写外设寄存器地址，在对应平台编译器下是合法的；但在PC用户态程序中，该地址大概率无效，会导致程序崩溃。
2. 是否违反严格别名规则：严格别名规则约束的是“用不同类型指针访问同一个C语言对象”的场景，而0x1234指向的并非C标准定义的普通对象，因此不违反严格别名规则。

内容的提问来源于stack exchange，提问作者Evgeny Ilyin