多变量比较内联未定义行为？

Question

我告诉我的一个朋友(正在学习C),他不能同时做多个变量比较:

int main(){
    int a[4];

    scanf("%d %d %d %d", &a[0], &a[1], &a[2], &a[3]);

    if(a[0] < a[1] < a[2] < a[3]){
        printf("OK!\n");

    }

    else{
        printf("I've told ya\n");

    }

}

所以,为了证明我是对的,我已经编写了上面的程序,然后我用它执行了它1 2 3 4.令人惊讶的是印刷的OK!.所以我不知道该告诉他什么,因为我确信这不对.

最后,它是否是未定义的行为？

Answer 1

不,它定义明确.它只是具有与您期望的不同的语义.

表达式评估如下:

if (((a[0] < a[1]) < a[2]) < a[3]) {

每个比较产生一个布尔(0或1)结果.

比较(布尔)结果,并将该a[0] < a[1]比较a[2]的(布尔)结果与之进行比较a[3].

我确信有一些合法的用例,但它们充其量是罕见的.

表达你想要表达的东西的正确方法是

if (a[0] < a[1] && a[1] < a[2] && a[2] < a[3]) {