9

我有一个看起来像这样的类：

class X[A <: Throwable, B, C](b: B, c: C)

可以推断出 A、B 和 C，所以我可以将其实例化为：

val x = new X(3, 4)

这给了我一个 X[Nothing, Int, Int] - 通常是我想要的。

但我有时想将 A 指定为 Nothing（比如 AssertionError）。在不指定 B 和 C 的情况下这是否可能。我想象的语法如下：

val x = new X[AssertionError](3, 4)
val x = new X[AssertionError, _, _](3, 4)
val x = new X[AssertionError,,](3, 4)

但显然这不起作用。

是否有一些语法，或者我可以通过某种方式获得相同的结果？

4

5 回答 5

5

我主要关心的是在使用时使这变得容易（我不希望必须为每次使用定义新类型，因为异常类型通常不同）。我发现我可以使用伴随对象来工厂化中间工厂：

class X[A <: Throwable, B, C](b: B, c: C) {
}

trait XFactory[A <: Throwable] {
  def apply[B, C](b: B, c: C): X[A, B, C]
}

object X {
  def apply[A <: Throwable: Manifest](): XFactory[A] = {
    new XFactory[A] {
      override def apply[B, C](b: B, c: C): X[A, B, C] = {
        new X(b, c)
      }
    }
  }
}

val x = X[AssertionError].apply(3,3)

我能看到的唯一缺点是你必须拼出“申请”。

于 2013-03-01T12:29:35.540 回答
4

Here is my solution:

scala> class X[A <: Throwable, B, C](b: B, c: C)
defined class X

scala> class Builder[A <: Throwable] {
     |   def apply[B, C](b: B, c: C) = new X[A,B,C](b,c)
     | }
defined class Builder

scala> def X[A <: Throwable]: Builder[A] = new Builder[A]
X: [A <: Throwable]=> Builder[A]

scala> val x = X[AssertionError](3, 4)
x: X[AssertionError,Int,Int] = X@2fc709
于 2013-03-01T14:20:19.370 回答
3

您可以定义一个类型别名，其中您的第一个类型参数固定为AssertionError：

scala> class X[A <: Throwable, B, C](b: B, c: C)
defined class X

scala> type XAssertionError[B, C] = X[AssertionError, B, C]
defined type alias XAssertionError

scala> val x = new XAssertionError(3,4)
x: X[java.lang.AssertionError,Int,Int] = X@22fe135d
于 2013-03-01T12:20:20.927 回答
3

如果您不害怕简洁的硬核语法，您可能需要为此使用类型 lamdas：

Welcome to Scala version 2.10.0-20121205-235900-18481cef9b (OpenJDK 64-Bit Server VM, Java 1.7.0_15).
Type in expressions to have them evaluated.
Type :help for more information.

scala> case class X[A <: Throwable, B, C](b: B, c: C)
defined class X

scala> type P[A,B] = ({type l[a,b] = X[AssertionError, a, b]})#l[A,B]
defined type alias P

scala> val x = new P(1,2)
x: X[AssertionError,Int,Int] = X(1,2)

尽管如此，正如 Frank S. Thomas 建议的那样，定义类型别名是一种方法。

于 2013-03-01T12:18:53.973 回答
1

您可以只定义一个带有默认参数的构造函数。

scala> class X[A <: Throwable, B, C](b: B, c: C, clz:Class[_ <: A] = classOf[Nothing])
defined class X

scala> new X(1,2)
res0: X[Nothing,Int,Int] = X@16de4e1

scala> new X(1,2, classOf[AssertionError])
res1: X[AssertionError,Int,Int] = X@1e41869
于 2013-03-01T15:53:44.640 回答