[英]Strict aliasing rule and 'char *' pointers
什么是严格别名规则的公认答案? 提到您可以使用char *
来别名另一种类型,但不能使用其他方式。
这对我来说没有意义——如果我们有两个指针,一个是char *
类型,另一个是struct something *
类型,指向同一个位置,第一个怎么可能给第二个起别名,而第二个没有别名首先?
如果我们有两个指针,一个是
char *
类型,另一个是struct something *
类型的指针指向同一个位置,第一个为第二个取别名而第二个不为第一个取别名怎么可能?
确实如此,但这不是重点。
关键是,如果你有一个或多个struct something
,那么你可以使用char*
来读取它们的组成字节,但如果你有一个或多个char
,那么你可能不会使用struct something*
来读取它们。
引用答案中的措辞有点错误,所以让我们先解决这个问题:一个对象永远不会给另一个对象起别名,但是两个指针可以“别名”同一个对象(意思是,指针指向同一个内存位置 - 正如 MM 所指出的那样出来,这仍然不是 100% 正确的措辞,但你明白了)。 此外,该标准本身(据我所知)实际上根本没有谈论严格的别名,而只是列出了一些规则来管理可以通过哪些类型的表达式访问对象。 -fno-strict-aliasing
之类的编译器标志告诉编译器是否可以假设程序员遵循这些规则(因此它可以基于该假设执行优化)。
现在回答您的问题:可以通过指向char
的指针访问任何对象,但可能无法通过大多数其他指针类型访问char
对象(尤其是 char 数组)。 基于此,编译器需要做出以下假设:
char*
和T*
指针可能总是指向同一个对象(互为别名)——对称关系。T1
和T2
不“相关”并且char
也不是,那么T1*
和T2*
可能永远不会指向同一个对象——对称关系。char*
指针可以指向char
对象或任何类型的对象T
。T*
指针可能不指向char
对象——对称关系。 我相信,关于通过指针访问对象的不对称规则背后的主要理由是char
数组可能不满足例如int
的对齐要求。
因此,即使没有基于严格别名规则的编译器优化,例如,将int
写入地址 0x1、0x2、0x3、0x4 处的 4 字节char
数组的位置(在最好的情况下)也会导致性能下降并且——在最坏的情况下——访问不同的内存位置,因为 CPU 指令在写入 4 字节值时可能会忽略最低的两个地址位(所以这里可能会导致写入 0x0、0x1、0x2 和 0x3) .
另请注意,“相关”的含义在 C 和 C++ 之间有所不同,但这与您的问题无关。
如果我们有两个指针,一个是
char *
类型,另一个是struct something *
类型的指针指向同一个位置,第一个为第二个取别名而第二个不为第一个取别名怎么可能?
指针不会相互别名; 那是对语言的草率使用。 别名是指使用左值访问不同类型的对象。 (取消引用指针会给出一个左值)。
在您的示例中,重要的是被别名的对象的类型。 对于一个具体的例子,假设对象是一个double
。 通过取消引用指向 double 的char *
来访问double
很好,因为严格的别名规则允许这样做。 但是,不允许通过取消引用结构来访问double
精度struct something *
是不允许的(除非可以说,该结构以double
精度开头!)。
如果编译器正在查看一个接受char *
和struct something *
的函数,并且它没有可用的有关所指向对象的信息(这实际上不太可能,因为别名传递是在整个程序优化阶段完成的); 那么它必须考虑到该对象实际上可能是一个struct something *
,因此无法在此函数内部进行任何优化。
C++ 标准的许多方面都源自 C 标准,需要在编写时在历史背景中进行理解。 如果编写 C 标准是为了描述一种包括基于类型的别名的新语言,而不是描述一种现有的语言,这种语言是围绕访问左值是访问存储在内存中的位模式这一思想而设计的,那么就没有理由为用于在字符串中存储字符的类型赋予任何类型的特权状态。 具有将存储区域视为位模式的显式操作将允许优化同时更有效和更安全。 如果 C 标准是以这种方式编写的,那么 C++ 标准大概也是如此。
然而,事实上,编写标准是为了描述一种语言,其中一个非常常见的习语是通过复制对象的所有字节来复制对象的值,并且标准的作者希望允许这样的结构在便携式程序。
此外,该标准的作者打算在可能有用的情况下“以环境的记录方式”处理许多不可移植的构造,但放弃了对何时应该发生的管辖权,因为编译器编写者被期望比委员会更了解他们的客户和潜在客户的需求。
假设在一个编译单元中,一个具有以下功能:
void copy_thing(char *dest, char *src, int size)
{
while(size--)
*(char volatile *)(dest++) = *(char volatile*)(src++);
}
在另一个编译单元中:
float f1,f2;
float test(void)
{
f1 = 1.0f;
f2 = 2.0f;
copy_thing((char*)&f2, (char*)&f1, sizeof f1);
return f2;
}
我认为委员会成员之间会达成共识,即任何质量实现都不应该将 copy_thing 从不写入float
类型的对象这一事实视为假设返回值将始终为 2.0f 的邀请。 上面的代码有很多地方应该阻止或阻止实现将f2
的读取与前面的写入合并,无论是否有关于字符类型的特殊规则,但不同的实现会有不同的理由来放弃它们。
很难描述一组规则,这些规则要求所有实现都正确处理上述代码,而不会阻止一些现有或合理的实现实现原本有用的优化。 将所有模块间调用视为不透明的实现将正确处理此类代码,即使它忽略了从 T1 到 T2 的强制转换是对 T2 的访问可能影响 T1 的标志,或者一个事实volatile 访问可能会以编译器不希望理解的方式影响其他对象。 执行跨模块内联并且忽略类型转换或易失性的影响的实现如果避免对通过字符指针的访问进行任何别名假设,则将正确处理此类代码。
委员会希望认识到上述构造中的某些内容,编译器将被要求识别为暗示f2
可能被修改,因为替代方案是将这样的构造视为未定义行为,尽管事实上它应该在可移植程序中可用。 他们选择通过字符指针进行访问这一事实是迫使该问题的方面,这并不意味着编译器忽略其他所有事情,尽管不幸的是,一些编译器编写者将标准解释为邀请去做只是那。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.