斯卡拉 – 为什么`特质T; C级; class X extends(C with T)`无法

发布时间：2020-12-16 10:10:26 所属栏目：百科来源：网络整理

导读：Scala代码： trait Tclass Ctype W = C with Tclass X extends W W是一个类型别名,但我想定义一个类来扩展它.为什么以及如何解决它？解决方法我很难以一种很好的方式构建我的答案,但这是尝试解释正在发生的事情：您会收到编译错误,因为extends子句需要类

Scala代码：

trait T
class C
type W = C with T
class X extends W

W是一个类型别名,但我想定义一个类来扩展它.为什么以及如何解决它？

解决方法

我很难以一种很好的方式构建我的答案,但这是尝试解释正在发生的事情：

您会收到编译错误,因为extends子句需要类和特征,而不是类型,并且您要提供类型.不得将类和特征与类型混淆.

对此有一些更好的解释.但基本上类型指定了可以应用于某些事物(有时是其他属性)的操作.类和特征定义其实例的行为.

在大多数静态类型的OO语言中,每个类/接口/特征也具有关联类型.但是,倒数通常不正确：并非所有类型都具有相应的类/接口/特征.例如,你的C与T是一种类型,但不是一个类,也不是一个特征(甚至不是它们的组合).

extends子句期望类和特征(用with分隔),但不是一种类型.这是因为extends意味着：扩展这个东西的行为.正如我所说,类型不定义行为.

在大多数地方,语法A和B表示一种类型,它是类型A和类型B的子类型.然而,在extends子句中,具有不同的含义,并且只是作为扩展的参数的分隔符. (很像,充当方法调用的参数的分隔符).

如果您编写类X使用T扩展C,它将起作用,因为它意味着类X扩展C,T,如果您愿意.

HTH

（编辑：李大同）

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