Scala Set [_] vs Set [Any]
我有以下代码行:
case set: Set[Any] => setFormat[Any].write(set) 但是,编译器会发出警告:
很公平. 所以我改变了我的路线: case set: Set[_] => setFormat[Any].write(set) 现在我收到一个错误:
Q1.这两者有什么区别? 然后我将我的代码更改为以下内容: case set: Set[_] => setFormat[Any].write(set.map(s => s)) 现在很高兴没有任何错误或警告. Q2.这为什么有用? 解决方法
Q1:Set [Any]是一个元素类型为Any的Set. Set [_]是一个元素类型未知的Set.也许它是Set [Int],也许是Set [String],也许是Set [Any].与大多数(不可变的)集合相反,Set不是协变的(声明是特征集[A],而不是特征集[A]).所以Set [String]不是Set [Any],更一般地说,你不能保证你不知道的元素类型的集合(即Set [_])是Set [Any].
Q2:它起作用,因为无论集合元素的(未知)类型A,身份函数s => s可以被认为是函数A =>任何. (方差是Function1 [-T1,R].然后,根据需要,可以将得到的set.map(s => s)键入Set [Any]. 备注:如果没有setFormat和write的定义很难确定,但是你真的需要在setFormat [Any]中使用[Any]类型参数显式吗?人们可以将存在主义传递给通用函数,即 val x: X[_] = .... def f[A](xa: X[A]) = ... f(x) // allowed 但是不允许在呼叫站点显式(例如f [Any](x)),因为我们不知道X是否是X [Any]. 注意:关于Set不协变:这是不幸的,因为人们非常感觉一组Cats也是一组动物.这是一个原因(可能还有其他原因). Set有一个方法def contains(a:A):Boolean,这个签名可以防止协方差.其他集合的def包含[A1>:A](a:A):布尔值,它允许协方差,但实际上等效于def contains(a:Any):Boolean. 它起作用,因为实现基于方法equals,可用于任何地方(JVM附带)并且接受Any类型的参数.使用与列表内容无关的类型的值进行调用很可能是一个错误,并且更受限制的签名会更好,但是为协方差付出的代价很小. 但是这个宽松的签名包含约束,实现基于equals(也可能是hashCode).它不适用于基于Ordering的实现,它不接受无类型的参数.禁止这种(非常常见的)集合实现可能被视为协方差的代价太高. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |