考虑一下这个简单的例子:
class Outer {
case class Inner()
def test(i: Inner) = {}
}
如预期的那样,由于类型不匹配而无法编译:
val o1 = new Outer()
val o2 = new Outer()
o1.test(o2.Inner()) // doesn't compile
如果我们想定义一个独立的函数怎么办?
这样不好
def test[X <: Outer](a: X#Inner, b: X#Inner) = {}
因为这样编译就好像一切都很好
test(o1.Inner(), o2.Inner())
这有效
def test(x: Outer)(a: x.Inner, b: x.Inner) = {}
因为这会编译:
test(o1)(o1.Inner(), o1.Inner())
这不是:
test(o1)(o1.Inner(), o2.Inner())
但是,我们必须将额外的
Outer
参数传递给test
。有可能避免这种情况吗?理想情况下,以下方法应该起作用:test(o1.Inner(), o1.Inner()) // ok
test(o1.Inner(), o2.Inner()) // compilation error
最佳答案
我不认为开箱即用地以令人满意的方式执行它是不可能的。例如,一种可能的解决方案可能是:
scala> def test[X <: Outer#Inner](a: X)(b: X) = ()
test: [X <: Outer#Inner](a: X)(b: X)Unit
scala> test(o1.Inner())(o1.Inner())
scala> test(o1.Inner())(o2.Inner())
<console>:16: error: type mismatch;
found : o2.Inner
required: o1.Inner
test(o1.Inner())(o2.Inner())
^
看起来不错,但是您可以通过显式传入类型参数来规避它。 (顺便说一句,@ OlivierBlanvillain的解决方案也是如此)
scala> test[Outer#Inner](o1.Inner())(o2.Inner())
现在让我们尝试以下方法:
scala> def test[X <: Outer](a: X#Inner)(b: X#Inner) = ()
test: [X <: Outer](a: X#Inner)(b: X#Inner)Unit
scala> test(o1.Inner())(o2.Inner())
不起作用,scalac推断
X
为Outer
,这还不够具体,无论如何我们都可以提供Outer
作为显式类型参数。我们需要一种将X
强制为单例类型的方法,以便它只能表示路径o1
或o2
,而不能表示无限数量的值所占用的常规类型。有一种方法。为此,Scala具有标记特征Singleton
。让我们尝试一下:scala> def test[X <: Outer with Singleton](a: X#Inner)(b: X#Inner) = ()
test: [X <: Outer with Singleton](a: X#Inner)(b: X#Inner)Unit
scala> test(o1.Inner())(o1.Inner())
<console>:15: error: inferred type arguments [Outer] do not conform to method test's type parameter bounds [X <: Outer with Singleton]
test(o1.Inner())(o1.Inner())
^
<console>:15: error: type mismatch;
found : o1.Inner
required: X#Inner
test(o1.Inner())(o1.Inner())
^
现在我们的有效案例不再起作用!问题在于,scalac拒绝推断单例类型。我们必须明确地传递它们:
scala> test[o1.type](o1.Inner())(o1.Inner())
无效的情况不再起作用:
scala> test(o1.Inner())(o2.Inner())
<console>:16: error: inferred type arguments [Outer] do not conform to method test's type parameter bounds [X <: Outer with Singleton]
test(o1.Inner())(o2.Inner())
^
<console>:16: error: type mismatch;
found : o1.Inner
required: X#Inner
test(o1.Inner())(o2.Inner())
^
scala> test[o1.type](o1.Inner())(o2.Inner())
<console>:16: error: type mismatch;
found : o2.Inner
required: o1.Inner
test[o1.type](o1.Inner())(o2.Inner())
^
scala> test[Outer](o1.Inner())(o2.Inner())
<console>:17: error: type arguments [Outer] do not conform to method test's type parameter bounds [X <: Outer with Singleton]
test[Outer](o1.Inner())(o2.Inner())
^
因此,这强制执行了我们想要的规则,但是您必须显式地传递类型...
编辑
实际上,您可以执行此操作而不会丢失类型推断,也无需任何外部库的帮助,但您可能不会喜欢它:-p
如注释中指出的META EDIT,如果您尽力而为,仍然可以绕开它,所以我想您仍然会遇到上述解决方案。
scala> import scala.language.existentials
import scala.language.existentials
scala> def test[X <: x.Inner forSome { val x: Outer }](a: X, b: X) = ()
test: [X <: x.Inner forSome { val x: Outer }](a: X, b: X)Unit
scala> test(o1.Inner(), o1.Inner())
scala> test(o1.Inner(), o2.Inner())
<console>:16: error: inferred type arguments [Outer#Inner] do not conform to method test's type parameter bounds [X <: x.Inner forSome { val x: Outer }]
test(o1.Inner(), o2.Inner())
^
<console>:16: error: type mismatch;
found : o1.Inner
required: X
test(o1.Inner(), o2.Inner())
^
<console>:16: error: type mismatch;
found : o2.Inner
required: X
test(o1.Inner(), o2.Inner())
^
scala> test[o1.Inner](o1.Inner(), o2.Inner())
<console>:16: error: type mismatch;
found : o2.Inner
required: o1.Inner
test[o1.Inner](o1.Inner(), o2.Inner())
^