scala编程第10章

1、抽象类
(1)抽象类由abstract修饰
(2)抽象类中的方法有的没有实现
(3)抽象方法不用添加abstract


2、无参方法
abstract class Element{
   def contents: Array[String]
   def height: Int = contents.length
   def width:Int = if(height == 0) 0 else contents(0).length
}


def width():Int
被称为空括号方法。
def width:Int
只要方法中没有参数并且方法仅能通过读取所包含对象的属性去访问可变状态，就用无参方法。
因为在scala中方法可以赋值给变量，所以根据统一访问原则，代码不应该让属性是通过字段实现
还是方法实现而受影响。
所以上述代码还可以定义为
val height = contents.length
val width = if(height == 0) 0 else contents(0).length


可以在调用任何不带参数的方法时省略空的括号，
但是无论是直接的还是间接的使用了可变对象(执行了I/O，赋值变量var等)，都应该添加空括号，
来标识说明出发了某些计算。
比如
println()出发了I/O操作，最好不省略括号


3、扩展类
Element是抽象类，不能够"new Element"
创建Element扩展类，并实现了抽象方法。
class ArrayElement(conts: Array[String]) extends Element{
   def contents: Array[String] = conts
}
extents子句效果：
(1)使ArrayElement类继承Element类的所有非私有成员
(2)让ArrayElement类型成为Element的子类型


继承的含义：超类的所有成员也是子类的成员，除了
(1)超类的私有成员
(2)超类成员与子类成员有相同名称和参数


组合：ArrayElement类是由Array[String]组合出来的
应为ArrayElement包含了一个字段保留conts数组的引用。


4、重写方法和字段
scala中方法和字段属于相同的命名空间，所以字段可以重写无参方法
例如
class ArrayElement(conts: Array[String]) extends Element{
   val contents: Array[String] = conts
}
contents字段可以为Element类中的无参方法contents提供实现。


注意：scala里禁止在同一个类里用同样的名称定义字段和方法。
比如
class WontCompile{
   private var f=0
   def f=1
}
scala编译不能通过。
java为定义准备了4个命名空间(分别是字段，方法，类型，包)
scala仅有两个命名空间：
值(字段，方法，单例对象)
类型(类和特质名)


5、定义参数化字段
class ArrayElement(
   val contents: Array[String]
) extents Element
(1)contents用val修饰，写在类后边是同时定义父类同名参数和字段的简写方式
(2)也可以用var修饰，这样contents就可以重新赋值
(3)这些参数字段可以添加private，protected或override修饰


6、调用超类构造器


7、使用override修饰符
class LineElement(s: String) extends ArrayElement(Array(s)){
   override def width = s.length
   override def height = 1
}
override使用场景：
若子类成员所有重写了父类的具体成员必须带override修饰符。
成员实现的是同名的抽象成员，则修饰符可选。
成员未重写或者实现其他基类成员，禁止使用此修饰符。


8、多态和动态绑定
abstract class Element{
   def demo(){
      println("Element's implementation invoked")
   }
}


class ArrayElement extents Element{
   override def demo(){
      println("ArrayElement's implementation invoked")  
   }
}
class LineElement extents ArrayElement{
   override def demo(){
      println("LineElement's implementation invoked")
   }
}
class UniformElement extends Element


def invokeDemo(e: Element){
   e.demo()
}
>invokeDemo(new ArrayElement)
>ArrayElement's implementation invoked


9、定义final成员
确保一个成员不被子类重写则添加final修饰。
确保整个类没有子类在类的声明处添加final修饰。


10、above\beside\toString
def above(that: Element): Element = 
   new ArrayElement(this.contents ++ that.contents)
++操作符用来连接两个数组。
此方法可以连接两个长度相同的数组


def beside(that: Element): Element = {
   val contents = new Array[String](this.contents.length)
   for(i <- 0 until this.contents.length)
      contents(i) = this.contents(i) + that.contents(i)
   new ArrayElement(contents)
}
此方法可以等价为
new ArrayElement(
   for(
      (line1,line2) <- this.contents zip that.contents
   ) yield line1 + line2
)
(1)zip操作符从两个数组中取出相对应元素并生成一个二元对的数组Tuple。
例如：
Array(1,2,3) zip Array("a","b")
结果为：Array((1,"a"),(2,"b"))
(2)for(line1,line2) <- ...允许你在一个模式(pattern)中命名二元对的两个元素，
即line1现在代表二元对的第一个元素，line2代表第二个。
yield产生结果，与枚举遍历的表达式类型一致，也就是一个数组。


override def toString = contents mkString "\n"
(1)mkString函数返回数组contents所有元素组成的字符串