Question

我需要一个类型联盟来强制限制类型，所以根据here中的答案，我将我的联盟定义为：

sealed trait Value[T]
object Value{
  implicit object NumberWitness extends Value[Int]
  implicit object StringWitness extends Value[String]
}

现在，我如何创建由此类型联合参数化的列表或类？有可能吗？我尝试在repl中使用语法，但没有任何运气：

scala> import Value._
import Value._

scala> def list[V: Value] = List("hello", 1)
list: [V](implicit evidence$1: Value[V])List[Any]

scala> list
<console>:18: error: ambiguous implicit values:
 both object NumberWitness in object Value of type Value.NumberWitness.type
 and object StringWitness in object Value of type Value.StringWitness.type
 match expected type Value[V]
       list
       ^

或者是否可以使用高级FP库（如scalaz或cat）来实现这一目标？

Answer 1

这称为类型类，而不是类型union。它们旨在允许您编写使用Int或String 的方法，例如

def listOfValues[V: Value](x: V) = List(x)
listOfValues(1) // works
listOfValues("") // works
listOfValues(0.0) // doesn't work
listOfValues(1, "") // doesn't work

不允许混合不同类型。

你可以使用存在类型来实现它，例如

case class WithValue[V: Value](x: V)
object WithValue {
  implicit def withValue[V: Value](x: V) = WithValue(x)
}

def list = List[WithValue[_]]("hello", 1)

但我不建议实际这样做。很可能有更好的方法来解决您的问题。

特别要考虑使用

// not sealed if you need to add other types elsewhere
// can be Value[T] instead
sealed trait Value 
case class IntValue(x: Int) extends Value
case class StringValue(x: Int) extends Value

// add implicit conversions to IntValue and StringValue if desired
List(StringValue("hello"), IntValue(1))

scala：按类型联合参数化

1 个答案: