scala中的Type使用

trait Base {
  val name: String  
}

case class S(
    name: String, 
    age: Int
) extends Base

case class F(
    name: String,
    tel: Long
) extends Base


case class Info[T <: Base](
   b: T,
   time: String                      
)

object Test extends App {
  override def main(String args): Unit = {
        val i = Info(F("Jim", 23212341), "15:15:30")
        
        i match {
           case info @ Info(b: F, time) => 
             println(s"F info: $info")

           case info @ Info(b: S, time) => 
             println(s"S info: $info")
 
        }     
    }          
}                                     

一、scala 使用 generic 通用类型如何做模式匹配

上述的case class Info在模式匹配时，需要使用

           case info @ Info(b: S, time) =>

 代替传统的 

           case info：Info =>

如果用下面的，编译时会有警报

non variable type-argument String in type pattern String => _ is unchecked since it is eliminated by erasure

 

二、scala 如何返回某个基类trait的subClass or subType

还是以上面的例子讲解

如果我想返回F或者S，可以使用

 

def getSub[T <: Base](b: Base): T = {
  b.asInstanceOf[T]      
}

但是这里要注意，如果入参b不是我们想要的T类型，编译会有error

 

三、scala中的trait中引入一个superClass —— subClass，如何在这个trait中规定返回subClass的类型

trait GoBase {
  type BB <: Base
     
  val b: BB
  
  def getBase(): BB = b
                      
}

class Go1 {
  override type BB = F
  
  val b = F("Tom", 9939122)               
}

object Test1 {
  val go = new Go1
  val b = go.getBase
  println(b.toString) //  F("Tom", 9939122)            
}

 

 

四、scala中怎么在collection中获得类型参数

详细参考 https://stackoverflow.com/questions/1094173/how-do-i-get-around-type-erasure-on-scala-or-why-cant-i-get-the-type-paramete

 使用scala.reflect.Manifest API