论无解的阿里2016校园招聘题

以下代码是阿里2016级校园招聘比试题目：

//clang提示编译警告：multiple unsequenced modifications to v

#include <iostream>

using namespace std;

void __cdecl func(const int& v1, const int&v2){

         cout<<v1<<' '<<v2<<endl;

} 

int main(){

        int v = 0;

        func(++v, v++);

} 

然后有四个答案，其中有2 0和2 1，事实上，在微软的Visual Studio上测试结果是2 0，在Clang和XCode（后台使用Clang)上是2 1，那么问题来了，哪个对？

结果是没有一个对，也没有一个错，这个题目是没有答案的。

C(++)语言中有序列点的概念，序列点要求在序列点上，前面求值的所有副作用应该全部完成，比如，函数调用就是一个序列点，在函数调用实施前，参数的求值及其副作用应该被全部计算完成。C语言中规定，逗号运算符、三元运算符、逻辑与、逻辑或有序列点。

逗号运算符：（函数调用里面的那个逗号是参数分割号，而不是逗号运算符）

#include <Iostream>

using namespace std;

void f(const int& ref){

        cout<<ref<<' ';

}  

int main(){

    int val = 0;

    f(val++),f(val++);

}

以上代码显然输出0，1。因为逗号运算符是个序列点，左边的f调用及其副作用必须先计算再进行右边的f调用及副作用。

三元运算符，逻辑与，逻辑或等与此类似，不再详细描述。

在最开始的代码里面，惟一可以保证的是在func调用之前，两个参数v1,和v2均会被计算、副作用均已完成以及参数从右到左入stack，至于先计算v++还是++v及其副作用是无定义的，也就是说，编译器想怎么计算就怎么计算，保不准在某个编译器上输出1，1。