范型

作者: 博瑜 | 来源:发表于2017-06-12 00:05 被阅读0次

<:上界 >:下界

class Pair[T<:Comparable[T]] { //上界,对传入类型进行约束

  def bigger(first:T, second:T): T = {
    if (first.compareTo(second) > 0) first else second
  }
}
object Pair {
  def main(args: Array[String]): Unit = {
    val p = new Pair[Integer]
    println(p.bigger(2,1))
  }
}

<%视图定界 一定要传隐式转换函数 T隐式转换成order[T]
[T<%M]关系意味着T可以隐式转换成M[T], E.g [T<%Comparable[T]]

object  MyPreDef {
  implicit val girl2Ordered = (g:Girl) => new Ordered[Girl] {
    //implicit def girl2Ordered(g:Girl) = new Ordered[Girl] {
    override def compare(that: Girl): Int ={
      g.faceValue - that.faceValue
        }
      }
  //  implicit val girl2Ordering = new Ordering[Girl] {
  //     override def compare(x: Girl, y: Girl): Int = {
  //      println("@@@")
  //      x.faceValue - y.faceValue
  //    }
  //  }
  trait girl2Ordering extends Ordering[Girl] {
    override def compare(x: Girl, y: Girl): Int = {
      println("@@@")
      x.faceValue - y.faceValue
    }
  }
  implicit object Girl extends girl2Ordering
}
//视图界定 必须传入一个隐式转换函数
//class chooser[T <% Ordered[T]] {
//  def choose(first:T, second:T): T = {
//    if (first > second) first else second
//  }
//}

上下文界定[T:M],要求必须存在一个类型为M[T]的隐式值
//上下文界定 必须传入一个隐式转换的值 Ordering 后面不用写T了

   class chooser[T : Ordering] {
      def choose(first:T, second:T): T = {
        val ord = implicitly[Ordering[T]]
        if (ord gt(first, second)) first else second
      }
   }

class Girl(val name:String, val faceValue:Int)

object chooser {
  def main(args: Array[String]): Unit = {
    import MyPreDef._
    val g1 = new Girl("p", 90)
    val g2 = new Girl("t", 100)
    val c = new chooser[Girl]
    println(c.choose(g1, g2).name)
  }
}

相关文章

  • CoreJava笔记 - 范型程序设计(2)

    范型代码和Java虚拟机 关键知识:类型擦除Java的范型是编译器层次的范型,而在Java虚拟机上并没有范型类。在...

  • 范型

    <:上界 >:下界 <%视图定界 一定要传隐式转换函数 T隐式转换成order[T][T<%M]关系意味着...

  • 范型

    范型就是不指定类型,用的时候在指定类型使用场景 用在构造函数中

  • 范型

    泛型是jdk1.5使用的新特性。 泛型的好处:1. 将运行时的异常提前至了编译时。2. 避免了无谓的强制类型转换 ...

  • 范型

  • Objective-C 范型

    系统库范型 Objective C支持轻量级的范型。在编写自定义的范型类之前,我们先来看看Cocoa Touch的...

  • CoreJava笔记 - 范型程序设计(5)

    反射与范型 由于类型擦除,反射无法得到关于范型类型参数的信息。 范型的Class类在Java的反射库中,Class...

  • Flutter 类方法和基础语法(II) - 范型

    范型限制

  • Generic 范型 - type parameter

    范型简介 从JDK 5.0开始,范型作为一种新的扩展被引入到了java语言中。 有了范型,我们可以对类型(type...

  • Rust范型(1) - 范型基础

    简介 C/C++、Rust都属于强类型语言,在定义变量或者是传参时,必须明确指定数据的数据类型。明确指定类型对于程...

网友评论

      本文标题:范型

      本文链接:https://www.haomeiwen.com/subject/lljkqxtx.html