为什么class <：<[ - From,To]需要在scala标准库中扩展(Fr
发布时间：2020-12-16 18:06:44 所属栏目：安全 来源：网络整理
导读：我正在研究 scala的类型级编程,并对它有一些了解.但我不知道为什么类：需要从(From = To)扩展,我在REPL中编写了以下代码. trait :[-T,+U] // just 'plain' generic trait// an implicit object will looked up by compilerimplicit def implicitAgent[A]: :[
|
我正在研究
scala的类型级编程,并对它有一些了解.但我不知道为什么类<：<需要从(From => To)扩展,我在REPL中编写了以下代码.
trait <:<[-T,+U] // just 'plain' generic trait
// an implicit object will looked up by compiler
implicit def implicitAgent[A]: <:<[A,A] = new <:<[A,A] {}
def myFunc[T,U](one:T,two:U)(implicit ev: T <:< U): Unit = {
println(one,two)
class Base {
override def toString: String = "base"
}
class Derived extends Base {
override def toString: String = "Derived"
}
myFunc(new Derived,new Base)
它工作和打印： (Derived,base) 所以我的问题是什么是类<：<的设计决定？为什么它需要扩展From =>至 ？ 解决方法
因为这种方式隐含了ev：T<：< U还充当从T到U的隐式转换,可以自动将类型T的任何值向上转换为U型. 使用<：<在Predef中定义：
scala> trait Foo defined trait Foo scala> def myFunc[T](t: T)(implicit ev: T <:< Foo): Foo = t myFunc: [T](t: T)(implicit ev: T <:< Foo)Foo 使用<：< ： scala> trait <:<[-T,+U]
defined trait $less$colon$less
scala> implicit def implicitAgent[A]: <:<[A,A] {}
implicitAgent: [A]=> A <:< A
scala> def myFunc[T](t: T)(implicit ev: T <:< Foo): Foo = t
<console>:14: error: type mismatch;
found : T
required: Foo
def myFunc[T](t: T)(implicit ev: T <:< Foo): Foo = t
^
一旦你有一个证明值是U的实例(即它的类型T是U型的子类型),你很可能想要将该值用作U的实例,否则为什么你需要证明第一名？如果<：<是一个你可以自动完成的功能. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |