关于“左值”

记得以前看到一篇文章，介绍什么是“左值”，“左值”有什么样的限制：
1、常量表达式不能成为左值；
2、临时对象不能成为左值；
3、const修饰的变量不能成为左值；
……

看到“左值”这个概念的时候，让人觉得有些诧异。
“左值”，顾名思义就是等号左边的值。说白了，就是在一个表达式中要被写的那个值。但是我觉得“左值”这个概念实在太故弄玄虚，给人的第一感觉是，“因为这个值在左边，所以它要接受限制”。（这是什么逻辑……）
然而，如果取个本份点的名字，比如“被写值”呢？因为这个值将被写，所以它要接受一些限制。

1、不允许改写常量表达式，否则多次执行同样一段代码可能得到不同的结果。
如果常量字符串"hello world"会被改写，那么printf("hello world");可能没法将"hello world"给print出来。这样的逻辑不是很匪夷所思吗？
所以，一般常量字符串会被编译器放在程序的只读数据段中，由内核来保证它们不可写。（当然，C标准并没有规定编译器一定要这么做。标准只是说，写常量字符串将得到一个不可预知的结果。）

2、不允许写编译器产生的临时对象，因为这样的写操作是无意义的。
在C/C++中，使用常规手段是无法访问到临时对象的（当然存在非常规的办法）。写过之后临时对象再也没有被读的机会了，写了干什么呢？
如果偏要写呢？那应该倒没什么关系，不过就是在运行栈写一些信息而已。

3、不允许写const变量，因为这是程序主动申请的限制。
编译器的作用并不仅仅是把源代码编译成目标代码，它还需要有源代码的查错机制。所有这些限制都是为程序的逻辑服务的，这就是高级语言的高级之处。
（记得大学时教《编译原理》的教授曾说过，编译错误永远只是小问题，因为不需要你思考，错误都让编译器都给你找出来了。而我们写程序应该把编译器的查错功能利用起来，尽可能的把错误暴露给编译器；而不是想办法欺骗编译器，让它帮你编译出漏洞百出的目标代码。）

显然，以上这些限制，都是因为“值”要被写而造成的，并不是因为“值”在左边。

后来发现，关于“左值”和“右值”，还有另外一种释义。“左值”（l-value）实际上是“存储（可写）地址”（location value）、“右值”（r-value）实际上是“读地址”（read value）。这个解释倒是贴切多了～