文档编程语言【免费下载链接】cangjie_docs仓颉编程语言开发者文档。项目地址https://gitcode.com/Cangjie/cangjie_docs点击查看免费下载仓颉Cangjie编程语言是强类型语言坚持“类型转换必须显式进行”的设计原则因此提供了is运行时类型检查、as安全的Option返回式类型转换以及基于类型模式的子类型收窄三种核心手段。本文以开发指南 typecast.md 为主体结合源码文档与模式匹配、Option类型、操作符优先级等关联章节系统讲解在类继承、接口实现等场景下如何安全地完成类型判断与转换读完即可在真实代码中正确选用这三种方式。为什么仓颉不支持隐式类型转换在仓颉中不同类型之间不存在隐式转换。这一点与许多传统语言不同例如 C 语言允许整数自动提升为浮点数而仓颉要求所有跨类型转换都必须由开发者显式写出。一个容易混淆的例外是子类型天然就是父类型因此把子类型值赋给父类型变量、或者将子类型实参传给父类型形参属于子类型多态的正常使用并不算“隐式类型转换”。相关子类型关系的完整来源可参见子类型关系其中包括继承 class 带来的子类型关系class Derived : Base即Derived是Base的子类型实现接口带来的子类型关系实现接口的类型即接口的子类型元组类型、函数类型的子类型关系永远成立的子类型关系T : T、Nothing : T、T : Any、任意 class 类型C : Object传递性带来的子类型关系泛型类型的子类型关系用户自定义泛型类型在类型参数处是不型变的详见泛型类型的子类型关系。既然子类型到父类型的方向“无需转换”那么类型转换真正要解决的核心问题就变成了反向的问题如何在运行时把一个静态类型为父类型的值安全地“收窄”为子类型或者判断某个值的真实运行时类型。这正是is、as与类型模式的用武之地。注意数值类型整数与浮点之间的转换、Rune与整数类型之间的转换属于另一类显式转换机制使用T(e)构造式语法完成不在本文讨论范围内。相关内容请参见整数类型中的数值类型之间的转换与Rune到UInt32和整数类型到Rune的转换两节。is操作符判断表达式的运行时类型is操作符用于类型检查判断某个表达式的运行时类型是否是指定的类型或其子类型。具体语义为对于表达式e is Te可以是任意表达式T可以是任何类型当e的运行时类型是T的子类型时e is T的值为true否则值为false。is是一个二元中缀操作符其结果类型为Bool。从操作符优先级表见操作符可以确认is与as的优先级均为 9与关系操作符、、、同级高于/!低于区间操作符..、..。以下示例完整演示了is的典型用法open class Base { var name: String Alice } class Derived : Base { var age: UInt8 18 } main() { let a 1 is Int64 println(Is the type of 1 Int64? ${a}) let b 1 is String println(Is the type of 1 String? ${b}) let b1: Base Base() let b2: Base Derived() var x b1 is Base println(Is the type of b1 Base? ${x}) x b1 is Derived println(Is the type of b1 Derived? ${x}) x b2 is Base println(Is the type of b2 Base? ${x}) x b2 is Derived println(Is the type of b2 Derived? ${x}) }执行结果如下Is the type of 1 Int64? true Is the type of 1 String? false Is the type of b1 Base? true Is the type of b1 Derived? false Is the type of b2 Base? true Is the type of b2 Derived? true结果解读字面量1的静态与运行时类型都是Int64所以1 is Int64为true1 is String为falseb1实际构造的是Base()虽然其静态类型是Base但运行时类型就是Base因此b1 is Base为true而b1 is Derived为falseb2的静态类型虽是Base但实际构造的是Derived()其运行时类型是Base的子类型所以b2 is Base与b2 is Derived均为true。这一结果清楚地说明is依据的是运行时类型runtime type而非静态声明类型。这是它能在多态场景下完成精确类型判断的根本原因。as操作符不会崩溃的 Option 返回式类型转换as操作符用于将表达式的类型转换为指定类型。因为类型转换有可能失败所以as操作不直接返回目标类型的值而是返回一个Option类型。具体语义为对于表达式e as Te可以是任意表达式T可以是任何类型当e的运行时类型是T的子类型时e as T的值为OptionT.Some(e)否则为OptionT.None。open class Base { var name: String Alice } class Derived : Base { var age: UInt8 18 } let a 1 as Int64 // a OptionInt64.Some(1) let b 1 as String // b OptionString.None let b1: Base Base() let b2: Base Derived() let d: Derived Derived() let r1 b1 as Base // r1 OptionBase.Some(b1) let r2 b1 as Derived // r2 OptionDerived.None let r3 b2 as Base // r3 OptionBase.Some(b2) let r4 b2 as Derived // r4 OptionDerived.Some(b2) let r5 d as Base // r5 OptionBase.Some(d) let r6 d as Derived // r6 OptionDerived.Some(d)这里的关键点有两个转换方向灵活d as Base这类“子类型转父类型”同样通过as显式完成虽然由于子类型天然是父类型这个方向实际上总是成功说明as对两个方向都适用失败不抛异常1 as String、b1 as Derived这类不成立的转换并不会导致程序崩溃而是得到Option的None值转换的“成败”信息被完整保留在返回值里。Option类型是仓颉内置的泛型enum定义如下详见 Option 类型enum OptionT { | Some(T) | None }拿到as的结果后通常需要解构Option才能取出其中的值仓颉为此提供了多种方式详见使用 Option模式匹配match (r2) { case Some(v) ...; case None ... }coalescing 操作符??r2 ?? 默认值当为None时取右侧默认值且满足短路求值问号操作符?与.、()、[]、{}组合使用如e?.member实现 Option 链式访问getOrThrow函数r2.getOrThrow()为Some时返回值为None时抛出异常。类型模式与子类型转换id: T与 let pattern除了is与as类型模式也可以用于子类型转换而且是一种更直接、更贴合控制流的写法。类型模式的基本语义类型模式有两种形式详见类型模式_: Type嵌套通配符模式只做类型判断不发生变量绑定id: Type嵌套绑定模式匹配成功时把值转换为Type并绑定到id。对于表达式e和类型模式id: T当e的运行时类型是T的子类型时匹配成功e被转换为T类型后与id绑定否则匹配失败流程进入其他分支。与is的“只给布尔结论”、as的“返回Option”都不同类型模式匹配成功后直接得到对应子类型的绑定变量——这里的子类型转换就是根据运行时类型把父类型的值收窄为子类型。需要特别注意的是模式中绑定出的变量仅在匹配成功的分支或循环体内有效离开该分支/循环体后不可访问。类型模式的 Refutability类型模式是典型的refutable可失败模式待匹配值的运行时类型有可能不是目标类型匹配自然可能失败。在match表达式中使用类型模式时必须配合其他case分支如通配符_保证穷尽性。相关讨论可参见模式的 Refutability与 match 表达式。在if/while条件中使用 let pattern在if表达式和while表达式的条件中可以通过let pattern使用类型模式。let pattern 是语法糖构成为let pattern - expression其中-是模式匹配操作符expression求值后与pattern进行匹配详见涉及 “let pattern” 的“条件”示例。open class Base { var name: String Alice } class Derived : Base { var age: UInt8 18 } main() { let b1: Base Base() let b2: Base Derived() var b3: Base Derived() if (let d: Derived - b1) { println(The age of b1 is ${d.age}) } else { println(b1 is not Derived) } if (let d: Derived - b2) { println(The age of b2 is ${d.age}) } else { println(b2 is not Derived) } while (let d: Derived - b3) { println(The age of b3 is ${d.age}) b3 Base() } }执行结果b1 is not Derived The age of b2 is 18 The age of b3 is 18结果解读b1的运行时类型是Base不是Derived类型模式匹配失败进入else分支打印b1 is not Derivedb2的运行时类型是Derived匹配成功绑定变量d的类型被收窄为Derived因此可以直接访问d.ageb3起初也是Derivedwhile条件中的类型模式匹配成功进入循环体并打印d.age随后循环体内把b3重新赋值为Base()下一次条件求值时类型模式匹配失败循环终止。这直观地展示了let pattern 作为条件时会反复求值、每次都可能改变匹配结果的行为。注意事项let pattern 中表达式部分的运算符优先级不能低于..运算符。例如if (let Some(a) - fun() as OptionInt64) {}会因as优先级低于..而解析报错应写成if (let Some(a) - (fun() as OptionInt64)) {}多个 let pattern 之间用/||连接时由||连接的条件不能使用会绑定变量的 enum 模式。详细规则与错误示例参见表达式。三种类型转换手段的选型对比手段语法返回值适用场景ise is TBool仅判断只关心“是不是”如条件分支前的守卫判断ase as TOptionT需要拿到转换结果、且允许失败时优雅处理配合??、?、getOrThrow等解构类型模式id: T配合match或 let pattern匹配成功直接得到绑定变量希望在match、if、while中一步完成“判断 收窄 绑定”三者的共同基础是运行时类型子类型判断且都依赖仓颉“显式转换”的整体设计仓颉不给隐式转换留任何余地所有跨类型操作都必须在代码中明确表达这从根源上避免了隐式转换带来的歧义与隐患。组合实战一个完整的类型收窄处理流程结合上述三种手段可以写出一个典型的“父类型容器 运行时类型分派”场景open class Shape { public func area(): Float64 { 0.0 } } class Circle : Shape { public var radius: Float64 public init(radius: Float64) { this.radius radius } public func area(): Float64 { 3.14159 * radius * radius } } class Rect : Shape { public var w: Float64 public var h: Float64 public init(w: Float64, h: Float64) { this.w w this.h h } public func area(): Float64 { w * h } } func describe(s: Shape) { // 用 is 做类型守卫 if (s is Circle) { // 用 as 做安全转换None 分支不会走到前面已经 is 判断过 let c (s as Circle).getOrThrow() println(Circle with radius ${c.radius}) } else if (let r: Rect - s) { // 用类型模式一步完成判断与绑定 println(Rect ${r.w} x ${r.h}) } else { println(Unknown shape) } }该示例体现了三种手段的分工协作is先行守卫、as负责安全的 Option 化转换、类型模式在分支条件中完成收窄绑定。需要注意的是as返回的是Option实际工程中更推荐直接用??、?或模式匹配解构避免对已经过is判断的结果再次getOrThrow()而引入不必要的异常路径。小结仓颉不支持隐式类型转换子类型天然是父类型不属于隐式转换所有类型转换必须显式进行is依据运行时类型判断表达式是否为目标类型或其子类型返回Boolas将表达式转换为目标类型成功得OptionT.Some(e)失败得OptionT.None转换失败不抛异常类型模式id: T与 let pattern 组合可在match、if、while中一步完成类型判断、子类型收窄与变量绑定绑定变量仅在匹配成功的分支/循环体内有效数值类型之间的转换使用T(e)构造式语法与本文的is/as/类型模式是两套独立的机制按场景选用即可。掌握这三类显式转换手段即可在仓颉的多态编程中安全、精准地完成“父类型收窄为子类型”这一最常见也最容易出错的类型操作。赞分享文档编程语言【免费下载链接】cangjie_docs仓颉编程语言开发者文档。项目地址https://gitcode.com/Cangjie/cangjie_docs点击查看免费下载相关推荐仓颉编程语言字符类型Rune详解字面量、转义与类型转换实战仓颉编程语言字符类型Rune详解字面量、转义与类型转换实战 字符是文本处理的基本单元。在仓颉Cangjie编程语言中字符类型使用 Rune 表示能文档编程语言仓颉编程语言 Rune 字符类型完全指南字面量、转义、Unicode 表示与类型转换仓颉编程语言 Rune 字符类型完全指南字面量、转义、Unicode 表示与类型转换 本篇技术指南系统讲解仓颉编程语言Cangjie内置字符类型 Rune文档知识库教程OpenHarmonyReact Native UI Datepicker性能优化与最佳实践提升移动端日期选择体验的10个技巧React Native UI Datepicker性能优化与最佳实践提升移动端日期选择体验的10个技巧 React Native UI Datepicker上一篇暗黑破坏神2 宽屏高帧率实操D2DX 把 Glide 转成 DX11从 25 帧跑到 60 FPS下一篇WarcraftHelper 完整指南5分钟开启地图限制解除、宽屏适配与FPS解锁创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
文档编程语言【免费下载链接】cangjie_docs仓颉编程语言开发者文档。项目地址https://gitcode.com/Cangjie/cangjie_docs点击查看免费下载仓颉Cangjie编程语言是强类型语言坚持“类型转换必须显式进行”的设计原则因此提供了is运行时类型检查、as安全的Option返回式类型转换以及基于类型模式的子类型收窄三种核心手段。本文以开发指南 typecast.md 为主体结合源码文档与模式匹配、Option类型、操作符优先级等关联章节系统讲解在类继承、接口实现等场景下如何安全地完成类型判断与转换读完即可在真实代码中正确选用这三种方式。为什么仓颉不支持隐式类型转换在仓颉中不同类型之间不存在隐式转换。这一点与许多传统语言不同例如 C 语言允许整数自动提升为浮点数而仓颉要求所有跨类型转换都必须由开发者显式写出。一个容易混淆的例外是子类型天然就是父类型因此把子类型值赋给父类型变量、或者将子类型实参传给父类型形参属于子类型多态的正常使用并不算“隐式类型转换”。相关子类型关系的完整来源可参见子类型关系其中包括继承 class 带来的子类型关系class Derived : Base即Derived是Base的子类型实现接口带来的子类型关系实现接口的类型即接口的子类型元组类型、函数类型的子类型关系永远成立的子类型关系T : T、Nothing : T、T : Any、任意 class 类型C : Object传递性带来的子类型关系泛型类型的子类型关系用户自定义泛型类型在类型参数处是不型变的详见泛型类型的子类型关系。既然子类型到父类型的方向“无需转换”那么类型转换真正要解决的核心问题就变成了反向的问题如何在运行时把一个静态类型为父类型的值安全地“收窄”为子类型或者判断某个值的真实运行时类型。这正是is、as与类型模式的用武之地。注意数值类型整数与浮点之间的转换、Rune与整数类型之间的转换属于另一类显式转换机制使用T(e)构造式语法完成不在本文讨论范围内。相关内容请参见整数类型中的数值类型之间的转换与Rune到UInt32和整数类型到Rune的转换两节。is操作符判断表达式的运行时类型is操作符用于类型检查判断某个表达式的运行时类型是否是指定的类型或其子类型。具体语义为对于表达式e is Te可以是任意表达式T可以是任何类型当e的运行时类型是T的子类型时e is T的值为true否则值为false。is是一个二元中缀操作符其结果类型为Bool。从操作符优先级表见操作符可以确认is与as的优先级均为 9与关系操作符、、、同级高于/!低于区间操作符..、..。以下示例完整演示了is的典型用法open class Base { var name: String Alice } class Derived : Base { var age: UInt8 18 } main() { let a 1 is Int64 println(Is the type of 1 Int64? ${a}) let b 1 is String println(Is the type of 1 String? ${b}) let b1: Base Base() let b2: Base Derived() var x b1 is Base println(Is the type of b1 Base? ${x}) x b1 is Derived println(Is the type of b1 Derived? ${x}) x b2 is Base println(Is the type of b2 Base? ${x}) x b2 is Derived println(Is the type of b2 Derived? ${x}) }执行结果如下Is the type of 1 Int64? true Is the type of 1 String? false Is the type of b1 Base? true Is the type of b1 Derived? false Is the type of b2 Base? true Is the type of b2 Derived? true结果解读字面量1的静态与运行时类型都是Int64所以1 is Int64为true1 is String为falseb1实际构造的是Base()虽然其静态类型是Base但运行时类型就是Base因此b1 is Base为true而b1 is Derived为falseb2的静态类型虽是Base但实际构造的是Derived()其运行时类型是Base的子类型所以b2 is Base与b2 is Derived均为true。这一结果清楚地说明is依据的是运行时类型runtime type而非静态声明类型。这是它能在多态场景下完成精确类型判断的根本原因。as操作符不会崩溃的 Option 返回式类型转换as操作符用于将表达式的类型转换为指定类型。因为类型转换有可能失败所以as操作不直接返回目标类型的值而是返回一个Option类型。具体语义为对于表达式e as Te可以是任意表达式T可以是任何类型当e的运行时类型是T的子类型时e as T的值为OptionT.Some(e)否则为OptionT.None。open class Base { var name: String Alice } class Derived : Base { var age: UInt8 18 } let a 1 as Int64 // a OptionInt64.Some(1) let b 1 as String // b OptionString.None let b1: Base Base() let b2: Base Derived() let d: Derived Derived() let r1 b1 as Base // r1 OptionBase.Some(b1) let r2 b1 as Derived // r2 OptionDerived.None let r3 b2 as Base // r3 OptionBase.Some(b2) let r4 b2 as Derived // r4 OptionDerived.Some(b2) let r5 d as Base // r5 OptionBase.Some(d) let r6 d as Derived // r6 OptionDerived.Some(d)这里的关键点有两个转换方向灵活d as Base这类“子类型转父类型”同样通过as显式完成虽然由于子类型天然是父类型这个方向实际上总是成功说明as对两个方向都适用失败不抛异常1 as String、b1 as Derived这类不成立的转换并不会导致程序崩溃而是得到Option的None值转换的“成败”信息被完整保留在返回值里。Option类型是仓颉内置的泛型enum定义如下详见 Option 类型enum OptionT { | Some(T) | None }拿到as的结果后通常需要解构Option才能取出其中的值仓颉为此提供了多种方式详见使用 Option模式匹配match (r2) { case Some(v) ...; case None ... }coalescing 操作符??r2 ?? 默认值当为None时取右侧默认值且满足短路求值问号操作符?与.、()、[]、{}组合使用如e?.member实现 Option 链式访问getOrThrow函数r2.getOrThrow()为Some时返回值为None时抛出异常。类型模式与子类型转换id: T与 let pattern除了is与as类型模式也可以用于子类型转换而且是一种更直接、更贴合控制流的写法。类型模式的基本语义类型模式有两种形式详见类型模式_: Type嵌套通配符模式只做类型判断不发生变量绑定id: Type嵌套绑定模式匹配成功时把值转换为Type并绑定到id。对于表达式e和类型模式id: T当e的运行时类型是T的子类型时匹配成功e被转换为T类型后与id绑定否则匹配失败流程进入其他分支。与is的“只给布尔结论”、as的“返回Option”都不同类型模式匹配成功后直接得到对应子类型的绑定变量——这里的子类型转换就是根据运行时类型把父类型的值收窄为子类型。需要特别注意的是模式中绑定出的变量仅在匹配成功的分支或循环体内有效离开该分支/循环体后不可访问。类型模式的 Refutability类型模式是典型的refutable可失败模式待匹配值的运行时类型有可能不是目标类型匹配自然可能失败。在match表达式中使用类型模式时必须配合其他case分支如通配符_保证穷尽性。相关讨论可参见模式的 Refutability与 match 表达式。在if/while条件中使用 let pattern在if表达式和while表达式的条件中可以通过let pattern使用类型模式。let pattern 是语法糖构成为let pattern - expression其中-是模式匹配操作符expression求值后与pattern进行匹配详见涉及 “let pattern” 的“条件”示例。open class Base { var name: String Alice } class Derived : Base { var age: UInt8 18 } main() { let b1: Base Base() let b2: Base Derived() var b3: Base Derived() if (let d: Derived - b1) { println(The age of b1 is ${d.age}) } else { println(b1 is not Derived) } if (let d: Derived - b2) { println(The age of b2 is ${d.age}) } else { println(b2 is not Derived) } while (let d: Derived - b3) { println(The age of b3 is ${d.age}) b3 Base() } }执行结果b1 is not Derived The age of b2 is 18 The age of b3 is 18结果解读b1的运行时类型是Base不是Derived类型模式匹配失败进入else分支打印b1 is not Derivedb2的运行时类型是Derived匹配成功绑定变量d的类型被收窄为Derived因此可以直接访问d.ageb3起初也是Derivedwhile条件中的类型模式匹配成功进入循环体并打印d.age随后循环体内把b3重新赋值为Base()下一次条件求值时类型模式匹配失败循环终止。这直观地展示了let pattern 作为条件时会反复求值、每次都可能改变匹配结果的行为。注意事项let pattern 中表达式部分的运算符优先级不能低于..运算符。例如if (let Some(a) - fun() as OptionInt64) {}会因as优先级低于..而解析报错应写成if (let Some(a) - (fun() as OptionInt64)) {}多个 let pattern 之间用/||连接时由||连接的条件不能使用会绑定变量的 enum 模式。详细规则与错误示例参见表达式。三种类型转换手段的选型对比手段语法返回值适用场景ise is TBool仅判断只关心“是不是”如条件分支前的守卫判断ase as TOptionT需要拿到转换结果、且允许失败时优雅处理配合??、?、getOrThrow等解构类型模式id: T配合match或 let pattern匹配成功直接得到绑定变量希望在match、if、while中一步完成“判断 收窄 绑定”三者的共同基础是运行时类型子类型判断且都依赖仓颉“显式转换”的整体设计仓颉不给隐式转换留任何余地所有跨类型操作都必须在代码中明确表达这从根源上避免了隐式转换带来的歧义与隐患。组合实战一个完整的类型收窄处理流程结合上述三种手段可以写出一个典型的“父类型容器 运行时类型分派”场景open class Shape { public func area(): Float64 { 0.0 } } class Circle : Shape { public var radius: Float64 public init(radius: Float64) { this.radius radius } public func area(): Float64 { 3.14159 * radius * radius } } class Rect : Shape { public var w: Float64 public var h: Float64 public init(w: Float64, h: Float64) { this.w w this.h h } public func area(): Float64 { w * h } } func describe(s: Shape) { // 用 is 做类型守卫 if (s is Circle) { // 用 as 做安全转换None 分支不会走到前面已经 is 判断过 let c (s as Circle).getOrThrow() println(Circle with radius ${c.radius}) } else if (let r: Rect - s) { // 用类型模式一步完成判断与绑定 println(Rect ${r.w} x ${r.h}) } else { println(Unknown shape) } }该示例体现了三种手段的分工协作is先行守卫、as负责安全的 Option 化转换、类型模式在分支条件中完成收窄绑定。需要注意的是as返回的是Option实际工程中更推荐直接用??、?或模式匹配解构避免对已经过is判断的结果再次getOrThrow()而引入不必要的异常路径。小结仓颉不支持隐式类型转换子类型天然是父类型不属于隐式转换所有类型转换必须显式进行is依据运行时类型判断表达式是否为目标类型或其子类型返回Boolas将表达式转换为目标类型成功得OptionT.Some(e)失败得OptionT.None转换失败不抛异常类型模式id: T与 let pattern 组合可在match、if、while中一步完成类型判断、子类型收窄与变量绑定绑定变量仅在匹配成功的分支/循环体内有效数值类型之间的转换使用T(e)构造式语法与本文的is/as/类型模式是两套独立的机制按场景选用即可。掌握这三类显式转换手段即可在仓颉的多态编程中安全、精准地完成“父类型收窄为子类型”这一最常见也最容易出错的类型操作。赞分享文档编程语言【免费下载链接】cangjie_docs仓颉编程语言开发者文档。项目地址https://gitcode.com/Cangjie/cangjie_docs点击查看免费下载相关推荐仓颉编程语言字符类型Rune详解字面量、转义与类型转换实战仓颉编程语言字符类型Rune详解字面量、转义与类型转换实战 字符是文本处理的基本单元。在仓颉Cangjie编程语言中字符类型使用 Rune 表示能文档编程语言仓颉编程语言 Rune 字符类型完全指南字面量、转义、Unicode 表示与类型转换仓颉编程语言 Rune 字符类型完全指南字面量、转义、Unicode 表示与类型转换 本篇技术指南系统讲解仓颉编程语言Cangjie内置字符类型 Rune文档知识库教程OpenHarmonyReact Native UI Datepicker性能优化与最佳实践提升移动端日期选择体验的10个技巧React Native UI Datepicker性能优化与最佳实践提升移动端日期选择体验的10个技巧 React Native UI Datepicker上一篇暗黑破坏神2 宽屏高帧率实操D2DX 把 Glide 转成 DX11从 25 帧跑到 60 FPS下一篇WarcraftHelper 完整指南5分钟开启地图限制解除、宽屏适配与FPS解锁创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
