第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

　　URL：https://www.cnblogs.com/snowcicada/p/14164471.html