Elixir 基本数据类型

基本算数

与Python、Ruby等动态语言类似

iex> 1 + 2
3
iex> 5 * 5
25
iex> 10 / 2
5.0

注意10/2返回的是浮点数5.0而不是整数5。在Elixir中，/运算符总是返回一个浮点数。如果想得到一个整数形式的商或余数，可以调用div/2和rem/2函数：

iex> div(5, 2)
2

iex> div(6, -4)
-1

iex> div(-99, 2)
-49

iex> rem(5, 2)
1

iex> rem(6, -4)
2

iex> div(100, 0)
** (ArithmeticError) bad argument in arithmetic expression

div/2和rem/2函数的其中一个参数不为整数，或除数为0，将会引发ArithmeticError

Elixir中的函数是由函数名与参数个数区分的。div/2表示此函数接收2个参数。拥有相同的函数名但是参数个数不同则是完全不同的函数。

Elixir也支持转换二进制，八进制，十六进制的数：

iex> 0b1010
10
iex> 0o777
511
iex> 0x1F
31

浮点数要求小数点后至少有一位数，也支持e作为自然对数：

iex> 1.0
1.0
iex> 1.0e-10
1.0e-10

Elixir中的浮点数是双精度64位的。

你可以调用round/1函数来得到与某个浮点数最相近的整数，或者调用trunc/1函数来得到某个浮点数的整数部分。

iex> round(3.58)
4
iex> trunc(3.58)
3

布尔型

Elixir以true和false作为布尔型：

iex> true
true
iex> true == false
false

Elixir提供了一系列的判定函数来检查某值的类型。例如，函数is_boolean/1可以用于检查某值是否是布尔型：

iex> is_boolean(true)
true
iex> is_boolean(1)
false

你也可以使用is_integer/1，is_floot/1或is_number/1来分别检查某参数是否是一个整数，浮点数或都不是。

原子

原子是一种常量，名字就是它的值，布尔值true和false实际上就是原子

iex> :hello
:hello
iex> :hello == :world
false
iex> true == :true
true
iex> is_atom(false)
true
iex> is_boolean(:false)
true

字符串

Elixir中的字符串用双引号包围，并且以UTF-8格式编码：

iex> "hellö"
"hello"

Elixir也支持格式化字符串：

iex> "hellö #{:world}"
"hellö world"

字符串可以包含换行。可以用转义字符来显示它们：

iex> "hello
...> world"
"hello\nworld"
iex> "hello\nworld"
"hello\nworld"

可以使用IO模块中的IO.puts/1函数来打印字符串：

iex> IO.puts "hello\nworld"
hello
world
:ok

注意IO.puts/1函数在打印完之后返回了原子:ok作为结果。

Elixir中的字符串在内部以二进制来表示，并且按字节排序：

iex> is_binary("hellö")
true

我们还可以获得字符串的字节数：

iex> byte_size("hellö")
6

注意这个字符串的字节数是6，即使它只有5个字符。这是因为字符“ö”在UTF-8编码中占用了两个字节。我们可以使用String.length/1函数来获取基于字符数的字符串长度：

iex> String.length("hellö")
5

在字符串模块中包含了一系列基于Unicode标准对字符串进行处理的函数：

iex> String.upcase("hellö")
"HELLÖ"

匿名函数

函数被包含在fn和end之间：

iex> add = fn a, b -> a + b end
#Function<12.71889879/2 in :erl_eval.expr/5>
iex> is_function(add)
true
iex> is_function(add, 2)
true
iex> is_function(add, 1)
false
iex> add.(1, 2)
3

在Elixir中，函数是“一等公民”，意味着它们可以像整数和字符串一样被当作参数传递给其它函数。例如，我们将变量add中的函数传递给函数is_function/1，得到返回值true。我们也可以调用is_function/2来检查函数的参数个数。

注意在调用匿名函数时变量名与括号间必须要有一个点(.)。

匿名函数是闭包，因此它们可以获取在函数定义时所包含的变量。让我们来定义一个新的匿名函数，它使用了我们之前定义的匿名函数add：

iex> double = fn a -> add.(a, a) end
#Function<6.71889879/1 in :erl_eval.expr/5>
iex> double.(2)
4

记住函数中赋值的变量不会影响其外部环境：

iex> x = 42
42
iex> (fn -> x = 0 end).()
0
iex> x
42

捕获操作符&也可以被用于创建匿名函数。这种语法会在后面讨论。

列表

Elixir中使用方括号来定义列表的值。值可以是任意类型：

iex> [1, 2, true, 3]
[1, 2, true, 3]
iex> length [1, 2, 3]
3

两个列表可以相加或相减通过使用++/2和--/2运算符：

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

关于列表的头尾我们会进行很多讨论。头是列表的第一个元素，而尾是剩余部分。它们可以通过函数hd/1和tl/1来得到。让我们将一个列表赋值给一个变量，然后获得它的头尾：

iex> list = [1, 2, 3]
iex> hd(list)
1
iex> tl(list)
[2, 3]

获取空列表的头尾会产生错误：

iex> hd []
** (ArgumentError) argument error

有时创建的列表会返回一个单引号包围的值。例如：

iex> [11, 12, 13]
'\v\f\r'
iex> [104, 101, 108, 108, 111]
'hello'

当Elixir发现一个可打印的ASCII数字列表，便会将其以字符列表形式打印出来。字符列表看上去和Erlang代码非常相似。当你在IEx中看见一个不确定类型的值，可以使用i/1来获得它的信息：

iex> i 'hello'
Term
  'hello'
Data type
  List
Description
  ...
Raw representation
  [104, 101, 108, 108, 111]
Reference modules
  List

记住在Elixir中单引号和双引号所代表的是不同的类型：

iex> 'hello' == "hello"
false

单引号是字符列表，双引号是字符串。

元组

Elixir用花括号来定义元组。类似列表，元组也可以包含任意值：

iex> {:ok, "hello"}
{:ok, "hello"}
iex> tuple_size {:ok, "hello"}
2

元组中的元素在内存中是连续存储的。这意味着可以很快地逐坐标访问一个元组中的元素或获取元组的大小。坐标从零开始：

iex> tuple = {"John", :man, 27}     
{"John", :man, 27}
iex(32)> elem(tuple, 1)
:man

可以使用put_elem/3将一个元素放到元组的任意位置：

iex> tuple = {:ok, "hello"}
{:ok, "hello"}
iex> put_elem(tuple, 1, "world")
{:ok, "world"}
iex> tuple
{:ok, "hello"}

注意put_elem/3返回了一个新的元组。存放在tuple变量中的原始元组没有改变，这是因为Elixir数据是不可变的。所以Elixir代码更容易推导，因为你从不需要担心是否有一段代码改变了你的数据结构。

列表还是元组？

列表和元组的区别是什么？

列表以链表的形式在内存中存储，即列表中的每个元素包含了它的值和指向下一个元素的指针，直到列表的末尾。我们把每对值和指针称为一个驿站(cons cell)：

iex> list = [1 | [2 | [3 | []]]]
[1, 2, 3]

这意味着访问一个列表的长度是一个线性操作：我们需要贯穿整个列表来算出它的长度。更新一个列表只需要在它前面加上元素：

iex> [0 | list]
[0, 1, 2, 3]

而元组，是以连续的方式存储在内存中的。这意味着获得元组长度或通过坐标访问元素都很快。然而，更新或添加元素却很复杂，因为必须在内存中复制整个元组。

不同的特性决定了这些数据结构的用途。元组常用于返回函数的额外信息。例如，File.read/1是一个用于读取文件内容的函数，它返回了一个元组：

iex> File.read("path/to/existing/file")
{:ok, "... contents ..."}
iex> File.read("path/to/unknown/file")
{:error, :anoint}

如果提供给File.read/1的路径存在，那么它返回了一个元组，由原子:ok作为第一个元素，文件内容作为第二个。否则，返回的元组会包含:error和错误描述。

大多数时候，Elixir会引导你做正确的事。例如，elem/2函数可以访问元组，但是对于列表却没有定义相似的函数：

iex> tuple = {:ok, "hello"}
{:ok, "hello"}
iex> elem(tuple, 1)
"hello"