转载

Nim教程【九】

向关注这个系列的朋友们，道一声：久违了！

它并没有被我阉掉，他一定会得善终的，请各位不要灰心

Set集合类型

为了在特殊场景下提高程序的性能设置了Set类型，同时也是为了保证性能，所以Set只能容纳有序类型，

Set类型可以被一个大括号实例化：

var x = {}，x就是一个空的set类型

还可以在大括号构造符号内部填写set变量内部的元素，或一组元素

就像下面的代码一样

type   CharSet = set[char] var   x: CharSet x = {'a'..'z', '0'..'9'}

可以用于Set类型的操作符

操作符	含义
A + B	union操作，链接两个Set变量
A * B	得到两个集合的交集
A - B	得到两个集合的差异（A中哪些元素是B所不包含的）
A == B	判断两个集合是否相等
A <= B	A是否与B相等或者A是否是B的子集
A < B	A是否是B的子集
e in A	A包含元素e
e notin A	A不包含元素e
contains(A,e)	A包含元素e
Card(A)	A中包含多少个元素
incl(A,e)	与A = A + {e}相同
excl(A,e)	与A = A - {e}相同

Array数组类型

数组是一个固定长度的容器

数组中的每个元素必须类型相同

数组可以使用方括号构造

请看下面的代码

type   IntArray = array[0..5, int] # an array that is indexed with 0..5 var   x: IntArray x = [1, 2, 3, 4, 5, 6] for i in low(x)..high(x):   echo(x[i])

代码中x[i]的意思是访问数组x的第i个元素

nim语言会对数组访问执行边界检查

你通过开关的形式来设置：到底是在编译期执行边界检查，还是在运行期执行边界检查

（译注：我们这里就不讲怎么设置这个开关了）

数组是值类型的，像其他值类型一样，赋值操作将复制整个数组内容

len方法返回数组的长度

low方法返回数组的最小下标

high方法返回数组的最大下标

请仔细看一下下面的代码：

type   Direction = enum     north, east, south, west   BlinkLights = enum     off, on, slowBlink, mediumBlink, fastBlink   LevelSetting = array[north..west, BlinkLights] var   level: LevelSetting level[north] = on level[south] = slowBlink level[east] = fastBlink echo repr(level)  # --> [on, fastBlink, slowBlink, off] echo low(level)   # --> north echo len(level)   # --> 4 echo high(level)  # --> west

可以用多个方括号来实现多维数组

在多维数组中，不同的纬度可以拥有不同的索引类型

来看一下下面的代码

type   Direction = enum     north, east, south, west   BlinkLights = enum     off, on, slowBlink, mediumBlink, fastBlink   LevelSetting = array[north..west, BlinkLights]   LightTower = array[1..10, LevelSetting] var   tower: LightTower tower[1][north] = slowBlink tower[1][east] = mediumBlink echo len(tower)     # --> 10 echo len(tower[1])  # --> 4 echo repr(tower)    # --> [[slowBlink, mediumBlink, ...more output.. # The following lines don't compile due to type mismatch errors #tower[north][east] = on #tower[0][1] = on

注意：len(tower)只返回第一维数组的长度

我们还可以通过下面的方式定义多维数组，（可读性更好一些）

type   LightTower = array[1..10, array[north..west, BlinkLights]]

还有一种简单的定义数组的方法，来看看下面的代码

type   IntArray = array[0..5, int] # an array that is indexed with 0..5   QuickArray = array[6, int]  # an array that is indexed with 0..5 var   x: IntArray   y: QuickArray x = [1, 2, 3, 4, 5, 6] y = x for i in low(x)..high(x):   echo(x[i], y[i])

从上面的代码中可以看出，定义数组的时候，不必每次都要指定数组的最小下标

seq 序列类型

seq类型类似于数组，但seq类型可以在运行期改变容器的长度；

也正是因为seq是长度可变的，所以nim在内存堆上为它分配空间和进行垃圾收集

seq类型的索引总是从0开始的，

len、low、high操作同样适用于seq类型

可以通过x[i]访问seq类型的x变量的第i个元素

seq类型可以通过@和方括号来构造，也可以使用内置的newSeq方法来构造

请看下面的代码

var   x: seq[int] # a sequence of integers x = @[1, 2, 3, 4, 5, 6] # the @ turns the array into a sequence

如果你没有为一个seq类型的变量赋值，那么它的默认值将为nil

在很多应用在seq变量的操作中，操作nil的话会抛出异常

所以很多人都会为seq类型的变量设置空值：@[]

但是设置空值的话，会在内存堆上创建一个空序列

一定程度上有损性能

请你自行斟酌权衡吧

用for语句遍历一个序列的时候，for语句中可以存在一个或两个变量

如果是一个变量的时候，

这个变量将持有每次迭代过程中seq提供的值

如果是两个变量的时候，

第一个变量将保存索引的位置

第二个变量将保存seq提供的值

请看下面的代码：

for i in @[3, 4, 5]:   echo($i) # --> 3 # --> 4 # --> 5  for i, value in @[3, 4, 5]:   echo("index: ", $i, ", value:", $value) # --> index: 0, value:3 # --> index: 1, value:4 # --> index: 2, value:5