仓颉编程语言中的泛型探究【泛型概述、泛型函数、泛型接口】_仓颉中的where是干什么用的

探索仓颉编程语言中的泛型

什么是泛型？

在编程中，泛型（Generics）是指参数化类型。简单来说，参数化类型就是在声明时类型未知，需要在使用时指定的类型。这种机制使得我们可以编写更通用和可复用的代码。在仓颉编程语言中，类型声明与函数声明都可以是泛型的，常见的例子包括 Array<T> 和 Set<T> 等容器类型。

仓颉中的泛型类型声明

在仓颉中，class、struct 与 enum 都可以声明类型形参，即它们可以是泛型的。以下是一些常用术语的定义：

• 类型形参：在声明时未知，需要在使用时指定的类型。
• 类型变元：在声明类型形参后，引用这些形参的标识符。
• 类型实参：在使用泛型类型或函数时，实际指定的类型。
• 类型构造器：需要类型实参的类型。

示例代码

class List<T> {
    var elem: Option<T> = None
    var tail: Option<List<T>> = None
}

func sumInt(a: List<Int64>) { }
1
2
3
4
5
6

在上述代码中，Lis