Erlo

scala中trait和abstract class在隐式转换中的区别

时间:2021-06-09   阅读:36次   来源:开源中国
页面报错
点赞

说半天还不如看一点代码更清楚问题之所在:

object ImplicitObject3 {
def main(args: Array[String]): Unit = {
    def sum[A](xs:List[A])(implicit st:SubTemplate[A]):A = {
      if(xs.isEmpty) st.unit
      else st.add(xs.head,sum(xs.tail))
    }
    
    implicit object SubTemplateImplicitIntValue extends SubTemplate[Int] {
      override def unit: Int = 0

      override def add(x: Int, y: Int): Int = x + y
    }
    implicit object SubTemplateImplicitStringVlaue extends SubTemplate[String] {
      override def unit: String = ""

      override def add(x: String, y: String): String = x + y
    }
    println(sum(List(1,2,3,4,5)))
    println(sum(List("abc","efg","hijk")))
  }
}
trait Template[A] {
  def add(x:A,y:A):A
}
trait SubTemplate[A] extends Template[A] {
  def unit:A
}

编译正确,执行时:在类加载器加载时出现异常。但是将二个trait放在object ImplicitObject3中,不管是放在main的前面还是后面都执行OK:

object ImplicitObject3 {
trait Template[A] {
  def add(x:A,y:A):A
}
trait SubTemplate[A] extends Template[A] {
  def unit:A
}
def main(args: Array[String]): Unit = {
    def sum[A](xs:List[A])(implicit st:SubTemplate[A]):A = {
      if(xs.isEmpty) st.unit
      else st.add(xs.head,sum(xs.tail))
    }
    
    implicit object SubTemplateImplicitIntValue extends SubTemplate[Int] {
      override def unit: Int = 0

      override def add(x: Int, y: Int): Int = x + y
    }
    implicit object SubTemplateImplicitStringVlaue extends SubTemplate[String] {
      override def unit: String = ""

      override def add(x: String, y: String): String = x + y
    }
    println(sum(List(1,2,3,4,5)))
    println(sum(List("abc","efg","hijk")))
  }
}

如果将二个trait改为abstract class形式,定义在object ImplicitObject3之外执行也OK:

object ImplicitObject3 {
def main(args: Array[String]): Unit = {
    def sum[A](xs:List[A])(implicit st:SubTemplate[A]):A = {
      if(xs.isEmpty) st.unit
      else st.add(xs.head,sum(xs.tail))
    }
    
    implicit object SubTemplateImplicitIntValue extends SubTemplate[Int] {
      override def unit: Int = 0

      override def add(x: Int, y: Int): Int = x + y
    }
    implicit object SubTemplateImplicitStringVlaue extends SubTemplate[String] {
      override def unit: String = ""

      override def add(x: String, y: String): String = x + y
    }
    println(sum(List(1,2,3,4,5)))
    println(sum(List("abc","efg","hijk")))
  }
}
abstract class Template[A] {
  def add(x:A,y:A):A
}
abstract class SubTemplate[A] extends Template[A] {
  def unit:A
}

为什么会有这样的现象,原因是什么呢???????????????????????

当我在object ImplicitObject3外面定义二个trait之外,还在二个trait同级定义了一个继承自SubTemplate[A]的abstract class类,同时将main中二个implicit object继承的父改为这个抽象类,则一切都OK了。这种情况下,实验OK,其实原因好理解:

object ImplicitObject3 {
def main(args: Array[String]): Unit = {
    def sum[A](xs:List[A])(implicit st:SubTemplate[A]):A = {
      if(xs.isEmpty) st.unit
      else st.add(xs.head,sum(xs.tail))
    }
    
    implicit object SubTemplateImplicitIntValue extends abstractTemplate[Int] {
      override def unit: Int = 0

      override def add(x: Int, y: Int): Int = x + y
    }
    implicit object SubTemplateImplicitStringVlaue extends abstractTemplate[String] {
      override def unit: String = ""

      override def add(x: String, y: String): String = x + y
    }
    println(sum(List(1,2,3,4,5)))
    println(sum(List("abc","efg","hijk")))
  }
}
trait Template[A] {
  def add(x:A,y:A):A
}
trait SubTemplate[A] extends Template[A] {
  def unit:A
}
abstract class abstractTemplate[A] extends SubTemplate[A]

有一次无意中,我将二个trait放在另一个单独的scala文件中,然后我编译工程然后调试,不成功。鬼使神差地在main的最开头import SubTemplate一次,居然成功了。我将磁盘上所有class文件都删除了再编译工程却又不成功。然后再去掉import,单独编译那个scala文件,再编译工程却又成功执行代码了。总结来看:这是由于IDEA造成class文件与源代码不一致的原因

提交留言

评论留言

还没有评论留言,赶紧来抢楼吧~~

吐槽小黑屋()

* 这里是“吐槽小黑屋”,所有人可看,只保留当天信息。

  • Erlo吐槽

    Erlo.vip2021-06-25 21:49:51Hello、欢迎使用吐槽小黑屋,这就是个吐槽的地方。
  • 返回顶部

    给这篇文章打个标签吧~

    棒极了 糟糕透顶 好文章 PHP JAVA JS 小程序 Python SEO MySql 确认