Erlang那些事儿第1回之我是变量,一次赋值永不改变
第1回先从不变的变量说开来，学过其他编程语言的人都知道，变量之所以叫变量，是因为它会经常变，被修改。假设原本X = 10，后来再执行X = 24，那么X就从10变成了24，这对于程序新手和老鸟来说，都是永恒不变的真理。但是如果你写Erlang代码还这么认为的话，那么你就错了，大错特错，还会导致编译失败。现在请把你从其他编程语言学的特性忘掉，把自己变成一张白纸，让我们回一趟小学书本，看下解方程的例子。
知识点1：变量不可变
记得上学的时候，数学老师曾说过：“如果一个等式中有好几处X，那么所有X都是一样的”。举个例子，如下：
题目：二元一次方程，请计算X和Y分别是多少？
X + Y = 10 X - Y = 2
解：
因为X - Y = 2，所以可以得出：Y = X - 2，
将Y代入第一个方程，会变成
X + X - 2 = 10，
再精简成：
2X = 12，所以X = 12/2 = 6
Y = X - 2 = 6 - 2 = 4。
从上面的方程可以计算得出X等于6，Y等于4，那么X还能是其他值吗？答案是肯定不行，如果你把X改成7，那么上面的二元一次方程怎么算都是错的。如果还不能理解，那么先尝试着接受新思想，旧思想有旧思想的好处，新思想有新思想的好处，旧的不去新的不来。
实验1：变量不可被修改
Erlang/OTP 23 [erts-11.1.3] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] [hipe] [dtrace] Eshell V11.1.3 (abort with ^G) 1> X = 6. 6 2> X. 6 3> X = 7. ** exception error: no match of right hand side value 7
X被赋值为6之后，如果再赋值为7，那么就会报错：no match，意思是X与7不能匹配，所以X = 6并不是赋值，而是进行了一次模式匹配。命令①表示X与6进行匹配，这次匹配是成功的，所以X绑定了6，所以X等于6。
知识点2：特殊的下划线变量
下划线变量会被编译器特殊对待，既可以用来当占位符，跳过不关心的赋值，也可以用来避免unused的编译警告。既然是可以用来忽略不必要的赋值，那么下划线变量可以一直被赋值，而不会报错。
实验2：可以一直被赋值的下划线变量
Erlang/OTP 23 [erts-11.1.3] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] [hipe] [dtrace] Eshell V11.1.3 (abort with ^G) 1> _ = 10. 10 2> _ = 24. 24 3> _. * 1: variable '_' is unbound
下划线第一次被赋值为10，第二次被赋值为24，不会报错，验证了上面说的结论：可以一直被赋值。
但是当我们要把下划线打印出来的时候，会得到一个错误信息，意思是下划线没有被绑定，所以证明了下划线只是忽略了一次赋值（匹配）。
在Erlang编程中，一切皆是模式匹配，无处不在，几乎每一行代码都会应用模式匹配，以后的每一回会对不同的数据类型进行模式匹配的实践。
下一回将介绍模块（Module）的使用，且听下回分解。
Author：snowcicada