Elixir 简明笔记（四）--- 基本数据类型

学习一门语言，如何才能算是学会呢？如同写一篇文章，最简单的就是得先学会如何遣词造句。文章的词组，就像编程语言的基本数据结构。

编程的本质是数据结构加算法。想要使用Elixir编程，当然少不了它的数据结构。所幸Elixir提供了丰富的数据结构。其基本的数据结构大致可分为值类型，系统类型和容器类型：

值类型
- 数字（Number）
  - 整型（Integer）
  - 浮点类型（Float）
- 原子（Atom）
- 范围（Range）
- 正则表达式（Regular expressions）
系统类型：
- 进程（PID）和端口（port）
- 引用（References）
容器类型
- 元组（Tuple）
- 列表（List）
- 图（Map）
- 二进制（Binary）

数字类型

数字类型包括整型和浮点型，与其他编程语言类似，它们也没有特别之处。Elixir中可以直接书写它们。当然，我们很熟悉书写十进制的数字。对于八进制，十六进制，Elixir也支持字面量书写的方式。

iex(1)> n = 10
10
iex(2)> n = 0x10
16
iex(3)> n = 0o10
8

使用0x前缀写十六进制的数字，使用0o前缀定义八进制的数字。对于十进制，还可以使用_符号来对数字分组阅读，例如：

iex(1)> n = 1000000
1000000
iex(2)> a = 1_000_000
1000000
iex(3)> n = a
1000000
iex(4)> n == a
true

可见 n 和 a 的值相等，不然a=n的模式匹配则会失败，正好复习一下模式匹配，==则是逻辑运算符，后面再做介绍了。

需要注意的是Elixir的整型的大小是没有限制的。数字类型中的另外一种则是浮点类型，Elixir的浮点类型符合IEEE 754 双进度标准。可以保证16位精确。

原子类型

原子（Atoms）的定义使用一个冒号加上任意Elixir字符（非数字开头，非.）。

原子和Lisp或者Ruby的符号类型类似。其值就是原子名本身。下面看几个例子：

iex(1)> :hello
:hello
iex(2)> :rsj217
:rsj217
iex(3)> :do_you_love_me?
:do_you_love_me?
iex(4)> :yes!
:yes!
iex(5)> :"Thank God"
:"Thank God"
iex(6)> :123
** (SyntaxError) iex:6: invalid token: :123
iex(6)> :123A
** (SyntaxError) iex:6: invalid token: :123A

两个同名的原子其值总是相等。即使他们是被不同的程序、不同的计算机哪跨洋创建的。原子很有用，通常用于当tag的值。

原子类型很常见，最常见的一类莫过于布尔类型。Elixir中的布尔值只有两个，分别是true表示逻辑真，用false用来表示逻辑非。布尔类型的值就是其本身，即true的值是true，false的值是false，对吧，这就是原子。

iex(1)> true
true
iex(2)> :true
true
iex(3)> a = true
true
iex(4)> b = :true
true
iex(5)> a = b
true
iex(6)> a == b
true
iex(7)>

范围

范围（range）是一类数字或者字母的值，表示一个范围，使用起始值..终止值定义。例如：

iex(1)> r = 0..9
0..9

范围可以用于迭代。

正则表达式

也许把范围和正则表达归结为值类型欠妥。实际上他们确实不是值类型，只是一种结构。只不过，把他们看成值类型，现在比较好理解。

正则表达式通常用于处理文本。Elixir中当然也有字符串（String）类型，可是为何没有出现在上面的介绍中呢？实际上，字符串不是基本类型，他们是由基本类型复合构成的，伴随更深了的了解Elixir，再对正则和字符串进行介绍。

系统类型

Elixir是运行在Erlang虚拟机上的语言。其中并发能力主要来自Elixir可以开启成千上万给进程。这些进程之间通过消息通信。进程（PID）和端口（Port）这两个系统类型则是用于处理Elixir进程所用的基本数据类型。关于他们的介绍，等学到了Elixir进程相关的知识再做介绍。

引用（References）也是一种系统类型，目前还没搞明白。

容器类型

容器类型是Elixir中最常用的类型。常见的元组（Tuple）和列表（List）和图（Map）以及二进制（Binary）。这些内容将会下一节介绍。