区间类型#

区间类型用于表示拥有固定步长的序列，区间类型是一个泛型，使用 Range<T> 表示

当 T 被实例化不同的类型时(要求此类型必须支持关系操作符，并且可以和 Int64 类型的值做加法)，会得到不同的区间类型，如最常用的 Range<Int64> 用于表示整数区间

每个区间类型的实例都会包含 start、end 和 step 三个值

其中，start 和 end 分别表示序列的起始值和终止值，step 表示序列中前后两个元素之间的差值(即步长);start 和 end 的类型相同(即 T 被实例化的类型)，step 类型是 Int64，并且它的值不能等于 0

下面的例子给出了区间类型的实例化方式(关于区间类型定义和其中的属性，详见《仓颉编程语言库 API》):

1
// Range<T>(start: T, end: T, step: Int64, hasStart: Bool, hasEnd: Bool, isClosed: Bool)
2
let r1 = Range<Int64>(0, 10, 1, true, true, true)         // r1 包含 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
3
let r2 = Range<Int64>(0, 10, 1, true, true, false)        // r2 包含 0, 1, 2, 3, 4, 5, 6, 7, 8, 9
4
let r3 = Range<Int64>(10, 0, -2, true, true, false)       // r3 包含 10, 8, 6, 4, 2

区间Range, 是一个有限的每个元素之间固定步长的序列, 比如: 1, 2, 3, 4, 5, 6, 7, 8, 元素之家的步长是1

实例化时, 构造函数传入start(表示起始值)、end(表示终止值)和step(表示从起始值到终止值每个元素的步长)

步长可以是正数和负数, 且start和end的大小要符合步长会发生的变化趋势, 但禁止是0

如果Range<Int64>(0, 10, 2, true, true, true), 则 start为0, end为10, 步长为2

最终得到的区间序列, 值为: 0, 2, 4, 6, 8, 10

Range的构造函数还存在另外三个参数: hasStart、hasEnd和isClosed

isClosed表示是否右闭区间, 即是否包含终止值本身

其实文档中的例子就已经很好的说明了

而hasStart和hasEnd大概率是用在数组索引上的Range才有用的

关于Range用在数组索引中, 请参考 访问Array成员

Unit类型#

对于那些只关心副作用而不关心值的表达式，它们的类型是 Unit

例如，print 函数、赋值表达式、复合赋值表达式、自增和自减表达式、循环表达式，它们的类型都是 Unit

Unit 类型只有一个值，也是它的字面量: ()

除了赋值、判等和判不等外，Unit 类型不支持其他操作

仓颉中的Unit可以类比C/C++中的void类型, 表示空, 字面量也只有一个()

Nothing类型#

Nothing 是一种特殊的类型，它不包含任何值，并且 Nothing 类型是所有类型的子类型(这当中也包括Unit类型)

break、continue、return 和 throw 表达式的类型是 Nothing，程序执行到这些表达式时，它们之后的代码将不会被执行

return 只能在函数体中使用，break、continue 只能在循环体中使用，参考如下示例:

1
while (true) {
2
    func f() {
3
        break                         // Error, break 语句必须直接位于循环内部
4
    }
5
    let g = { =>
6
        continue                      // Error, continue 语句必须直接位于循环内部
7
    }
8
}

由于函数的形参和其默认值不属于该函数的函数体，所以下面例子中的 return 表达式缺少包围它的函数体——它既不属于外层函数 f(因为内层函数定义 g 已经开始)，也不在内层函数 g 的函数体中(该用例相关内容，请参考嵌套函数):

1
func f() {
2
    func g(x!: Int64 = return) {      // Error, return 必须在函数体中使用
3
        0
4
    }
5
    1
6
}

注意:

目前编译器还不允许在使用类型的地方显式地使用 Nothing 类型

Nothing表示什么都不是, 它是所有类型的子类型

return、break、continue和throw表达式, 就是Nothing类型的, 它们之后的代码不会被执行

Nothing类型目前不允许被显式使用