Scala 3中如何为泛型类型定义given隐式转换？

你的需求完全可行，原Scala 2的带类型参数隐式方法可以完美迁移到Scala 3的Conversion给定实例。先看正确写法：

given [In <: Product]: Conversion[DecisionDmn[In, _], DmnTesterObject[In]] with
  def apply(decisionDmn: DecisionDmn[In, _]): DmnTesterObject[In] =
    DmnTesterObject(decisionDmn, defaultDmnPath(decisionDmn.decisionDefinitionKey))

错误写法分析 #

• 第一种写法用通配符_ <: Product定义Conversion的类型参数，会导致转换的类型信息被擦除，调用点期望的具体In类型和转换实例的通配符类型不匹配，因此运行时抛出NoSuchMethodError——JVM找不到对应具体类型的转换方法。
• 第二种写法给apply单独加了类型参数，但外层Conversion的类型参数还是通配符，两者的类型约束不统一，编译器无法推断出正确的类型绑定，所以编译失败。

正确写法的逻辑 #

原Scala 2的隐式方法是针对每个满足In <: Product的具体类型In，生成一个对应的隐式转换。Scala 3中需要用带类型参数的given来对应这个逻辑：把类型参数In <: Product加到given上，让Conversion的源类型DecisionDmn[In, _]和目标类型DmnTesterObject[In]共享同一个In，这样编译器会为每个具体的In生成正确的转换实例，和原代码的行为完全一致。

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