scala – 使用Any for Union类型是个好主意吗？

Is using Any generally considered a good idea in the scala community?

不.任何意味着没有类型信息,所以它通常被认为是一种不好的做法.

在Scala中,您可以使用Either表示联合类型,但如果联合中有很多可能的类型,它会变得很麻烦.例：

class MyClass(myField: Either[String,Int]) {
  def doSomething = myField match {
    case Left(myStringField) => ???
    case Right(myIntField) => ???
  }
}

另一种可行的方法是在其类型中使MyClass成为通用的：

class MyClass[A](myField: A)

但是这并没有对A的类型设置任何约束.

为了设置约束,例如使它成为类型的有限子集,您可以使用ad-hoc多态：

trait MyConstraint[A]
class MyClass[A: MyConstraint](myField: A)

现在新的MyClass(myValue)将无法编译,除非在范围内存在隐式MyConstraint [A].现在,您可以使用隐式值将要允许的类型列入白名单

implicit object IntConstraint extends MyConstraint[Int]
implicit object StringConstraint extends MyConstraint[String]

例：

new MyClass(42) // ok,there's implicit evidence of MyConstraint[Int]
new MyClass("foo") // ok,there's implicit evidence of MyConstraint[String]
new MyClass(false) // won't compile,no implicit evidence of MyConstraint[Boolean]

在技??术术语中,MyConstraint是一个类型类,用于在MyClass的构造函数中细化类型A.

通过要求为每个实例定义一组操作,您可以进一步表征类型类.例如.

trait MyConstraint[A] {
  def mandatoryOp: A
}

implicit object IntConstraint extends MyConstraint[Int] {
  def mandatoryOp = 42
}

implicit object StringConstraint extends MyConstraint[String] {
  def mandatoryOp = "foo"
}

class MyClass[A](myField: A)(implicit ev: MyConstraint[A]) {
  def doSomething: A = ev.mandatoryOp 
}

请注意,A：MyConstraint只是需要MyConstraint [A]类型的隐式参数的语法糖.在最后一个示例中,我选择了显式语法,以便在范围内使用隐式参数ev.