变量与常量的本质区别，以及由此引出的深入思考(纯文字解释，不附图，图像自己在大脑中构建)

变量与常量的本质区别

量，不管是变量还是常量，都携带了两个信息。

一个是这个量的逻辑地址，逻辑地址和内存中的物理存储地址是映射好的（由内存管理单元MMU完成映射），因此通过逻辑地址就可以知道这个量在物理内存中的起始位置。

另一个则是根据这个量的类型的信息，在内存中申请的bit数量。

对于基本数据类型，某个量这些bit是彼此相邻的，引用类型的bit也是彼此相邻的。为何？因为内存是按照8bit来划分最小存储单元的。

而利用类模板创建的实例（对象）——这种对各种基本数据类型的庞大组合体，虽然很复杂，也应该是连续分配bit来存储的。只不过它引用的其它实例存储在其它地方。

事实上，赋值取值就是对某个量，从实际的物理地址起始处开始对这个量所对应的那些bit状态的操作。

修改部分或者全部的bit的状态等同于给这个量赋值。

获取bit的状态等同于取值。

因为计算机计算的本质就是bit的状态转换、传输与获取。

再来看看在语法上如何表现：

赋值表达式语句里，某个量在赋值符号【=】两边的含义大不相同：

这个量在【=】左边，就是修改这个量在内存中所对应的各个bit，称为赋值，
能赋值，就称这个量是变量，可写；不能赋值，则称这个量是常量，不可写。因而，是否可写就是变量与常量的本质区别。

这个量在【=】右边，则是获得这个量在内存中那些bit状态，可获取，就叫做可读；不能获取，叫做不可读。变量与常量在程序中，在合适的地方访问，都是可读的。

完全理解上述以后，相信对以下这些将不难理解：

java里的final关键字的的意义就是声明不可修改的东西，量不可赋值，方法不可重写，类不可被继承。

函数里的传参只是另外一种赋值方式，而且语法规定的是对形参进行赋值，可想而知形参必定是变量(如果它想接收参数)。

而函数接收的实参可以是字面值、常量和变量。到真正调用函数的时候，首先就要干这些事：

1）判断实参是哪一种。

2）实参是字面量，则把形参修改为这个字面量对应的一连串的bit状态，完成赋值。

2）实参是常量或者变量，不管这个量是基本数据类型的还是引用类型的，取得这个量的后一个属性（一连串的bit状态），把这一串的bit的状态，传输至形参的物理地址处，完成形参状态修改。

3)如果是引用类型的变量或常量，那传递的这些bit的含义，就是某个实例的起始地址。这样的结果是，实参和形参都具有某个实例的起始地址，因而通过实参和形参都可以找到同一个实例。

可以看出，实参和形参并不相干，意思就是对形参赋值不影响实参，对实参的赋值（此处假设实参是变量）也不影响形参。为何？

因为实参和形参本来就存储在内存中不同的地方，井水不犯河水。

至于引用类型的参数传递表面看起来会相互影响，但实际上却并不相互影响。为何？

实参和形参存储的信息，表示它们都可以操作内存中同一块区域，但这是那个实例存在被共享的问题，实参和形参存储的内容，并不会因为存放实例的那块内存区域被改变而变化。_理解了吗