scala – 种类不符合lambda类型

发布时间：2020-12-16 18:38:11 所属栏目：安全来源：网络整理

导读：遇到类型“种类”的问题： trait Sys[ S : Sys[S]]trait Expr[S : Sys[S],A]trait Attr[S : Sys[S],A[_]]def test[ S : Sys[S]]: Attr[S,({type l[x:Sys[x]]=Expr[x,Int]})#l] = ??? 这失败了 error: kinds of the type arguments (S,[x : Sys[x]]Expr[x,Int

遇到类型“种类”的问题：

trait Sys[ S <: Sys[S]]
trait Expr[S <: Sys[S],A]
trait Attr[S <: Sys[S],A[_]]
def test[  S <: Sys[S]]: Attr[S,({type l[x<:Sys[x]]=Expr[x,Int]})#l] = ???

这失败了

error: kinds of the type arguments (S,[x <: Sys[x]]Expr[x,Int]) do not conform
to the expected kinds of the type parameters (type S,type A) in trait Attr.
[x <: Sys[x]]Expr[x,Int]'s type parameters do not match type A's expected parameters:
type x's bounds <: Sys[x] are stricter than type _'s declared bounds >: Nothing <: Any
           def test[S <: Sys[S]]: Attr[S,Int]})#l] = ???
                                  ^

声明的边界有什么问题？我是否需要将cr * ppy部分应用的类型带入特征Attr的类型构造函数中？为什么？我可以在不触及Attr定义的情况下解决这个问题吗？

我确实需要函数测试中的边界才能使实现工作,但我不想将这些边界扩展到公共接口Attr.

注意：如果我使用类型成员(我不想要的),它可以工作：

trait Attr[S <: Sys[S]] { type A[_]}
def test[  S <: Sys[S]]: Attr[S] { type A[S <: Sys[S]] = Expr[S,Int]} = ???

解决方法

正如您所观察到的,在提供更高级别的类型参数时,您不能总是不匹配边界.有趣的是,它实际上是一个方差问题：

class A
class B extends A
trait NeedsNeedsA[T[S <: A]]
trait NeedsNeedsB[T[S <: B]]
trait NeedsA[S <: A]
trait NeedsB[S <: B]

def x: NeedsNeedsA[NeedsB] // fails
def y: NeedsNeedsB[NeedsA] // works

如果你认为一个高级的类型作为一个类型的函数,它的论证的界限是逆变的,这是有道理的.

有趣的是,在结构类型中,表面很像子类型,Scala不会给出相同的错误：

def t: MemberNeedsA { type T[S <: B] }
def u: MemberNeedsB { type T[S <: A] }

原因是结构类型有点像交叉点：

def s: MemberNeedsA with MemberNeedsB

并且可能是交叉点实际上不存在于自然界中,但Scala不会检查它.

好的,但这与你的问题不太相关.回到你的问题：我认为你有一个差异问题.你希望test给调用者一个Attr,而一个Attr拥有一个类型函数(A [_]),你想说,这个Attr有一个需要更具体参数的类型函数.我想你可以明白为什么你不应该被允许这样做 – 这就是你不能用一个需要更具体的论证的函数来代替一个需要更一般性论证的函数的原因.

在这一点上,我担心解决方案将取决于你希望Attr能够完成的任务.您需要弄清楚为什么在某些情况下需要限制类型参数比其他情况更多.如果在你的程序中概念上认为“一些Attrs比其他人更具限制性”,你可以定义：

trait Attr[S <: Sys[S],B[Y <: B[Y]],A[X <: B[X]]]
def test[S <: Sys[S]]: Attr[S,Sys,L] = ...

但解决方案将取决于对A [_]的论点的限制意图.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!