我正在尝试为Scala编写查询库。这是到目前为止的代码:
class Query[TElement](source: Traversable[TElement]) {
def join[TOther](other: Traversable[TOther]) = new {
def on[TKey](keySelector1: TElement => TKey) = new {
def equals(keySelector2: TOther => TKey) = new {
def into[TResult](resultSelector: (TElement, TOther) => TResult): Query[TResult] = {
val map = source.map(e => (keySelector1(e), e)).toMap
val results = other
.map(e => (keySelector2(e), e))
.filter(p => map.contains(p._1))
.map(p => (map(p._1), p._2))
.map(p => resultSelector(p._1, p._2))
new Query[TResult](results)
}
}
}
}
}
object Query {
def from[TElement](source: Traversable[TElement]): Query[TElement] = {
new Query[TElement](source)
}
}
...
val results = Query.from(users)
.join(accounts).on(_.userId).equals(_.ownerUserId).into((_, _))
我去编译时出现以下错误:
error: missing parameter type for expanded function ((x$2) => x$2.ownerUserId)
我有些困惑,为什么我会在非泛型函数上收到此错误equals
。我认为,它的通用参数来自外部范围。我知道要解决它,我必须通过编写来明确说明参数类型是什么(a: Account) => a.ownerUserId
。但是,我试图使它成为一个非常流畅的库,这使它变得凌乱。
问题很简单。equals
继承自的现有方法存在歧义Any
。简单的例子:
scala> class X[A, B] { def equals(f: A => B) = f }
defined class X
scala> val x = new X[Int, String]
x: X[Int,String] = X@52d455b8
scala> x.equals((x: Int) => x.toString)
res0: Int => String = <function1>
scala> x.equals((x: String) => x.toString) // uh-oh
res1: Boolean = false
在上一个示例中可以看到,当传递了错误的函数类型时,编译器必须选择def equals(Any): Boolean
。当您不指定任何类型时,编译器必须推断一个类型,而在示例中是无法做到的。
只需将您的方法重命名为其他方法,问题就解决了。
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句