别名规则是否对称？

我和IRC的某个人讨论了这个问题。标准允许我们用char左值更改int类型的对象。

int a;
char *b = (char*) &a;
*b = 0;

如果我们知道对齐是好的，我们会被允许在相反的方向做这个吗？我看到的问题是，如果将别名规则视为非对称关系，则别名规则不会涵盖以下的简单情况

int a;
a = 0;

原因是，每个对象包含一系列sizeof(obj)unsigned char对象（称为“对象表示”）。如果我们更改int，我们将更改部分或全部这些对象。但是，别名规则只表示允许我们将int改为char或unsigned char，但不是相反。另一个例子

int a[1];
int *ra = a;
*ra = 0;

3.10 / 15（“包含...的聚合或联合类型”）只描述了一个方向，但这次我们需要另一种方式（“一种类型的元素或非静态数据成员类型骨料...”）。另一个方向是隐含的吗？这个问题也适用于C.

已邀请:

3 个回复

降女陷费券

别名规则只是说明内存中任何给定对象都有一个“有效类型”（C99 6.5.7，加脚注73），对这样一个对象的任何访问都要通过以下方法之一：与有效类型兼容的类型（限定符如const和restrict，以及签名/无符号可能会有所不同）包含一个此类型的结构或联合字符类型当然，高级类型没有在高级中指定 - 它只是一个用于指定别名的构造。但目的很简单，就是不要使用两种不同的非字符类型访问同一个对象。所以答案是，是的，你确实可以走向另一个方向。

靛取糕奖穿

标准（C996.3.2.3§7）将这样的指针转换定义为“就好”，转换指针将指向同一地址。（除非CPU具有使得无法进行转换的对齐，否则它是未定义的行为。）也就是说，实际演员本身就很好。如果你开始操纵数据会发生什么......现在这是另一个实现定义的故事。这是标准： “指向对象或不完整类型的指针可能会转换为指向不同对象或不完整类型的指针。如果指定类型的结果指针未正确对齐（57），则行为未定义。否则，转换时再次返回，结果将等于原始指针。当指向对象的指针转换为指向字符类型的指针时，结果指向对象的最低寻址字节。结果的连续增量，直到对象的大小，产生指针到对象的剩余字节。“ “57）一般来说，”正确对齐“的概念是传递性的：如果指向类型A的指针正确地对齐指向类型B的指针，而指针又针对指向类型C的指针正确对齐，则指向A型是正确对齐指向类型C的指针。“

良阑纠苫

我觉得我对这个问题感到有点困惑，但是第二和第三个例子是通过一个具有对象类型的左值来访问int（示例中为int）。 C ++ 3.10 / 15声明它是第一个可以通过左值访问对象的项目，该左值具有“对象的动态类型”类型。我在这个问题上有什么误解？

要回复问题请先登录或注册

别名规则是否对称？

3 个回复

发起人

symmetric

unsigned_char

aliasing

问题状态

别名规则是否对称？

与内容相关的链接

3 个回复

发起人

symmetric

unsigned_char

aliasing

问题状态