scala – 自我类型中`=>`背后的原因是什么？
发布时间：2020-12-16 09:13:05 所属栏目：安全 来源：网络整理
导读：自我类型如下所示： trait A { self: String = } 这说明,特征A(或它的一个子类型)必须继承类String. 关键字self之后是：模拟??变量var s：String,其中类型来自：. 但是= =状态为自己的类型？这是什么原因？ 解决方法 只是猜测工作…你需要一些特定的定界符的
|
自我类型如下所示：
trait A { self: String => }
这说明,特征A(或它的一个子类型)必须继承类String. 关键字self之后是：模拟??变量var s：String,其中类型来自：. 但是= =状态为自己的类型？这是什么原因？ 解决方法
只是猜测工作…你需要一些特定的定界符的自我声明.假设=>只是省略了this：String将是一个语法有效的语句(虽然类型检查器会抱怨).
那么哪个应该是分隔符？你不会想要嵌套大括号,如trait A {self：String {…}}.那么存在哪些非配对的分隔符？ =>是唯一可以想到的. 哪里=>用在其他地方作为函数类型的糖(A => B)和功能体(i：Int => i 1)的糖.还有对于call-by-name参数,以及模式匹配的情况.最后一个用法与自我类型有些一致.这就像将其匹配为特定类型,然后根据这个“匹配”定义身体.我不知道,也许这是一个愚蠢的比喻. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |