我正在研究
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的实例,否则为什么你需要证明第一名?如果<:<是一个你可以自动完成的功能.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。