scala - Scala 是否有等价于 F#'s "类型的“？

Question

F# 中的类型声明示例:

type ActiveCartData = { UnpaidItems: string list }
type PaidCartData = { PaidItems: string list; Payment: float }

type ShoppingCart = 
    | EmptyCart  // no data
    | ActiveCart of ActiveCartData
    | PaidCart of PaidCartData

我们如何使用 trait 和 case class 和/或 case object 在 Scala 中做类似的事情？

开始:

trait ShoppingCart
case object EmptyCart extends ShoppingCart
case object ActiveCart extends ShoppingCart
case object PaidCart extends ShoppingCart

但是如何与数据持有者类型建立关系呢？

Answer 1

如果我没理解错的话，您正在寻找 案例类 而不是 案例对象。他们可以包装数据:

sealed trait ShoppingCart
case object EmptyCart extends ShoppingCart
case class ActiveCart(unpaidItems: Seq[String]) extends ShoppingCart
case class PaidCart(paidItems: Seq[String], payment: Float) extends ShoppingCart

或者(如果你想保留这些 holder 数据类型，我可能不会这样做，除非它们非常复杂)

sealed trait ShoppingCart
case object EmptyCart extends ShoppingCart
case class ActiveCart(unpaidItems: ActiveCartData) extends ShoppingCart
case class PaidCart(paidItems: PaidCartData) extends ShoppingCart