c++ - 未定义的行为是否适用于 asm 代码？

Question

假设您知道您的软件只能在二进制补码机器上运行，其中有符号溢出行为得到了很好的定义。有符号溢出在 C 和 C++ 中仍然是未定义的行为，编译器可以随意用“ret”替换整个程序、发动核 war 、格式化驱动器或让恶魔飞出你的 Nose 。

假设你在内联 asm 中签名溢出，你的程序是否仍然调用 UB？

如果是，那么分别编译和链接的汇编器呢？

Answer 1

“未定义的行为”是指 C 语言。 C++ 标准不定义程序的行为。如果您的程序包含内联汇编，那么应该很清楚它的行为通常不会被 C 或 C++ 标准描述。其他一些标准甚至可能定义行为，但这并不意味着在 C 或 C++ 标准的上下文中“定义的行为”。

也就是说，C 标准确实需要支持的扩展的文档。如果您的程序的行为可以从您的实现文档中推断出来，并且您的实现使您的程序行为不同，那么您的实现未能符合标准:

4. Conformance

8 An implementation shall be accompanied by a document that defines all implementation-defined and locale-specific characteristics and all extensions.

对于 C++，此要求已被削弱:

1.4 Implementation compliance [intro.compliance]

9 Each implementation shall include documentation that identifies all conditionally-supported constructs that it does not support and defines all locale-specific characteristics.

和

1.9 Program execution [intro.execution]

2 Certain aspects and operations of the abstract machine are described in this International Standard as implementation-defined [...] Each implementation shall include documentation describing its characteristics and behavior in these respects. [...]

我找不到对扩展进行记录的要求，如果记录在案，则要正确记录。这表明在 C++ 中，即使您的实现将程序的行为定义为扩展，如果结果证明文档是错误的，那就太糟糕了。

对于 C++ 半标准 asm 语句(如注释中所述，“asm 声明是有条件支持的；其含义是实现定义的。”) ，如果您的实现支持它，则需要对其进行记录，但当然，实现以不同于 C++ 标准暗示的方式支持内联汇编是一种常见的做法，因此这不会给您带来太多额外的好处。