在 Scala 3 中用类型参数区分联合类型

如何解决在 Scala 3 中用类型参数区分联合类型

在 Scala 3 中，给定这样的类型别名：

type Test[A] = A | Option[A]

val first: Test[String] = "gandalf"
val second: Test[String] = None
val third: Test[String] = Some("sam")

如何区分我遇到的两种情况（A 或 Option[A]）中的哪一种？

在尝试编写代码时，我认为主要问题在于编译器和类型，包括 Either[String,B],matches A`。我什至不知道我的问题是否有惯用的解决方案。

这是我最好的尝试，其他任何一个都失败了：

def get[A](input: Test[A]): A =
  input match
    case Some(value) => value.asInstanceOf[A]
    case None        => throw new RuntimeException("Error!")
    case _           => input.asInstanceOf[A]

get(first) // "gandalf"
get(second) // Exception!!!
get(third) // sam"

如您所见，value 未被识别为与类型参数 A 的类型相同，并且在运行时无法真正检查底部的 A 情况（尝试case a: A => 给出了一个编译错误）所以我通过排除其他两个来捕获它。这看起来不是最佳解决方案。