Scala 3中的弱一致性规范变更详解-优快云博客

本文链接：https://blog.youkuaiyun.com/gitblog_00788/article/details/148487959

Scala 3中的弱一致性规范变更详解

scala3 The Scala 3 compiler, also known as Dotty. 项目地址: https://gitcode.com/gh_mirrors/sc/scala3

弱一致性概念的移除背景

在Scala 3中，为了简化底层类型理论，设计团队决定完全移除Scala 2中的"弱一致性"(weak conformance)概念。这一变更使得类型系统更加清晰和一致，同时通过引入新的常量表达式类型推断规则来保持原有的便利性。

新规则的核心机制

新规则主要针对以下几种场景中的表达式列表：

可变参数(vararg)的元素
if-then-else或match表达式的分支
try表达式的body和catch结果

当这些表达式满足以下条件时，会触发特殊处理：

所有表达式都是基本数值类型
表达式类型不完全相同

处理过程分为三个步骤：

将表达式分为两组：Int常量组和其他表达式组
检查其他表达式组是否具有相同的数值类型T(可以是Byte、Short、Char、Int、Long、Float、Double)
如果所有Int常量都能无损转换为T，则执行转换；否则保持原样

精度损失判定标准

转换过程中会严格检查精度损失，具体判定标准如下：

Int转Float：当c.toFloat.toInt != c时认为有精度损失
Int转Byte：当c.toByte.toInt != c时认为有精度损失
Int转Short：当c.toShort.toInt != c时认为有精度损失

实际应用示例解析

让我们通过具体例子来理解这一规则的实际应用：

// 示例1：inline val被视为常量
inline val b = 33
Array(b, 33, 5.5)      // 推断为Array[Double]

// 示例2：非常量表达式不适用特殊规则
def f(): Int = b + 1
Array(f(), 33, 5.5)    // 推断为Array[AnyVal]

// 示例3：Int和Long统一为Long
Array(5, 11L)          // 推断为Array[Long]

// 示例4：多种类型无法统一
Array(5, 11L, 5.5)     // 推断为Array[AnyVal]

// 示例5：Int可以安全转为Float
Array(1.0f, 2)         // 推断为Array[Float]

// 示例6：大整数转Float会有精度损失
Array(1.0f, 1234567890)// 推断为Array[AnyVal]

// 示例7：Int可以安全转为Char
Array(b, 33, 'a')      // 推断为Array[Char]

// 示例8：Int可以安全转为Byte
Array(5.toByte, 11)    // 推断为Array[Byte]