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

概述Scala代码： trait Tclass Ctype W = C with Tclass X extends W W是一个类型别名,但我想定义一个类来扩展它.为什么以及如何解决它？ 我很难以一种很好的方式构建我的答案,但这是尝试解释正在发生的事情： 您会收到编译错误,因为extends子句需要类和特征,而不是类型,并且您要提供类型.不得将类和特征与类型混淆. 对此有一些更好的解释.但基本上 Scala代码：

trait Tclass Ctype W = C with Tclass X extends W

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

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

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

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

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

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

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

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

HTH

总结

以上是内存溢出为你收集整理的斯卡拉 – 为什么`特质T; C级; class X extends(C with T)`无法编译？全部内容，希望文章能够帮你解决斯卡拉 – 为什么`特质T; C级; class X extends(C with T)`无法编译？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。