抽人欢乐多

wwwsq

KBTiller 发表于 2012-05-28 23:18
谈到寄存器就彻底超出语言层面了
至于你“认为表达式是没有值的”
我认为已经大胆地颠覆了所有版本的C语 ...

我的理解是表达式本身没有值，表达式只有运算返回值。

starwing83

回复 31# wwwsq


    表达式运算返回的值就是表达式的值……注意我转给你的标准摘抄，the ... expression has the value ...

wwwsq

starwing83 发表于 2012-05-28 23:26
回复 19# wwwsq

An assignment expression has the value of the left operand after the assignment

在赋值之后，表达式的值是左边那个运算对象。

对于（a=b）来说，表达式的值就是左边那个运算对象a的值。

为什么这里要说a的值，而不说b的值呢，b的值是等于a的值呀？因为在实现层面，根本就没有“表达式的值”这么一个东西，从头到尾只有一个寄存器被赋值了，就是代表a的那个寄存器。这个寄存器即代表a的值，也代表（a=b）这个表达式的值。

KBTiller

回复 31# wwwsq

short  s[2];

s 就是一个表达式
有值
但这里没有什么运算


   

starwing83

回复 28# wwwsq


    r1是a=b的值，同时也是a的值。标准规定赋值运算的值就是左操作符在赋值之后可能具有的值。（我这里用了可能，并不是标准的原话，见上面的帖子，这里只是说明要取得这个值未必是要赋值）

我举个例子，假设a是int，b是float，对于
(a = b) > 0

a = b的值是什么呢？是b的值？不对，这个值的类型是int而b的类型是float。是a的值？那是a什么时候的值呢？是a赋值以后的值。但是在这个表达式有值的时候，赋值操作可能根本就没来得及执行，标准允许这个实际的int 存储可以发生在两个顺序点之间的任意时刻，比如一个编译器可以这么做：

1. b转成int，存到r1
2. r1 是不是大于0？
3. 把r1给a
4. 把第二步的值返回。

如果编译器认为这么做可以获得更短的指令长度神马的，他有权利这么做，C标准允许这么做，然而如果按照你的理解，编译器就没有权利这么做了。就这么简单。

wwwsq

starwing83 发表于 2012-05-28 23:36
回复 28# wwwsq

规定里面说，r1必须是a的值。这就约束了实现。

starwing83

回复 33# wwwsq


    …………你的臆想能力太丰富了。

见我上面的解释。这里有类型问题的。不是说赋值了两者的值就会相等的。

KBTiller

wwwsq 发表于 2012-05-28 23:24
这个只是个人观点。在高级语言和汇编之间，由于符号的差异，是有一些模糊不清的地带的。

高级语言有 ...

高级语言和汇编有各自的语境
并行的

wwwsq

starwing83 发表于 2012-05-28 23:38
回复 33# wwwsq

An assignment expression has the value of the left operand after the assignment



表达式的值必须而且只能是left operand，你不能理解这句话吗？这实际上是在说，所谓表达式的值，其实是指向a变量的寄存器的。

KBTiller

wwwsq 发表于 2012-05-28 23:37
规定里面说，r1必须是a的值。这就约束了实现。

约束实现是标准的用途之一