扭曲的C ++代码 | 码农家园

Twisted C++ code

本问题已经有最佳答案，请猛点这里访问。

Possible Duplicate:
Undefined behavior and sequence points

1
2
3
4
5
6
7
8

#include< iostream.h>
int main()
{
int i=7,j=i;
j=(i++,++i,j++*i);
cout <<j;
return 0;
}

C++代码的输出将是什么？

教授给我的作业。

相关讨论

有时，用几个编译器实际编译程序并观察结果有助于说服那些不相信这是未定义的人：

修正了iostream.h错误后，

G++4.5.2打印64
Clang++2.8打印63
Sun C++ 5.8打印63
MSVC 2010打印64

(噢，而且，重新编写以使用C I/O，Unix7上的原始K&R C编译器打印63)

相关讨论

[编辑以解释OP的问题更改编辑]：

输出是什么还没有定义。

相关讨论

型为什么你们都说什么不明确？
型@Napster：因为您提供给它的代码示例有一个未定义的输出。
型@john在j++和修改j的赋值表达式之间没有序列点。因此，你会得到未定义的行为。您需要将其重写为j=(i++,++i,j++,(j-1)*i);以定义此案例。"序列点"FAQ条目需要更多这样的例子，imho，并且可以在数学方面有所保留，比如定义"部分顺序"等等：)
型Johannes：我认为这将在C++0x中定义，但是在当前标准下，我不认为它是这样的；在EDCOX1与9的增量的分配之间仍然没有序列点，j的增量是相对于EDCOX1(18)的计算而排序的，而不是相对于EDCOX1〔9〕(和当前STAN的分配)的顺序。DARD不要求在计算值之后赋值)。
型@杰瑞，我同意这是含糊不清的，我当然不会在任何事情上下注。但有一些逻辑：在a = (x, y)中，在分配之前需要对(x, y)进行评估。评估意味着评估y，在x和y之间有一个序列点，这意味着评估y之前的所有副作用都是完整的。因此，在相同的两个序列点之间没有两个副作用：分配副作用发生在x和y之间的序列点之后。
型@litb，@jerry:correct，我看得不够广泛——只看逗号操作符。这与j = j++未定义的原因相同。
型我删除了我的评论以减少混乱
型Johannes：这是以前被争论过的：群组。谷歌。com /组/ Alt Cop.Lang.Cube。C-C++/BLUSEXY-FRM和ZWNJ；和8203，和/和Helip；通过C++ 03，我没有看到任何真正的理由来相信我当时的不同。
型@Jerry (a=b)=c在我看来是不明确的：)这是我的理由：因为在相同的两个序列点之间，a有两个修改。当然，a = b中的赋值必须在产生左值结果之前完成(赋值操作的结果是赋值发生后存储在左操作数中的值)。：因此我们可以说"一个赋值先于另一个赋值"，但这并不重要：我们还有两个赋值在相同的两个序列点之间的a，所以行为仍然是ub(听起来很荒谬)。
型……但这不适用于a = (0, a++, 0)：这里，两个分配将适当地分布在两个序列点上。
@约翰内斯：对不起。当线程开始讨论(a=b)=c时，它也会涉及到很多其他方面，包括一些与当前问题更相关的方面——在使用结果值之前需要对表达式进行评估吗？
要求"赋值操作的结果是在赋值发生后存储在左操作数中的值"有另一个重要目的：它使a = b = 0定义的行为-规则是，b的前一个值只应用于确定要存储在b中的值。如果说左值是指任务完成后的b，那么B值的获取将获取B的新值。
我认为只要一个实现坚持下去，它就可以做任何事情。在抽象机中，存储在对象中的值仅由计算产生，因此如果实现以不同的方式计算值，则必须注意不要产生其他可见的结果。

代码中存在以下错误：

#include 应为#include ，

j未初始化，因此j++*i的值未知-好，这在编辑中得到修复，

另外，任务本身是不恰当的。卷积线可重写为：

1
2
3

i++;
++i;
j = j++ * i;

最后一部分因以下原因无效：

未定义的行为和序列点

相关讨论

本质上，你是把i乘以2，乘以j的初始值，再加上1。

最后，j=64

1	j = ((7+2)7) + 1 = (97)+1 = 63+1 = 64

至少这是我的Visual Studio 2010编译器所做的。

相关讨论