scala – 查看更高级别类型的边界

发布时间：2020-12-16 09:54:24 所属栏目：安全来源：网络整理

导读：我正在尝试设置一个绑定在高kinded类型上的视图,我收到一条我无法理解的错误消息. $scala -language:higherKindsWelcome to Scala version 2.10.0 (Java HotSpot(TM) 64-Bit Server VM,Java 1.6.0_43).Type in expressions to have them evaluated.Type :hel

我正在尝试设置一个绑定在高kinded类型上的视图,我收到一条我无法理解的错误消息.

$scala -language:higherKinds
Welcome to Scala version 2.10.0 (Java HotSpot(TM) 64-Bit Server VM,Java 1.6.0_43).
Type in expressions to have them evaluated.
Type :help for more information.

scala> trait F[M[_]]
defined trait F

scala> def foo[M[_]](implicit m: M[_] => F[M]) = 42
foo: [M[_]](implicit m: M[_] => F[M])Int

scala> def bar[M[_] <% F[M]] = 42
<console>:8: error: type M takes type parameters
       def bar[M[_] <% F[M]] = 42
                    ^

不应该编译成与foo相同的东西吗？我错过了什么？

解决方法

请注意,类型参数列表中的M [_]与类型M [_]之间存在细微差别(即M [_]在隐式参数列表中的函数类型中扮演的角色).第一个是类型构造函数参数,第二个是存在类型(有关更多信息,请参见 Scala language specification的4.4和3.2.10节).

因此,例如我们可以用M [X]替换类型构造函数参数M [_]而不改变含义,但在后一种情况下这将是语法错误(这是M [X] forSome {type的缩写X }).

以下示例中的差异可能更清楚(编译得很好)：

scala> def bar[M[_],M_ <: M[_] <% F[M]] = 42
bar: [M[_],M_ <: M[_]](implicit evidence$1: M_ => F[M])Int

这里第一个M [_]是一个类型构造函数参数,第二个(M_上限)是一个存在类型.

可以想象,Scala编译器可以使M [_]<％F [M]正常工作 - 也就是说,它可以将类型构造函数参数转换为它为其创建的隐式参数类型中的存在类型.上下文绑定 - 但这需要额外的一小部分编译器魔法,而且已经有足够的内容了.

（编辑：李大同）

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