继承(Inheritance)

  • 值类型（枚举、结构体）不支持继承，只有类支持继承
  • 没有父类的类，称为：基类
    • Swift并没有像OC、Java那样的规定，任何类最终都要继承自某个基类
  • 子类可以重写父类的 下标、方法、属性 ，重写必须加上 override 关键字

内存结构

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
class Animal {
    var age = 0 
}
class Dog : Animal {
    var weight = 0 
}
class ErHa : Dog {
    var iq = 0
}
let a = Animal()
a.age = 10
// 32
print(Mems.size(ofRef: a))
/*
0x00000001000073e0  //类型信息
0x0000000000000002  //引用计数 
0x000000000000000a
0x0000000000000000
*/
print(Mems.memStr(ofRef: a))

let d = Dog()
d.age = 10
d.weight = 20
// 32
print(Mems.size(ofRef: d))
/*
0x0000000100007490
0x0000000000000002
0x000000000000000a
0x0000000000000014
*/
print(Mems.memStr(ofRef: d))

let e = ErHa()
e.age = 10
e.weight = 20
e.iq = 30
// 48
print(Mems.size(ofRef: e))
/*
0x0000000100007560
0x0000000000000002
0x000000000000000a
0x0000000000000014
0x000000000000001e
0x0000000000000000
*/
print(Mems.memStr(ofRef: e))

重写实例方法、下标

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
class Animal {
    func speak() {
        print("Animal speak")
    }
    subscript(index: Int) -> Int {
        return index
    } 
}

class Cat : Animal {
    override func speak() {
        super.speak()
        print("Cat speak") 
    }
    override subscript(index: Int) -> Int {
        return super[index] + 1 
    } 
}
var anim: Animal
anim = Animal()
// Animal speak
anim.speak()
// 6
print(anim[6])

anim = Cat()
// Animal speak
// Cat speak
anim.speak()
// 7
print(anim[6])
  • 被 class 修饰的类型方法、下标，允许被子类重写
  • 被static修饰的类型方法、下标，不允许被子类重写
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
class Animal {
    class func speak() {
        print("Animal speak")
    }
    class subscript(index: Int) -> Int {
        return index    
    }
}
// Animal speak
Animal.speak()
// 6
print(Animal[6])

class Cat : Animal {
    override class func speak() {
        super.speak()
        print("Cat speak") 
    }
    override class subscript(index: Int) -> Int {
        return super[index] + 1 
    } 
}
// Animal speak
// Cat speak
Cat.speak()
// 7
print(Cat[6])

重写属性

  • 子类可以将父类的属性（存储、计算）重写为 计算属性
  • 子类 不可以 将父类属性重写为 存储属性
  • 只能重写 var 属性，不能重写 let 属性
  • 重写时，属性名、类型要一致
  • 子类重写后的属性权限 不能小于 父类属性的权限
    • 如果父类属性是只读的，那么子类重写后的属性可以是只读的、也可以是可读写的
    • 如果父类属性是可读写的，那么子类重写后的属性也必须是可读写的

重写实例属性

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
// 父类
class Circle {
    var radius: Int = 0
    var diameter: Int {
        set {
            print("Circle setDiameter")
            radius = newValue / 2   
        }
        get {
            print("Circle getDiameter")
            return radius * 2 
        }
    } 
}
var circle: Circle
circle = Circle()
circle.radius = 6
// Circle getDiameter
// 12
print(circle.diameter)
// Circle setDiameter
circle.diameter = 20
// 10
print(circle.radius)

// 子类
class SubCircle : Circle {
    override var radius: Int {
        set {
            print("SubCircle setRadius")
            super.radius = newValue > 0 ? newValue : 0 }
        get {
            print("SubCircle getRadius")
            return super.radius
        }
    }
    override var diameter: Int {
        set {
            print("SubCircle setDiameter")
            super.diameter = newValue > 0 ? newValue : 0 
        }
        get {
            print("SubCircle getDiameter")
            return super.diameter
        }
    } 
}
circle = SubCircle()

// SubCircle setRadius
circle.radius = 6

// SubCircle getDiameter
// Circle getDiameter
// SubCircle getRadius
// 12
print(circle.diameter)

// SubCircle setDiameter
// Circle setDiameter
// SubCircle setRadius
circle.diameter = 20

// SubCircle getRadius
// 10
print(circle.radius)

重写类型属性

  • 被class修饰的计算类型属性，可以被子类重写
  • 被static修饰的类型属性（存储，计算），不可以被子类重写
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
class Circle {
    static var radius: Int = 0
    class var diameter: Int {
        set {
            print("Circle setDiameter")
            radius = newValue / 2 
        }
        get {
            print("Circle getDiameter")
            return radius * 2 
        }
    } 
}

class SubCircle : Circle {
    override static var diameter: Int {
        set {
            print("SubCircle setDiameter")
            super.diameter = newValue > 0 ? newValue : 0 
        }
        get {
            print("SubCircle getDiameter")
            return super.diameter
        }
    }
}
Circle.radius = 6
// Circle getDiameter
// 12
print(Circle.diameter)

// Circle setDiameter
Circle.diameter = 20

// 10
print(Circle.radius)
SubCircle.radius = 6

// SubCircle getDiameter
// Circle getDiameter
// 12
print(SubCircle.diameter)

// SubCircle setDiameter
// Circle setDiameter
SubCircle.diameter = 20

// 10
print(SubCircle.radius)

属性观察器

  • 可以在子类中为父类属性（除了只读计算属性、let属性）增加属性观察器
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
class Circle {
    var radius: Int = 1 
}
class SubCircle : Circle {
    override var radius: Int {
        willSet {
            print("SubCircle willSetRadius", newValue)
        }
        didSet {
            print("SubCircle didSetRadius", oldValue, radius)
        }
    }
}
var circle = SubCircle()
// SubCircle willSetRadius 10
// SubCircle didSetRadius 1 10
circle.radius = 10

//重写父类属性观察器
class Circle {
    var radius: Int = 1 {
        willSet {
            print("Circle willSetRadius", newValue)
        }
        didSet {
            print("Circle didSetRadius", oldValue, radius)
        }
    }
}
class SubCircle : Circle {
    override var radius: Int {
        willSet {
            print("SubCircle willSetRadius", newValue)
        }
        didSet {
            print("SubCircle didSetRadius", oldValue, radius) 
        } 
    } 
}
var circle = SubCircle()
// SubCircle willSetRadius 10
// Circle willSetRadius 10
// Circle didSetRadius 1 10
// SubCircle didSetRadius 1 10
circle.radius = 10

// 重写父类计算属性
class Circle {
    var radius: Int {
        set {
            print("Circle setRadius", newValue)
        }
        get {
            print("Circle getRadius")
            return 20
        } 
    } 
}
class SubCircle : Circle {
    override var radius: Int {
        willSet {
            print("SubCircle willSetRadius", newValue)
        }
        didSet {
            print("SubCircle didSetRadius", oldValue, radius) 
        } 
    } 
}
var circle = SubCircle()
// Circle getRadius
// SubCircle willSetRadius 10
// Circle setRadius 10
// Circle getRadius
// SubCircle didSetRadius 20 20
circle.radius = 10

// 重写父类类型属性
class Circle {
    class var radius: Int {
        set {
            print("Circle setRadius", newValue)
        }
        get {
            print("Circle getRadius")
            return 20
        } 
    } 
}
class SubCircle : Circle {
    override static var radius: Int {
        willSet {
            print("SubCircle willSetRadius", newValue)
        }
        didSet {
            print("SubCircle didSetRadius", oldValue, radius)
        } 
    }
}
// Circle getRadius
// SubCircle willSetRadius 10
// Circle setRadius 10
// Circle getRadius
// SubCircle didSetRadius 20 20
SubCircle.radius = 10

final

  • 被 final 修饰的方法、下标、属性，禁止被重写
  • 被 final 修饰的类，禁止被继承

参考

  • 李明杰老师课件