Post increment operator behavior本问题已经有最佳答案,请猛点这里访问。
这是一个测试用例:
我希望得到一个"0 1"输出,但我得到"0 0" 这是未指定行为的示例。该标准没有说明应该评估哪些订单参数。这是一个编译器实现决策。编译器可以按任何顺序自由地计算函数的参数。 在这种情况下,它看起来实际上是从右到左处理参数而不是从左到右的预期处理。 一般来说,在参数中做副作用是糟糕的编程习惯。 而不是foo(test ++,test);你应该写foo(test,test + 1);试验++; 它在语义上等同于您要完成的任务。
编辑: 这不仅仅是未指定的行为,它实际上是未定义的行为。
是的,参数评估的顺序是未指定的,但是在没有插入序列点的情况下读取和修改单个变量是未定义的,除非读取仅用于计算新值。在函数参数的计算之间没有序列点,因此
这是因为在进入和退出 另请注意,逗号运算符提供了一个序列点,因此
很好---增量发生在读取之前,所以 我原先说的一切都是错的!计算副作用的时间点未指定。如果test是局部变量,Visual C ++将在调用foo()之后执行增量,但如果test被声明为static或global,它将在调用foo()之前递增并产生不同的结果,尽管最终值为测试是正确的。 在调用foo()之后,增量应该在单独的语句中完成。即使在C / C ++标准中指定了行为,也会令人困惑。你会认为C ++编译器会将此标记为潜在错误。 以下是序列点和未指定行为的良好描述。 <----错误的错误开始----> 在调用foo之后执行"test ++"的"++"位。所以你传入(0,0)到foo,而不是(1,0) 这是Visual Studio 2002的汇编程序输出:
在调用foo()之后完成增量。虽然这种行为是设计的,但它对于随意的读者来说肯定是令人困惑的,应该可以避免。在调用foo()之后,增量应该在单独的语句中完成 <----错误的错误结束----> 这是"未指定的行为",但在实践中,通过指定C调用堆栈的方式,它几乎总能保证您将其视为0,0而不是1,0。 正如有人指出的那样,VC的汇编器输出首先推送堆栈上最右边的参数。这是在汇编程序中实现C函数调用的方式。这是为了适应C的"无限参数列表"功能。通过按从右到左的顺序推送参数,第一个参数保证是堆栈中的顶部项。 以printf的签名:
这些椭圆表示未知数量的参数。如果从左到右推送参数,则格式将位于堆栈的底部,我们不知道其大小。 知道在C(和C ++)中从左到右处理参数,我们可以确定解析和解释函数调用的最简单方法。到达参数列表的末尾,并开始推送,评估任何复杂的语句。 但是,即使这样也无法保存,因为大多数C编译器都有解析函数"Pascal样式"的选项。所有这些意味着函数参数以从左到右的方式被压入堆栈。例如,如果使用Pascal选项编译printf,那么输出很可能是1,0(但是,因为printf使用椭圆,我认为它不能编译为Pascal样式)。 C不保证函数调用中参数的评估顺序,因此可能会得到结果"0 1"或"0 0"。订单可以从编译器更改为编译器,同一编译器可以根据优化参数选择不同的订单。 编写foo(test,test + 1)然后在下一行中进行++测试会更安全。无论如何,编译器应尽可能优化它。 重复别人所说的话,这不是未指明的行为,而是未定义的行为。 该程序可以合法地输出任何内容或任何内容,保留任何值,或向您的老板发送侮辱性电子邮件。 实际上,编译器编写者通常只会为他们编写最容易编写的东西,这通常意味着程序将获取n次或两次,调用函数,并在某个时间递增。 这与任何其他可想象的行为一样,根据标准是好的。 没有理由期望编译器,版本或不同的编译器选项之间存在相同的行为。 没有理由为什么必须一致地编译同一程序中的两个不同但看起来相似的例子,尽管这是我打赌的方式。 总之,不要这样做。 如果你很好奇,可以在不同情况下进行测试,但不要假装有一个正确甚至可预测的结果。
根据C标准,在单个序列点中具有多个对变量的引用是不确定的行为(在这里您可以将其视为语句或函数的参数),其中一个或多个引用包括修改前/后。 通常,编译器不会更改此类事物的行为(主要修订除外)。 通过打开警告并注意它们来避免它。 嗯,既然OP已被编辑以保持一致性,它与答案不同步。关于评估顺序的基本答案是正确的。但是foo的特定可能值是不同的(++ test,test);案件。 ++ test将在传递之前递增,因此第一个参数将始终为1.第二个参数将为0或1,具体取决于评估顺序。 函数参数的求值顺序是未定义的。在这种情况下,它似乎是从右到左。 (修改序列点之间的变量基本上允许编译器执行它想要的任何操作。) 编译器可能没有按照您期望的顺序评估参数。 |