C 语言的++操作见鬼了，两台电脑上结果不一样是什么原因？

[Luckyray]

昨天跟朋友讨论一个考研题目，关键点是这样：
int a=1 ；
a*++a 等于多少？
我说 1*2 嘛，他非说是 2*2，然后各自试了试...
这是我的

这是他的

真奇怪....哪位大佬知道原因是啥？ c 语言和 c++对++操作有不同的定义？还是因为 c 语言不同年份的标准不一样？

[dangge]

https://intellij-support.jetbrains.com/hc/en-us/articles/206556469-What-compiler-debugger-can-I-use-within-CLion-

[geelaw]

因为标准规定这样做的结果没有定义

[dndx]

undefined behavior，理论上输出任何结果都是对的。

一看是考研题目也是深深的无奈。

[sosilver]

求值顺序不同，和编译器的实现有关

[Luckyray]

@dangge 能不能说详细点...不太熟悉 c，你是说 clion 选择 MinGW 或是 Cygwin 对结果有影响吗？

[Luckyray]

@geelaw 我也很蛋疼啊，可是考试要考

[Luckyray]

@dndx 哦哦，原来没有标准答案，谢谢

[halfer53]

c 的优先级里面++最优先，然后就是 a*a 了，说实话，这种题目完全没有任何意义

[Ehend]

按考研出题人意思应该是考运算符优先级，认为 c 里＋＋优先级大于＊，所以认为＋＋先运算，所以认为结果是 4，但是实际中还是看情况，考研终究是考研。。。

[Shura]

因为标准中对这种情况未定义，所以编译器输出什么都是正常的。如果是考研的情况，你可以用 VC6.0 测试，这种题目你背下来就行了，没有办法。

[dangge]

@Luckyray 是
图一看起来是 Mac，那么默认使用的编译器应该是 LLVM。
图二是 windows，根据官方所说，默认是 MinGW and Cygwin。
不同编译器，对这种未定义行为的处理自然不同。

[xml123]

现在还在考这种题目？

[feather12315]

@dndx 为什么是没定义呢？我的理解是规定了优先级与结合性必然有一个确切的结果。

从编译原理中语法分析的角度看，LR 技术构造的未经优化的编译器，结果就是 2*2。LL 技术细节我给忘了…

[feather12315]

#13 反汇编了结果，clang 把 `a*++a` 中的俩 `a` 认为是俩不同的变量，才输出 `2` 。所以这要对应编译器 /C 怎么定义 `++a` 的行为了吧，
我的认知倾向于 4 这个结果，即 `++a` 后的结果存放于原地址。
没读过相关的规定，楼下能否给出点文档说说 C 怎么定义`++a`的行为的？

[bumz]

@feather12315 #13 优先级与结合性不保证副作用的顺序。这叫 unsequenced modification and access

[ipwx]

@feather12315 因为 C++ 很底层，标准留给了各个编译器很大的自由空间，可以优化目标代码。

比方说，这个 a 变量，经过层层优化，很可能从来不在内存里面出现，只在寄存器里面使用。甚至直接优化掉了，成为常量。为了让这种深度优化成为可能，C++ 标准有大量的未定义行为。

[GjriFeu]

你朋友没有对齐

[Luckyray]

@GjriFeu 好眼力，我去砍死他

[gnaggnoyil]

@feather12315 然而两个具有副作用的表达式没有相互的 sequenced before/after 关系就会导致 UB,而 sequenced before/after 关系和什么结合性没有必然的联系……

[owt5008137]

c++17 以前是 UB

[monkeymonkey]

我曾经问过 Stanley B. Lippman 对这种事情的看法，他说他不会在意这种细节，标准没规定，然后他送了我一本他的签名书。我现在有点后悔没有问他点更有深层意义的问题（摊手

[WhoMercy]

@monkeymonkey
羡慕，流口水🤤

[ech0x]

@monkeymonkey 厉害！羡慕。。。

[malusama]

最左推导和最右推导？

[anmaz]

详见 c99 规范，搜索 c 语言副作用