Scala 3为何未提供Identity Conversion（恒等转换）？

Scala 3的Conversion类型不提供默认的恒等转换实例，并非设计缺陷，而是遵循了隐式系统的核心设计原则，具体依据如下：

1. 避免隐式解析的歧义与复杂度 #

Scala 2的隐式def允许编译器在某些场景下自动推断恒等转换，这会导致隐式搜索路径变得复杂，甚至出现歧义。比如当存在多个潜在的转换规则时，恒等转换的存在会让编译器难以判断开发者的真实意图。

Scala 3通过刻意不提供默认恒等Conversion，缩小了隐式搜索的范围，让转换逻辑的触发更显式，降低了编译器的解析负担，同时也减少了开发者遇到隐式歧义问题的概率。

2. 明确"转换"的语义边界 #

Conversion的设计目标是表示不同类型之间的主动转换逻辑，而恒等转换（A => A）本质上不属于"转换"范畴，只是同一类型的直接复用。

去掉默认恒等转换后，Conversion的语义更清晰：只有当开发者明确声明了类型转换规则时，才会触发转换行为。比如你示例中的mayConvert函数，其语义会被严格限定为"执行类型转换"，而不是模糊的"可能转换也可能直接传递值"。

3. 遵循Scala 3隐式系统的显式性原则 #

Scala 3的given/using系统相比Scala 2的隐式def，核心改进之一就是提升隐式逻辑的可控性和显式性。默认不提供恒等Conversion，正是这一原则的体现：开发者需要主动声明所有需要的转换规则，包括恒等转换（如果确实需要）。

如果你的场景确实需要恒等转换，只需显式定义即可：

given [T]: Conversion[T, T] = identity

这样既满足了需求，又让代码的转换逻辑完全可控，避免了Scala 2中隐式过度灵活带来的调试难题。

内容的提问来源于stack exchange，提问作者steinybot