如何规范联合类型（T | Option[T]）？

Question

我有以下case class：

case class Example[T](
    obj: Option[T] | T = None,
)

这让我可以像 Example(myObject) 而不是 Example(Some(myObject)) 那样构建它。

要使用 obj，我需要将其标准化为 Option[T]：

  lazy val maybeIn = obj match
    case o: Option[T] => o
    case o: T => Some(o)

the type test for Option[T] cannot be checked at runtime

我尝试使用 TypeTest，但也收到警告 - 或者我发现的解决方案看起来非常复杂 - 请参阅 https://stackoverflow.com/a/69608091/2750966

有没有更好的方法在 Scala 3 中实现这种模式？

Answer 1

我不了解 Scala3。但你可以简单地这样做：

case class Example[T](v: Option[T] = None)

object Example {
 def apply[T](t: T): Example[T] = Example(Some(t))
}

Answer 2

我们有一个specialized Option-like type for this purpose: OptArg（在 Scala 2 中，但应该很容易移植到 3）

import com.avsystem.commons._

def gimmeLotsOfParams(
  intParam: OptArg[Int] = OptArg.Empty,
  strParam: OptArg[String] = OptArg.Empty
): Unit = ???

gimmeLotsOfParams(42)
gimmeLotsOfParams(strParam = "foo")

它依赖于隐式转换，因此您必须小心谨慎，即不要将其用作Option 的替代品。

OptArg 的实现非常简单，如果您不想要外部依赖项，那么您可以将其复制到您的项目或某种“公共”库中。

Answer 3

编辑：以下答案不正确。从 Scala 3.1 开始，流分析只能检查可空性。更多信息请访问Scala book。

---

我认为已经给出的答案可能更适合您提出的用例（公开 API 可以采用一个简单的值并将其规范化为 Option）。

但是，标题中的问题仍然很有趣，我认为解决它是有意义的。

您观察到的是类型参数在运行时被擦除的结果，即它们仅在编译期间存在，而匹配发生在运行时，一旦它们被擦除 .

但是，Scala 编译器能够对联合类型执行流分析。直觉上我会说可能有一种方法可以使它在模式匹配中工作（就像你所做的那样），但你可以使用if 和isInstanceOf 确保它工作（不那么干净，我同意）：

case class Example[T](
    obj: Option[T] | T = None
) {
  lazy val maybeIn =
    if (obj.isInstanceOf[Option[_]]) {
      obj
    } else {
      Some(obj)
    }
}

您可以使用此代码here on Scastie。

Here 是 2019 年在编译器中添加流分析的公告。