关于char的泛型指针和严格混淆现象

Question

我不知道为什么下面的代码运行得很好，没有< code>gcc错误(< code >-f strict-aliasing-Wstrict-aliasing = 1 )。

#include <stdio.h>

int 
main(void) 
{
    char  n = 42;
    char *p = &n;
    int  *q = (int *)p;

    *q = 10;

    printf("%d|%d\n", *p, *q);

    return 0;
}

如果我遵循严格的别名规则：

n1570，§6.5表达式

对象的存储值只能由具有以下类型之一的左值表达式访问:

-与对象的有效类型兼容的类型，

— 与对象的有效类型兼容的类型的限定版本，

-与对象的有效类型对应的有符号或无符号类型的类型，

-对应于对象有效类型的限定版本的有符号或无符号类型的类型，

-在其成员中包括上述类型之一的聚合或并集类型（递归地包括子聚合或包含并集的成员），或

-字符类型。

但是 *q 没有与 *p 兼容的类型，要么是限定版本，要么是有符号类型，要么是无符号类型，要么是字符类型。

那么，为什么允许这样做？

Answer 1

这是不允许的。您发布的标准部分显示了允许哪些类型为对象添加别名。

代码被编译的事实并不意味着它是正确的。您的代码有三个问题，使得程序表现出未定义的行为。

首先，将char指针分配给int指针。标准不强制它们的对齐和表示，因此结果指针无效。

int  *q = (int *)p;

然后，您将charn对象解释为一个整数，违反了严格的别名。（注意问题中引用的标准）。

*q;

最后，您将int写入char对象（char n）的内存中，这会导致溢出，因为int的大小始终大于char的大小。

*q = 10;