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

这些操作符中的大部分会在我们的教程中学习到。在下一章，我们将讨论一些基本函数，数据类型转换和一点点控制流。