1

我正在浏览 Scala 代码，发现 apply 方法也用于type.

例子： 
type Common = {
  def apply: {val func: {} => {val a: A}; val c: C} => {val b: B}
}

上面的代码是什么意思？

据我了解，这意味着 Common 是指包含 apply 方法的所有类型。但是，问题是这意味着什么样的应用方法？apply 方法的输入应该是什么？

还，

type Common = {
  def apply({val func: {} => {val a: A}; val c: C} => {val b: B})
}

两种Common类型有什么区别？

4

1 回答 1

1

这被称为结构类型。它只是意味着您通过其结构而不是（仅）通过其名称来描述类型。类型的Foo{val a: String}意思是“有类型Foo但也有”的东西val a: String。{val a: String}是一样的AnyRef{val a: String}。so的{}意思AnyRef{}，基本上和 的意思一样AnyRef。

当然你也可以在结构类型中使用结构类型，就是Common这样。Common是 AnyRef 的一个子类型，它有一个apply不接受参数但返回一个具有一些复杂结构类型作为类型参数的函数的方法。要破译那些你只需要递归地应用第一段中的规则。

你会如何使用这种Common类型？我建议不要，但是...

scala> :paste
// Entering paste mode (ctrl-D to finish)

class A; class B; class C

type Common = {
  def apply: {val func: {} => {val a: A}; val c: C} => {val b: B}
}

class HasA { val a = new A }

class HasB { val b = new B }

class HasC {
  val func = (a: AnyRef) => new HasA
  val c = new C
}

class MyCommon { def apply = (h: Any) => new HasB }

// Exiting paste mode, now interpreting.


scala> def common(c: Common) = c
common: (c: Common)Common

scala> common(new MyCommon)
res0: Common = MyCommon@3652a0d8

scala> res0.apply(new HasC)
res1: AnyRef{val b: B} = HasB@3925c40e

scala> res1.b
res2: B = B@1ba053df

调用结构类型的方法也可能会产生运行时开销，因为它们是通过反射实现的。

于 2017-04-14T11:45:26.203 回答