Scala的Infix Type与Self Types

Infix Type：中值类型，允许带有两个参数的类型 。

点击(此处)折叠或打开

1. object Infix_Types {
   
2. 
   
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.   }
    
21. 
    
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} =>} //也能用于结构类型限定
   
10. 
    
11. trait T { this:S1 => } //也能用于trait
    
12. object S4 extends T with S1
    
13. object Self_Types {
    
14. 
    
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.   }
    
24. 
    
25. }

来自 “ ITPUB博客 ” ，链接：http://blog.itpub.net/28912557/viewspace-1983648/，如需转载，请注明出处，否则将追究法律责任。

转载于:http://blog.itpub.net/28912557/viewspace-1983648/