故事还是从一个经典的场景展开，有一个函数

void modify(int a) { a = 10; } 然后有一个这样的调用 int a = 0; modify(a); 那么a现在到底是多少呢？答案是0，没有变化 不管是C，C++还是java,都会解释说由于是int，所以是按照值传递的方式，如果这里的int ,用址传递，就会改变原来的值，我个人觉得，这样的解释虽然能说得通，但总感觉有一些模糊的东西在里面，为什么用int 和int要用不同的方式来处理呢？ 我猜测，栈的调用过程调用应该是这样的：

不管入参a是什么类型，先做一个这样的赋值操作，a' = a，然后把a'压到栈里面进行函数调用。 于是，我们可以从这个模型有一些推测， 推论1：如果在函数里面有关于a' = 的操作，比如上面的a = 0,只是改变了a'本身的值，和a没有任何关系。 推论2：如果a是某个对象，并且函数里面使用了a'的方法，由于a'和a本质上都是a对象的引用，所以a'使用方法，本质上也是a使用方法。 推论3：如果a是数组，比如java里的int[]，传进去的是数组的头指针，那么如果赋值，a[0] = 1这类的操作，可以改变数组本身的值。

猜测和实际的结果相符吗？自己试一下，想一下 PS：不相符我会写这个博客？至少C，C++，JAVA，PYTHON都是这样的。函数编程号称不改变状态，所以，显然也满足上面的猜测。 最终推论：那么我们是不是可以再猜测一下，写编译器的那些人，思路基本都是一样的？哈哈