Scala 3多态扩展方法与自定义字面量类型兼容问题

核心问题 #

你遇到的是Scala 3类型推断在自定义多态扩展方法与字面量联合类型配合时的局限性：编译器没有正确保留MyValue这个细化的字面量联合类型，反而将扩展方法的类型参数T推断成了更宽泛的String，导致toOptionCustom返回Option[String]，与hello要求的MyValue => String签名不匹配。

为什么demo1、demo2能正常工作 #

• demo1（标准库toOption）：Scala标准库的Either.toOption是经过特殊优化的扩展方法，编译器对其类型推断有专门处理，能精准识别T为MyValue而非宽泛的String。
• demo2（直接调用fold）：直接对Either[String, MyValue]实例调用fold，编译器能清晰推导返回值为Option[MyValue]，自然能匹配hello的参数类型。

修复方案 #

方案1：使用inline扩展方法

通过inline强制编译器在编译期展开代码，保留精确的类型信息：

object Demo2:
  inline extension [T](either: Either[String, T])
    inline def toOptionCustom: Option[T] = either.fold(_ => None, Some(_))

  // 其余代码不变...

  def demo3: Option[String] =
    toMyValue("value1").toOptionCustom.map(hello) // 现在可正常编译

方案2：显式指定类型参数

调用扩展方法时手动指定T的类型，跳过编译器的自动推断：

def demo3: Option[String] =
  toMyValue("value1").toOptionCustom[MyValue].map(hello)

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