C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了斯卡拉 – 为什么`特质T; C级; class X extends(C with T)`无法编译?大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
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

大佬总结

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

如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。