八，抽象类和成员类

与java相似，scala中abstract声明的类是抽象类，抽象类不可以被实例化。

 

         在scala中，抽象类和特质中的方法、字段和类型都可以是抽象的。示例如下：

                   trait MyAbstract {

                            type T                                     // 抽象类型

                            def transform(x: T):T            // 抽象方法

                            val initial: T                                     // 抽象val

                            var current: T                         // 抽象var

                   }

         抽象方法：抽象方法不需要（也不允许）有abstract修饰符，一个方法只要是没有实现（没有等号或方法体），它就是抽象的。

         抽象类型：scala中的类型成员也可以是抽象的。抽象类型并不是说某个类或特质是抽象的(特质本身就是抽象的)，抽象类型永远都是某个类或特质的成员。

         抽象字段：没有初始化的val或var成员是抽象的，此时你需要指定其类型。抽象字段有时会扮演类似于超类的参数这样的角色，这对于特质来说尤其重要，因为特质缺少能够用来传递参数的构造器。因此参数化特质的方式就是通过在子类中实现抽象字段完成。如对于以下特质：

                   trait MyAbstract {

                            valtest: Int

                            println(test)

                            defshow() {

                                      println(test)

                            }

}

你可以使用如下匿名类语法创建继承自该特质的匿名类的实例，如下：

new MyAbstract {

                            val test = 1

                   }.show()

你可以通过以上方式参数化特质，但是你会发现这和“new 类名(参数列表)”参数化一个类实例还是有区别的，因为你看到了对于test变量的两次println(第一次在特质主体中，第二次是由于调用了方法show)，输出了两个不同的值(第一次是0，第二次是1)。这主要是由于超类会在子类之前进行初始化，而超类抽象成员在子类中的具体实现的初始化是在子类中进行的。为了解决这个问题，你可以使用预初始化字段和懒值。

 

预初始化字段：

         预初始化字段，可以让你在初始化超类之前初始化子类的字段。预初始化字段用于对象或有名称的子类时，形式如下：

                   class B extends {

                            val a = 1

                   } with A

预初始化字段用于匿名类时，形式如下：

                   new {

                            val a = 1

                   } with A

         需要注意的是：由于预初始化的字段在超类构造器调用之前被初始化，因此它们的初始化器不能引用正在被构造的对象。

 

懒值：

         加上lazy修饰符的val变量称为懒值，懒值右侧的表达式将直到该懒值第一次被使用的时候才计算。如果懒值的初始化不会产生副作用，那么懒值定义的顺序就不用多加考虑，因为初始化是按需的。

 

===继承与覆盖(override)

 

继承：

         继承时，如果父类主构造器带有参数，子类需要把要传递的参数放在父类名之后的括号里即可，如下：

                   class Second(a: Int, b: Int) extends First(a){…}

 

scala继承层级：

         如上图所示：Any是所有其他类的超类。Null是所有引用类(继承自AnyRef的类)的子类，Null类型的值为null。Nothing是所有其他类(包括Null)的子类，Nothing类型没有任何值，它的一个用处是它标明了不正常的终止（例如抛出异常，啥也不返回）。AnyVal是scala中内建值类(共9个)的父类。AnyRef是scala中所有引用类的父类，在java平台上AnyRef实际就是java.lang.Object的别名，因此java里写的类和scala里写的类都继承自AnyRef，你可以认为java.lang.Object是scala在java平台上实现AnyRef的方式。scala类与java类的不同之处在于，scala类还继承了一个名为ScalaObject的特别记号特质，目的是想让scala程序执行得更高效。

 

覆盖：

         由于scala里字段和方法属于相同的命名空间，这让字段可以覆盖无参数方法或空括号方法，但反过来好像不可以啊。另外，你也可以用空括号方法覆盖无参数方法，反之亦可。在scala中，若子类覆盖了父类的具体成员则必须带override修饰符；若是实现了同名的抽象成员时则override是可选的；若并未覆盖或实现基类中的成员则禁用override修饰符。