这是否违反了严格的别名规则？

Question

受我对最近帖子的评论的启发：C get element on place without parenthesis，我想知道以下代码是否违反了严格的别名规则：

#include <stdio.h>

int main(void)
{
    int num[3] = { 1, 2, 3 };

    printf("num[1] = %d\n", *(int *)((char *)num + sizeof(int)));

    return 0;
}

我知道将类型转换为 char 以外的其他类型的指针取消引用是违规的，但在这里，原始指针的类型为 int *。在将其转换为 char * 然后再转换为 int * 后，它会被取消引用。

这是否违反了严格的别名规则？

Answer 1

引用C11，章节§6.5p7

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

1. 与对象的有效类型兼容的类型

还有

引用C11，章节§6.5p6

访问其存储值的对象的有效类型是对象的声明类型，如果有的话......

_强调我的

这里num指向的对象的有效类型确实是int，因此可以使用指向int的指针取消引用它。

Answer 2

这不会破坏严格的别名。

在num 被转换为char * 并对其执行算术运算后，结果指针被转换为int *，并且该指针指向一个有效的int 对象。所以它可以被安全地取消引用。