参考Swift 官方教程《The Swift Programming Language》中文版
继承(Inheritance)
一个类可以继承(inherit)另一个类的方法(methods),属性(property)和其它特性。当一个类继承其它类时,继承类叫子类(subclass),被继承类叫超类(或父类,superclass)。在 Swift 中,继承是区分「类」与其它类型的一个基本特征。
在 Swift 中,类可以调用和访问超类的方法,属性和下标脚本(subscripts),并且可以重写(override)这些方法,属性和下标脚本来优化或修改它们的行为。Swift 会检查你的重写定义在超类中是否有匹配的定义,以此确保你的重写行为是正确的。
可以为类中继承来的属性添加属性观察器(property observer),这样一来,当属性值改变时,类就会被通知到。可以为任何属性添加属性观察器,无论它原本被定义为存储型属性(stored property)还是计算型属性(computed property)。
定义一个基类(Base class)
不继承于其它类的类,称之为基类(base calss)。
注意:
Swift 中的类并不是从一个通用的基类继承而来。如果你不为你定义的类指定一个超类的话,这个类就自动成为基类。
下面的例子定义了一个叫Vehicle
的基类。这个基类声明了一个名为currentSpeed
,默认值是0.0的存储属性(属性类型推断为Double
)。currentSpeed
属性的值被一个String
类型的只读计算型属性description
使用,用来创建车辆的描述。
Vehicle
基类也定义了一个名为makeNoise
的方法。这个方法实际上不为Vehicle
实例做任何事,但之后将会被Vehicle
的子类定制
class Vehicle {
var currentSpeed = 0.0
var description: String {
return "traveling at \(currentSpeed) miles per hour"
}
func makeNoise() {
// 什么也不做-因为车辆不一定会有噪音
}
}
您可以用初始化语法创建一个Vehicle
的新实例,即 TypeName
后面跟一个空括号:
let someVehicle = Vehicle()
现在已经创建了一个Vehicle
的新实例,你可以访问它的description
属性来打印车辆的当前速度。
println("Vehicle: \(someVehicle.description)")
// Vehicle: traveling at 0.0 miles per hour
子类生成(Subclassing)
子类生成(Subclassing)指的是在一个已有类的基础上创建一个新的类。子类继承超类的特性,并且可以优化或改变它。你还可以为子类添加新的特性。
为了指明某个类的超类,将超类名写在子类名的后面,用冒号分隔:
class SomeClass: SomeSuperclass {
// 类的定义
}
下一个例子,定义一个更具体的车辆类叫Bicycle
。这个新类是在 Vehicle
类的基础上创建起来。因此你需要将Vehicle
类放在 Bicycle
类后面,用冒号分隔。
我们可以将这读作:
“定义一个新的类叫Bicycle
,它继承了Vehicle
的特性”;
class Bicycle: Vehicle {
var hasBasket = false
}
新的Bicycle
类自动获得Vehicle
类的所有特性,比如 currentSpeed
和description
属性,还有它的makeNoise
方法。
除了它所继承的特性,Bicycle
类还定义了一个默认值为false
的存储型属性hasBasket
(属性推断为Bool
)。
默认情况下,你创建任何新的Bicycle
实例将不会有一个篮子,创建该实例之后,你可以为特定的Bicycle
实例设置hasBasket
属性为ture
:
let bicycle = Bicycle()
bicycle.hasBasket = true
你还可以修改Bicycle
实例所继承的currentSpeed
属性,和查询实例所继承的description
属性:
bicycle.currentSpeed = 15.0
println("Bicycle: \(bicycle.description)")
// Bicycle: traveling at 15.0 miles per hour
子类还可以继续被其它类继承,下面的示例为Bicycle
创建了一个名为Tandem
(双人自行车)的子类:
class Tandem: Bicycle {
var currentNumberOfPassengers = 0
}
Tandem
从Bicycle
继承了所有的属性与方法,这又使它同时继承了Vehicle
的所有属性与方法。Tandem
也增加了一个新的叫做currentNumberOfPassengers
的存储型属性,默认值为0。
如果你创建了一个Tandem
的实例,你可以使用它所有的新属性和继承的属性,还能查询从Vehicle
继承来的只读属性description
:
let tandem = Tandem()
tandem.hasBasket = true
tandem.currentNumberOfPassengers = 2
tandem.currentSpeed = 22.0
println("Tandem: \(tandem.description)")
// Tandem: traveling at 22.0 miles per hour
重写(Overriding)
子类可以为继承来的实例方法(instance method),类方法(class method),实例属性(instance property),或下标脚本(subscript)提供自己定制的实现(implementation)。我们把这种行为叫重写(overriding)。
如果要重写某个特性,你需要在重写定义的前面加上override
关键字。这么做,你就表明了你是想提供一个重写版本,而非错误地提供了一个相同的定义。意外的重写行为可能会导致不可预知的错误,任何缺少override
关键字的重写都会在编译时被诊断为错误。
override
关键字会提醒 Swift 编译器去检查该类的超类(或其中一个父类)是否有匹配重写版本的声明。这个检查可以确保你的重写定义是正确的。
访问超类的方法,属性及下标脚本
当你在子类中重写超类的方法,属性或下标脚本时,有时在你的重写版本中使用已经存在的超类实现会大有裨益。比如,你可以优化已有实现的行为,或在一个继承来的变量中存储一个修改过的值。
在合适的地方,你可以通过使用super
前缀来访问超类版本的方法,属性或下标脚本:
- 在方法
someMethod
的重写实现中,可以通过super.someMethod()
来调用超类版本的someMethod
方法。 - 在属性
someProperty
的 getter 或 setter 的重写实现中,可以通过super.someProperty
来访问超类版本的someProperty
属性。 - 在下标脚本的重写实现中,可以通过
super[someIndex]
来访问超类版本中的相同下标脚本。
重写方法
在子类中,你可以重写继承来的实例方法或类方法,提供一个定制或替代的方法实现。
下面的例子定义了Vehicle
的一个新的子类,叫Train
,它重写了从Vehicle
类继承来的makeNoise
方法:
class Train: Vehicle {
override func makeNoise() {
println("Choo Choo")
}
}
如果你创建一个Train
的新实例,并调用了它的makeNoise
方法,你就会发现Train
版本的方法被调用:
let train = Train()
train.makeNoise()
// prints "Choo Choo"
重写属性
你可以重写继承来的实例属性或类属性,提供自己定制的getter和setter,或添加属性观察器使重写的属性观察属性值什么时候发生改变。
重写属性的Getters和Setters
你可以提供定制的 getter(或 setter)来重写任意继承来的属性,无论继承来的属性是存储型的还是计算型的属性。子类并不知道继承来的属性是存储型的还是计算型的,它只知道继承来的属性会有一个名字和类型。你在重写一个属性时,必需将它的名字和类型都写出来。这样才能使编译器去检查你重写的属性是与超类中同名同类型的属性相匹配的。
你可以将一个继承来的只读属性重写为一个读写属性,只需要你在重写版本的属性里提供 getter 和 setter 即可。但是,你不可以将一个继承来的读写属性重写为一个只读属性。
注意:
如果你在重写属性中提供了 setter,那么你也一定要提供 getter。如果你不想在重写版本中的 getter 里修改继承来的属性值,你可以直接通过super.someProperty
来返回继承来的值,其中someProperty
是你要重写的属性的名字。
以下的例子定义了一个新类,叫Car
,它是Vehicle
的子类。这个类引入了一个新的存储型属性叫做gear
,默认为整数1。Car
类重写了继承自Vehicle
的description属性,提供自定义的,包含当前档位的描述:
class Car: Vehicle {
var gear = 1
override var description: String {
return super.description + " in gear \(gear)"
}
}
重写的description
属性,首先要调用super.description
返回Vehicle
类的description
属性。之后,Car
类版本的description
在末尾增加了一些额外的文本来提供关于当前档位的信息。
如果你创建了Car
的实例并且设置了它的gear
和currentSpeed
属性,你可以看到它的description
返回了Car
中定义的description
:
let car = Car()
car.currentSpeed = 25.0
car.gear = 3
println("Car: \(car.description)")
// Car: traveling at 25.0 miles per hour in gear 3
重写属性观察器(Property Observer)
你可以在属性重写中为一个继承来的属性添加属性观察器。这样一来,当继承来的属性值发生改变时,你就会被通知到,无论那个属性原本是如何实现的。关于属性观察器的更多内容,请看属性观察器。
注意:
你不可以为继承来的常量存储型属性或继承来的只读计算型属性添加属性观察器。这些属性的值是不可以被设置的,所以,为它们提供willSet
或didSet
实现是不恰当。此外还要注意,你不可以同时提供重写的 setter 和重写的属性观察器。如果你想观察属性值的变化,并且你已经为那个属性提供了定制的 setter,那么你在 setter 中就可以观察到任何值变化了。
下面的例子定义了一个新类叫AutomaticCar
,它是Car
的子类。AutomaticCar
表示自动挡汽车,它可以根据当前的速度自动选择合适的挡位:
class AutomaticCar: Car {
override var currentSpeed: Double {
didSet {
gear = Int(currentSpeed / 10.0) + 1
}
}
}
当你设置AutomaticCar
的currentSpeed
属性,属性的didSet
观察器就会自动地设置gear
属性,为新的速度选择一个合适的挡位。具体来说就是,属性观察器将新的速度值除以10,然后向下取得最接近的整数值,最后加1来得到档位gear
的值。例如,速度为10.0时,挡位为1;速度为35.0时,挡位为4:
let automatic = AutomaticCar()
automatic.currentSpeed = 35.0
println("AutomaticCar: \(automatic.description)")
// AutomaticCar: traveling at 35.0 miles per hour in gear 4
防止重写
你可以通过把方法,属性或下标脚本标记为final
来防止它们被重写,只需要在声明关键字前加上@final
特性即可。(例如:final var
, final func
, final class func
, 以及 final subscript
)
如果你重写了final
方法,属性或下标脚本,在编译时会报错。在扩展中,你添加到类里的方法,属性或下标脚本也可以在扩展的定义里标记为 final。
你可以通过在关键字class
前添加final
特性(final class
)来将整个类标记为 final 的,这样的类是不可被继承的,否则会报编译错误。