erlang 变量存储在哪里_Erlang那些事儿第1回之我是变量,一次赋值永不改变

第1回先从不变的变量说开来，学过其他编程语言的人都知道，变量之所以叫变量，是因为它会经常变，被修改。假设原本X  = 10，后来再执行X = 24，那么X就从10变成了24，这对于程序新手和老鸟来说，都是永恒不变的真理。但是如果你写Erlang代码还这么认为的话，那么你就错了，大错特错，还会导致编译失败。现在请把你从其他编程语言学的特性忘掉，把自己变成一张白纸，让我们回一趟小学书本，看下解方程的例子。

知识点1：变量不可变

记得上学的时候，数学老师曾说过：“如果一个等式中有好几处X，那么所有X都是一样的”。举个例子，如下：

题目：二元一次方程，请计算X和Y分别是多少？

X + Y = 10X- 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)的使用，且听下回分解。

作者：snowcicada

出处：https://www.cnblogs.com/snowcicada

本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。

打赏

微信扫一扫，打赏作者吧～