c++ - 为什么在Visual Studio中，我= i++使其增加

Question

This question already has answers here:

Undefined behavior and sequence points

(5个答案)


在11个月前关闭。




在投票决定将其重复关闭之前，请注意 i = i++在C++ 17中具有明确定义的行为。查看评论和答案。

为什么变成6
不应该是5吗？
在另一个方面，输出是5
但在Visual Studio中变成了6

#include<stdio.h>

int main(){

   int i = 5;
   i = i++;

   printf("%i", i);


}

最佳答案

在直到2014年版(包括该标准)的标准C++中，表达式i = i++具有未定义的行为，因为对象i被修改了两次且两个修改未排序。

2017版(C++ 17)对表达评估的描述进行了一些更改。 C++ 17 4.6 [intro.execution]中的一个示例说:

void g(int i) {
    i = 7, i++, i++; // i becomes 9

    i = i++ + 1;     // the value of i is incremented
    i = i++ + i;     // the behavior is undefined
    i = i + 1;       // the value of i is incremented
}   

许多阅读该代码的人都会假设 i = i++的行为未定义。实际上， 如果编译器正确实现了C++ 17(并且您以告诉其符合C++ 17的方式调用它，例如gcc或clang的 -std=c++17)，则赋值后的 i值将是 5。但是对于符合较早版本的C++或以不符合标准的模式调用的编译器，其行为仍未定义。

我会注意到 g++ -std=c++17 -Wall(大约一个星期前从最新的gcc来源构建)仍然警告 i = i++可能是未定义的，尽管运行程序仍会产生C++ 17正确的结果。

您正在使用的编译器很可能不符合C++ 17。

更一般而言，除了作为对编译器一致性的测试之外，确实没有充分的理由编写 i = i++。在兼容的C++ 17(或更高版本)编译器中，它什么也不做。评估 i++会产生 i的先前值，并且作为副作用，会更新 i-但更新后的值会被赋值覆盖。

(在C中， i = i++仍然具有未定义的行为。)

(我欢迎任何阅读过C++ 14和C++ 17标准并可以引用表示此更改的规范性文本的人的评论。)

关于c++ - 为什么在Visual Studio中，我= i++使其增加，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/59812764/

上一篇：c++ - Arduino Nano:使用串行输入时，通过计时器进行的A4988步进控制不稳定

下一篇：C++:函数外的超时函数

Answer 1

在直到2014年版(包括该标准)的标准C++中，表达式i = i++具有未定义的行为，因为对象i被修改了两次且两个修改未排序。

2017版(C++ 17)对表达评估的描述进行了一些更改。 C++ 17 4.6 [intro.execution]中的一个示例说:

void g(int i) {
    i = 7, i++, i++; // i becomes 9

    i = i++ + 1;     // the value of i is incremented
    i = i++ + i;     // the behavior is undefined
    i = i + 1;       // the value of i is incremented
}   

许多阅读该代码的人都会假设 i = i++的行为未定义。实际上， 如果编译器正确实现了C++ 17(并且您以告诉其符合C++ 17的方式调用它，例如gcc或clang的 -std=c++17)，则赋值后的 i值将是 5。但是对于符合较早版本的C++或以不符合标准的模式调用的编译器，其行为仍未定义。

我会注意到 g++ -std=c++17 -Wall(大约一个星期前从最新的gcc来源构建)仍然警告 i = i++可能是未定义的，尽管运行程序仍会产生C++ 17正确的结果。

您正在使用的编译器很可能不符合C++ 17。

更一般而言，除了作为对编译器一致性的测试之外，确实没有充分的理由编写 i = i++。在兼容的C++ 17(或更高版本)编译器中，它什么也不做。评估 i++会产生 i的先前值，并且作为副作用，会更新 i-但更新后的值会被赋值覆盖。

(在C中， i = i++仍然具有未定义的行为。)

(我欢迎任何阅读过C++ 14和C++ 17标准并可以引用表示此更改的规范性文本的人的评论。)