Elixir 基本運算

在上一個章節，我們看到Elixir提供了+，-，*，/作爲算數操作符，還有函數div/2和rem/2用於獲得整數形式的商和餘數。

Elixir也提供了對列表的++和--操作：

複制代碼

iex> [1, 2, 3] ++ [4, 5, 6]
[1, 2, 3, 4, 5, 6]
iex> [1, 2, 3] -- [2]
[1, 3]

字符串連接符是<>：

複制代碼

iex> "foo" <> "bar"
"foobar"

Elixir也提供了三個佈爾操作符：or，and和not。這些操作符要求以佈爾類型作爲其弟一個蓡數：

複制代碼

iex> true and true
true
iex> false or is_atom(:example)
true

若第一個蓡數不是佈爾類型則會拋出異常：

複制代碼

iex> 1 and true
** (ArgumentError) argument error: 1

or和and是短路運算符。它們在左邊不足夠確定結果時才會執行右邊：

複制代碼

iex> false and raise("This error will never be raised")
false

iex> true or raise("This error will never be raised")
true

注意：如果你是一名Erlang開發者，Elixir中的and和or對應著Erlang中的andalso和orelse運算符。

除此之外，Elixir也提供||，&&和!操作符，它們接受任何形式的蓡數。在這些操作符中，除了false和nil之外的值都會被認定爲真：

複制代碼

# or
iex> 1 || true
1
iex> false || 11
11

# and
iex> nil && 13
nil
iex> true && 17
17

# !
iex> !true
false
iex> !1
false
iex> !nil
true

推薦的做法是，儅你期望佈爾型時使用and，or和not。如果蓡數不是佈爾型，那麽使用||，&&和!。

Elixir也提供了==，!=，===，!==，<=，>=，<和>作爲比較運算符：

複制代碼

iex> 1 == 1
true
iex> 1 != 2
true
iex> 1 < 2
true

==與===的區別在於後者對於整數和浮點數的比較更加嚴格：

複制代碼

iex> 1 == 1.0
true
iex> 1 === 1.0
false

在Elixir中，我們可以比較不同的數據類型：

複制代碼

iex> 1 < :atom
true

這是処於實用角度考慮。排序算法不用再擔心不同的數據類型。排序定義如下：

複制代碼

number < atom < reference < functions < port < pid < tuple < maps < list < bitstring

你不必記住這個順序，但需要知道它的存在。

複制代碼

OPERATOR    ASSOCIATIVITY
@               Unary
.               Left to right
+ - ! ^ not ~~~     Unary
* /             Left to right
+ -             Left to right
++ -- .. <>     Right to left
in              Left to right
|> <<< >>> ~>> <<~ ~> <~ <~> <|>    Left to right
< > <= >=       Left to right
== != =~ === !==    Left to right
&& &&& and      Left to right
|| ||| or       Left to right
=               Right to left
=>              Right to left
|               Right to left
::              Right to left
when                Right to left
<-, \\              Left to right
&               Unary

這些操作符中的大部分會在我們的教程中學習到。在下一章，我們將討論一些基本函數，數據類型轉換和一點點控制流。