Scala:类似于Option(Some,None),但有三种状态:一些、无、未知

xzlaal3s  于 2022-11-29  发布在  Scala
关注(0)|答案(7)|浏览(176)

我需要返回值,当有人询问值时,告诉他们以下三件事之一:
1.这里是值
1.没有值
1.我们没有关于此值的信息(未知)
情况2与情况3有细微的不同。示例:

val radio = car.radioType

1.我们知道它的价值:返回无线电类型,说“先锋”

  1. B.没有值:返回无
  2. c.我们缺少关于这辆车的数据,我们不知道它是否有收音机
    我想我可能会扩展scala的None并创建一个Unknown,但这似乎不可能。
    建议?
    谢谢!

更新日期:

理想情况下,我希望能够编写这样的代码:

car.radioType match { 
   case Unknown => 
   case None => 
   case Some(radioType : RadioType) => 
}
0wi1tuuw

0wi1tuuw1#

下面是一个基本的实现。您可能希望查看Option类的源代码以了解一些附加功能:

package example

object App extends Application {
  val x: TriOption[String] = TriUnknown

  x match {
    case TriSome(s) => println("found: " + s)
    case TriNone => println("none")
    case TriUnknown => println("unknown")
  }
}

sealed abstract class TriOption[+A]
final case class TriSome[+A](x: A) extends TriOption[A]
final case object TriNone extends TriOption[Nothing]
final case object TriUnknown extends TriOption[Nothing]
r7knjye2

r7knjye22#

不要告诉任何人这是我的建议,但是你可以总是使用null来表示Unknown,而不是编写一个新的类。

car.radioType match { 
   case null => 
   case None => 
   case Some(radioType : RadioType) => 
}
iqih9akk

iqih9akk3#

你可以从电梯里拿些东西:Box。它有三种状态:Full、Failure和Empty。此外,Empty和Failure都继承自EmptyBox。

o2gm4chl

o2gm4chl4#

可以使用scala.Either。使用Left表示例外值,使用Right表示期望值,在本例中,期望值可以是Option:

scala> type Result = Either[String, Option[String]]
defined type alias Result

scala> val hasValue: Result = Right(Some("pioneer"))
hasValue: Result = Right(Some(pioneer))

scala> val noValue: Result = Right(None)
noValue: Result = Right(None)

scala> val unknownValue = Left("unknown")
unknownValue: Left[java.lang.String,Nothing] = Left(unknown)
1rhkuytd

1rhkuytd5#

你可以用这三种可能性来创建你自己的。或者像你的一辆车一样。radioType类型你可以有未知的,然后在你的case上使用guards来处理它。如果你自己滚动,你应该也包括Product特性。liftweb有Box类型,这是一个选项close,允许full、empty和erorr发生。

v8wbuo2f

v8wbuo2f6#

我做了一些类似的分类3行类型在给定的文件中,一个给定的行可能,例如,Float为标题行,Long为中间行(行),或String为尾部行.也isHeaderisRowisTrailer可以用来知道哪一个是.希望有帮助:

sealed abstract class HRT[+H, +R, +T] {
  val isHeader: Boolean
  val isRow: Boolean
  val isTrailer: Boolean
}

final case class Header[+H, +R, +T](h: H) extends HRT[H, R, T] {
  override val isHeader: Boolean = true
  override val isRow: Boolean = false
  override val isTrailer: Boolean = false
}

final case class Row[+H, +R, +T](r: R) extends HRT[H, R, T] {
  override val isHeader: Boolean = false
  override val isRow: Boolean = true
  override val isTrailer: Boolean = false
}

final case class Trailer[+H, +R, +T](t: T) extends HRT[H, R, T] {
  override val isHeader: Boolean = false
  override val isRow: Boolean = false
  override val isTrailer: Boolean = true
}

object Demo {
  def getEntries(): Seq[HRT[Float, Long, String]] =
    List(
      Header(3.14f),
      Row(42),
      Trailer("good bye")
    )

  val entries = getEntries()

  entries.foreach {
    case Header(f) => printf("header: %f\n", f)
    case Row(l) => printf("row: %d\n", l)
    case Trailer(s) => printf("trailer: %s\n", s)
  }
}
iugsix8n

iugsix8n7#

在Scala 3中,您可以像这样使用联合类型:

object Unknown
object Empty
type MaybeRadio = RadioType | Empty.type | Unknown.type

car.radioType match
  case Unknown => ???
  case Empty   => ???
  case radioType: RadioType => ???

请参阅https://docs.scala-lang.org/scala3/book/types-union.html

相关问题