当前位置：首页 > news >正文

跟我一起学“仓颉”编程语言-泛型类型

news 2026/6/8 19:31:37

一、泛型

泛型指的是参数化类型，就是一个定义时未知，但需要在使用时指定的类型，在仓颉中，泛型可以分为泛型函数和泛型类型。

注意：在定义泛型函数或泛型类型时，使用类型标识符来表示未知的类型，在使用泛型函数或泛型类型时，为类型标识符传递具体的类型。

二、泛型类型

泛型函数：定义了一个或多个类型形参的函数。

package Study func getLastValue<T> (values: Array<T>) { return values[values.size - 1] } main() { println(getLastValue([1, 2, 3, 4, 5, 6])) }

泛型类

package Study class AreaCode<K, V> { var area: K var code: V init(area: K, code: V) { this.area = area this.code = code } } main() { let cn = AreaCode<String, Int64>("中国", 86) println("地区: ${cn.area}, 区号: ${cn.code}") let els = AreaCode<String, Int64>("俄罗斯", 7) println("地区: ${els.area}, 区号: ${els.code}") }

注意：如果父类是泛型类，子类是非泛型类，在定义子类的时候，必须把父类的每一个泛型变成具体类型。

package Study open class AreaCode<K, V> { var area: K var code: V init(area: K, code: V) { this.area = area this.code = code } } class InternalAreaCode <: AreaCode<String, String> { init(area: String, code: String) { super(area, code) } } main() { let hk = InternalAreaCode("香港", "00852") println("城市: ${hk.area}, 区号: ${hk.code}") let shanghai = InternalAreaCode("上海", "021") println("城市: ${shanghai.area}, 区号: ${shanghai.code}") }

泛型结构体

package Study struct AreaCode<K, V> { var area: K var code: V init(area: K, code: V) { this.area = area this.code = code } } main() { let hk = AreaCode<String, String>("香港", "00852") println("城市: ${hk.area}, 区号: ${hk.code}") let shanghai = AreaCode<String, String>("上海", "021") println("城市: ${shanghai.area}, 区号: ${shanghai.code}") }

泛型接口

package Study interface USB<T> { func use(value: T): Unit } class Machine <: USB<String> { public override func use(value: String) { println("${value}使用中") } } main() { Machine().use("打印机") }

泛型枚举

package Study enum MyOption<T> { Yes(T) | No public func getOrThrow(): T { match (this) { case Yes(value) => value case No => throw NoneValueException("取值失败") // 抛出异常 } } } main() { let num = MyOption<Int64>.Yes(114514) println(num.getOrThrow()) let none = MyOption<Int64>.No println(none.getOrThrow()) }