为什么提到的代码是C中未定义的行为

发布时间：2020-12-16 10:43:51 所属栏目：百科来源：网络整理

导读：声明a [i] = i;未定义,因为存在一个混淆,即使用哪个值(旧的或新的)来评估左侧以获得L值.如果使用-Wall编译,此编译器会为此语句提供警告(操作..可能未定义). 在下面的代码中,在声明x- a = x- b,x – b; x正在改变,在左侧,它用于获得L值.对于此语句,如果使用-W

声明a [i] = i;未定义,因为存在一个混淆,即使用哪个值(旧的或新的)来评估左侧以获得L值.如果使用-Wall编译,此编译器会为此语句提供警告(操作..可能未定义).

在下面的代码中,在声明x-> a = x-> b,x – > b;
x正在改变,在左侧,它用于获得L值.对于此语句,如果使用-Wall执行,编译器不会发出任何警告.

有人可以解释为什么这不是未定义的行为？
谢谢！

struct Data {
int a;
int b;
} y[4] = { 10,20,30,40};

struct Data *x = y;
int i;

for(i=0; i<2; i++) {
    x->a = x->b,++x++->b;
    printf("%d %dt",y[i].a,y[i].b);
}

解决方法

逗号运算符的优先级最低,

expression:
assignment-expression
expression , assignment-expression

所以

x->a = x->b,++x++->b;

实际上是

(x->a = x->b),++(x++->b);

并且逗号运算符是一个序列点,因此对x的两个修改是有序的,并且没有未定义的行为.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!