代码之家 › 专栏 › 技术社区 › Martin Ba

程序终止是C++程序可观察的行为吗?

c++11 c++

Martin Ba · 技术社区 · 15 年前

我也可以这样说 什么构成可观察的行为?

C++标准讨论了很多可观察的行为,但我不太清楚程序终止是否是可观察行为的一部分。

也就是说,给定一个程序,例如:

int main() {
  for(;;) {}
  return 0;
}

是否允许一致性实现终止此程序?

2 回复 | 直到 15 年前

Community Mohan Dere 9 年前

是的,编译为上述代码生成一个空的主体是合法的(因此几乎立即终止)。

C++0X FCD说6.5(特别注意) 笔记 ):

在for语句的情况下,在for init语句之外,
*不调用库I/O函数,并且
*不访问或修改易失性对象,以及
*不执行同步操作(1.10)或原子操作(第29条)

可能被实现假设为终止。 [ 注: 这是为了允许编译器转换,例如删除空循环,即使终止不能被证明。 –尾注 ]

所以编译器可以假设 for 环将终止,因为主体是空的,所以它可以完全优化它。

草案中的引文是从 this question 并核实了我的副本。

Community Mohan Dere 9 年前

是的,完成程序的执行是一种可观察的行为,因为程序返回错误代码。

正常终端不显示这种状态,这就是为什么你不“看到”它。

是否允许一致性实现终止此程序?

程序不能退出,但取决于不同的操作系统,它可以被终止,例如信号,中断…

--编辑--

第二个问题的答案有点错误

正如马丁和莫蒂在 previous answer :

讨论是基于允许的编译器可以进行的优化安全执行。自从显式允许死循环编译器可以随意丢弃上面的内容从而允许程序终止

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前