大佬教程收集整理的这篇文章主要介绍了指定较弱的 Aux 类型绑定不会导致编译错误,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
这是一个例子:
sealed Trait Type
object Type {
case object Type1 extends Type
case object Type2 extends Type
}
sealed Trait TypedTrait {
type Tpe <: Type
}
object TypedTrait {
type Aux[T <: Type] = TypedTrait{ type Tpe = T }
}
sealed Trait Test {
//Bounded with TypedTrait.Aux[Type.Type1.type]
type TptTrait <: TypedTrait.Aux[Type.Type1.type]
}
object Test {
//No TypedTrait.Aux[Type.Type1.type] type bound
type Aux[T <: TypedTrait] = Test { type TptTrait = T } //compiles fine,but I expected error
}
该示例针对 Scala 2 和 Scala 3 进行编译,但似乎没有意义。为什么要编译?
在编译时,您不能使用错误类型实例化此类型:
class Wololo extends TypedTrait { type Tpe = Type.Type2.type } // bad type
val ax: Test.Aux[Wololo] = new Test { type TptTrait = Wololo }
这失败了
cmd1.sc:24: incompatible type in overriding
type TptTrait <: AMMonite.$sess.cmd1.TypedTrait.Aux[AMMonite.$sess.cmd1.Type.Type1.type] (defined in Trait Test);
found : AMMonite.$sess.cmd1.Wololo
required: <: AMMonite.$sess.cmd1.TypedTrait.Aux[AMMonite.$sess.cmd1.Type.Type1.type]
(which expands to) <: AMMonite.$sess.cmd1.TypedTrait{type Tpe = AMMonite.$sess.cmd1.Type.Type1.typE}
val ax: Test.Aux[Wololo] = new Test { type TptTrait = Wololo }
^
Compilation Failed
同时
class Wololo extends TypedTrait { type Tpe = Type.Type1.type } // good type
val ax: Test.Aux[Wololo] = new Test { type TptTrait = Wololo }
成功
ax: Test.Aux[Wololo] = AMMonite.$sess.cmd1$$anon$1@78de58ea
因此我们可以得出结论,这里的边界组合在一起,但在您实际尝试创建一个违反约束的实例之前不会失败。可能这不会触发规范让它立即失败的任何情况(毕竟你可以创建一个有效的实例!),所以检查/证明被推迟到你尝试创建一个实际的实例。
(由于 sealed Trait
s,我在 AMMonite 中将其作为一个整体进行了评估)
@ {
sealed Trait Type
object Type {
case object Type1 extends Type
case object Type2 extends Type
}
sealed Trait TypedTrait {
type Tpe <: Type
}
object TypedTrait {
type Aux[T <: Type] = TypedTrait{ type Tpe = T }
}
sealed Trait Test {
//Bounded with TypedTrait.Aux[Type.Type1.type]
type TptTrait <: TypedTrait.Aux[Type.Type1.type]
}
object Test {
type Aux[T <: TypedTrait] = Test { type TptTrait = T }
}
class Wololo extends TypedTrait { type Tpe = Type.Type1.type }
val ax: Test.Aux[Wololo] = new Test { type TptTrait = Wololo }
}
defined Trait Type
defined object Type
defined Trait TypedTrait
defined object TypedTrait
defined Trait Test
defined object Test
defined class Wololo
ax: Test.Aux[Wololo] = AMMonite.$sess.cmd1$$anon$1@78de58ea
以上是大佬教程为你收集整理的指定较弱的 Aux 类型绑定不会导致编译错误全部内容,希望文章能够帮你解决指定较弱的 Aux 类型绑定不会导致编译错误所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。