Scala的Infix Type與Self Types

541732025發表於2016-01-28
Infix Type：中值型別，允許帶有兩個引數的型別。

點選(此處)摺疊或開啟

  1. object Infix_Types {

  3.   def main(args: Array[String]) {
  4.     
  5.     object Log { def >>:(data:String):Log.type = { println(data); Log } }
  6.     "Hadoop" >>: "Spark" >>: Log //右結合，先列印出Spark，再列印出Hadoop
  7.     
  8.      val list = List()
  9.      val newList = "A" :: "B" :: list //中值表示式
  10.      println(newList)
  11.     
  12.     class Infix_Type[A,B] //中值型別是帶有兩個型別引數的型別
  13.     val infix: Int Infix_Type String = null //此時A是Int，B為String，具體型別名寫在兩個型別中間
  14.     val infix1: Infix_Type[Int, String] = null //和這種方式等價
  15.     
  16.     case class Cons(first:String,second:String) //中值型別
  17.     val case_class = Cons("one", "two")
  18.     case_class match { case "one" Cons "two" => println("Spark!!!") } //unapply
  19.     
  20.   }

  22. }
self-type

點選(此處)摺疊或開啟

  1. class Self {
  2.     self => //self是this別名
  3.     val tmp="Scala"
  4.     def foo = self.tmp + this.tmp
  5. }
  6. trait S1
  7. class S2 { this:S1 => } //限定：例項化S2時，必須混入S1型別
  8. class S3 extends S2 with S1
  9. class s4 {this:{def init():Unit} =>} //也能用於結構型別限定

  11. trait T { this:S1 => } //也能用於trait
  12. object S4 extends T with S1
  13. object Self_Types {

  15.   def main(args: Array[String]) {
  16.     class Outer { outer =>
  17.      val v1 = "Spark"
  18.      class Inner {
  19.      println(outer.v1)  //使用外部類的屬性
  20.      }
  21.     }
  22.     val c = new S2 with S1 //例項化S2時必須混入S1型別
  23.   }

  25. }

來自 “ ITPUB部落格 ” ，連結：http://blog.itpub.net/28912557/viewspace-1983648/，如需轉載，請註明出處，否則將追究法律責任。

相關文章