增加指针,精确序列
我刚刚开始学习C,我明白了
*a = *b; a++; b++;
和
*a++ = *b++
是等价的,但这是线路时实际发生的事情
*a++ = *b++
叫做? 有人可以澄清编译器如何解释第二行吗? 我知道从右到左的优先级等等,但有人可以准确地编写编译器用来解释这行代码的步骤吗?
你说你相信:
*a = *b; a++; b++;
相当于
*a++ = *b++;
但这是错误的,所以你有一个错误的信念。 让我们纠正你的错误信念。
在第一种情况下,必须发生以下事情:
- VAR:
*a
必须进行求值才能生成变量,称之为var
- VAL:
*b
必须被评估以产生一个值,称之为val
- ASSIGN:必须将
val
赋值给var
。 - INCA:必须递增。
- INCB:
b
必须递增。
对编译器如何排序有什么限制?
- VAR和VAL必须在ASSIGN之前发生。
- ASSIGN必须在INCA之前发生。
- INCA必须在INCB之前发生。
这里的规则是在下一个语句开始之前必须完成一个语句的所有副作用。 所以有两个法律排序。 VAR VAL ASSIGN INCA INCB,或VAL VAR ASSIGN INCA INCB。
现在让我们考虑第二种情况。
*a++ = *b++;
我们有相同的五个操作,但它们的排序约束完全不同,因为它们都在同一个语句中,所以关于语句的规则不适用。 现在的限制是:
- VAR和VAL必须在ASSIGN之前发生。
- VAR的评估必须使用a的原始值
- VAL的评估必须使用
b
的原始值
请注意,我没有说增量必须在之后发生 。 相反,我说必须使用原始值 。 只要使用原始值,增量就可以随时发生。
因此,例如,将其生成为完全合法
var = a; a = a + 1; // increment a before assign *var = *b; b = b + 1; // increment b after assign
这样做也是合法的:
val = *b; b = b + 1; // increment b before assign *a = val; a = a + 1; // increment a after assign
按照您的建议进行操作也是合法的:首先进行分配,然后按从左到右的顺序进行增量。 首先进行分配也是合法的,然后以从右到左的顺序进行增量。
AC编译器具有广泛的自由度来生成代码,但它喜欢这种表达式。 确保这一点在你的脑海中非常明确,因为大多数人都错了: 只是因为++
变量并不意味着增量发生得晚。 只要编译器确保使用原始值 ,增量就可以在编译器喜欢的时候发生。
这是C和C ++的规则。 在C#中,语言规范要求赋值左侧的副作用发生在赋值右侧的副作用之前 ,并且两者都发生在赋值的副作用之前。 C#中的相同代码将需要生成为:
var_a = a; a = a + 1; // must pointer check var_a here var_b = b; b = b + 1; val = *var_b; // pointer checks var_b *var_a = val;
“指针检查”是C#要求运行时validationvar_a
是有效指针的点; 换句话说, *var_a
实际上是一个变量。 如果不是那么它必须在评估b
之前抛出exception。
同样, 允许 C编译器以C#方式执行,但不是必需的。
1)
*a = *b; a++; b++;
相当于
*a = *b; a = a+1; b = b+1
2)
x = *a++
相当于
x = *a; a = a+1;
和
*b++ = x
相当于
*b = x; b = b+1;
所以
*a++ = *b++
相当于
*a = *b; a = a+1; b = b+1
3)
*(++a) = *(++b)
相当于
a = a+1; b = b+1 *a = *b;
评估表达式和应用副作用的确切顺序未指定 ; 所有保证的是*b++
( b
当前指向的值)的结果被分配给*a++
(当前指向的值)的结果,并且两个指针都是高级的。 确切的操作顺序会有所不同。
如果您想知道平台如何处理它,您可以查看生成的机器代码,但请注意,它仍然可能因编译器设置或周围代码而异。