Swift4 类与继承, 类型转换, 类型判断
创建: 2018/03/05
完成: 2018/03/07
更新: 2018/03/09 完善标题 [Swift4 类与继承, 类型转换] -> [Swift4 类与继承, 类型转换与判断]
补充指定final的属性/方法无法被子类重载
更新: 2018/03/30 修改标题 [Swift4 类与继承, 类型转换与判断] -> [Swift4 类与继承, 类型转换, 类型判断]
【任务表】TODO
类定义 | |||||||||||||||||||
类的概要 |
class 型名: 父类, 采用的协议 { 例 class NullClass: ClassNameAchievable, CustomStringConvertible { ● 只能继承一个父类 ● 顺序随意 ● 类的实例与闭包的实例是参照型 ● 没有全项目构造函数, 不定义构造函数则只有默认构造函数(必须索所有属性都有初始值) ● 改变自身属性的函数不需要mutating 类实例是参照型, 改变自身是指改变自身所指。let的不能改变自身所指 构造体是值型, 改变自身属性也是改变自身 |
||||||||||||||||||
类的继承 |
● 只能继承一个父类 ● 被继承的叫父类(super class), 继承的叫子类(sub class), 没有继承其他类的叫基类(base class) 注: C++里父类叫做基类(基底类)(base class) ● 不继承构造函数 继承属性(容纳型, 计算型), 方法, 索引subscript. 继承构造函数的特例: 没有指定构造函数 --> 继承父类所有构造函数 重写父类所有指定构造函数 --> 继承父类所有简易构造函数 详细搜本博文: 构造函数的继承 ● 重载父类的方法或属性加上override 适用于: 方法, 计算型属性, subscript 区分自身与父类的方法与实例: self, super protocol ClassNameAchievable { |
||||||||||||||||||
动态结合与类型转换 |
动态结合: 运行时候判别类型进行条件分歧
|
||||||||||||||||||
类方法与类属性 |
|
||||||||||||||||||
继承与方法的呼出 |
所有方法内部对其他类内部方法的呼出都相当于self.方法名(参数) 类方法与实例方法都是 class A { |
||||||||||||||||||
构造函数 | |||||||||||||||||||
指定初始函数和简易初始函数 |
init(参数) { //指定构造函数 ● 指定构造函数(designated initializer): 仅靠来初始化的构造函数 基类的默认构造函数是指定构造函数 类不可用全项目构造函数(违反封装原则) 简易构造函数(convenience initializer): 呼出本类的其他构造函数再进行附加处理的构造函数 ● 子类必须含有至少一个指定构造函数(只呼出父类的某个指定构造函数, 不呼出本类的其他构造函数) ● 父类的指定构造函数改为简易构造函数的重载加override convenience, 关键词顺序不限 父类的简易构造函数的重载不要override, 因为不会被子类呼出 class Sample { ● 构造函数是否相同只看参数数量, 参数名(最外侧标签), 参数型 无视是否可失败 init(a: Int) { |
||||||||||||||||||
初始化的步骤和规则 |
● (a)指定构造函数必须先初始化新增的属性才能呼出super.init(...) (b)指定构造函数不能在super.init(...)之前设定super里有的属性 init(参数) { //指定构造函数 ● 简易构造函数必须先self.init(...), 也就是必须先呼出指定构造函数/呼出内部呼出指定构造函数的简易构造函数 因为指定构造函数运行完以前的设定会被更改 由此简易构造函数不能设定let量 convenience init(参数) { // 简易构造函数 ● 所有属性初始化完成以前不能使用实例变量, 实例方法, 不能把self作为值来用 用的话写成更外层的函数(如全局函数)或写成静态方法/类方法 ● 不可生成指定构造函数和简易构造函数的合体构造函数 不可用条件分歧(if等)既有super.init(...) 呼出父类指定构造函数, 也有self.init(...) 呼出自身的其他构造函数 |
||||||||||||||||||
构造函数的继承 |
满足一下任意条件则继承一部分 ● 子类一个指定构造函数也没有 继承所有指定构造函数 -> 继承所有简易构造函数 -> 继承所有构造函数 ● 子类带有父类所有指定函数 (a) 和上面一样, 子类一个指定构造函数也没有。 (b) 子类重载了所有指定构造函数 继承所有简易构造函数 总结: 只新建简易构造函数则继承父类所有构造函数 没有指定构造函数 --> 继承父类所有构造函数 重写父类所有指定构造函数 --> 继承父类所有简易构造函数 |
||||||||||||||||||
可能会失败的构造函数 |
类, 构造体可以定义init?(...) { ... } ● 呼出父类的可失败构造函数的也变成可失败构造函数 因为失败时 return nil , 整个构造函数都结束 ● 构造函数是否相同只看参数数量, 参数名(最外侧标签), 参数型 无视是否可失败 init(a: Int) { |
||||||||||||||||||
必须构造函数 required initializer |
所有子类都必须带的构造函数, 名字前加上required required init(...) { ● 重载不需要override, 因为所有子类都必须具有 ● 子类的该构造函数也必须加上required ● 多个关键词是顺序不限 required convenience init(...) { ... } convenience required init(...) { ... } // 两者一样, 关键词顺序不限 |
||||||||||||||||||
排他性法则 |
同一个变量同时只接受一个可读写的接入 目的: 增加安全性 var sampleArray = [, , ] |
||||||||||||||||||
继承与子类的定义 | |||||||||||||||||||
属性的继承 |
class Sample1 { 可以以计算型属性来重载父类的计算型, 容纳型属性 ● 获取父类的属性 super.属性名 ● 容纳型属性是重载必须同时有get, set ● 计算型属性重载 只有get ---> { get }, { get set } 都可 {get set} ---> 必须{ get set} |
||||||||||||||||||
索引的继承 subscript |
class Sample1 { ● 获取父类的索引: super[索引] |
||||||||||||||||||
继承与属性监听 |
可以添加属性监听, 加override ● 可加在父类的容纳型属性与计算型属性里 只可读属性不可加监听 ● 同类内部同一个属性, { get set } { didSet willSet } 不可共存 ● 重载以后原监听不会失效。按从进到远顺序运行 |
||||||||||||||||||
不允许重载的设定 |
加上关键词finnal ● 可用于类, 类属型, 类方法 指定final的无法被继承, 指定final的属性/方法无法被重载 final class Sample { // 指定final的无法被继承 ● 优点: 减少动态结合, 提高运行速度 缺点: 不好维护(不好扩张和继承) |
||||||||||||||||||
类与协议 |
类来实现协议时
|
||||||||||||||||||
为类定义准备的协议 |
● 只有类, 结构体, 枚举型可以采用协议 ● 只运行类采用的协议定义方法 protocol 协议名: class, 继承的协议 { // 协议名后加上class |
||||||||||||||||||
类与型 | |||||||||||||||||||
类型转换运算符 cast operator |
|
||||||||||||||||||
分歧语法与类型转换 |
case let/var 变量名 as 型 ● 例 switch sample { // 子类放在上方 ● if-let和if-case的例 if let v = obj as? Sample { // if-let, if-var ● case条件写的时候和switch里一样, 加上 = 测试对象 case (, ..<) = (x, y) |
||||||||||||||||||
meta type和dynamic type |
● 协议.Protocol 获取协议的meta type(原型), 表示该协议自身meta type ● 协议作型时, 协议.Type 表示采用该协议的型 (协议内部不能有附属型 associatedtype , 不能有 Self ) 具体型为采用该协议的型 class Sample: CustomStringConvertible { ... } |
||||||||||||||||||
继承与Self |
● Self只可用于class内部函数的返回型和protocol ● Self表示当前的类 |
||||||||||||||||||
协议与类的合成 |
typealias Sample = ClassAndTypeTest & CustomStringConvertible & Equatable 表示采用协议的类或其子类 类似于协议的合成 |
||||||||||||||||||
继承与类型推导 |
● 包含不同型元素的数组 AnyObject: 任何类的型 Any: 任何类的型与任何构造体 var array1: [AnyObject] = [ ClassA(), ClassB(), ClassC() ] var array2: [Any] = [ ClassA(), , "Hello" ] ● 获取时要自己类型转换, as/as?/as! ● AnyObject主要用于和Objc交换信息 |
||||||||||||||||||
继承Obejctive-C类 |
和正常继承一样 ● 除了可用继承类的功能, 还可用作为Obejctive-C类的功能 只是想要作为ObjC类来用的话继承NSObject |
||||||||||||||||||
释放时的处理 | |||||||||||||||||||
释放时的处理与析构函数 |
● 必要性 读写文件的变量释放前关闭文件等, 动态释放内存 |
||||||||||||||||||
析构函数的定义 |
deinit { ● 释放前自动呼出, 只呼出一次 ● 从最下层子类一层层往上呼出 没定义的地方跳过, 继续网上 ● 内部处理不限, 但不能妨碍释放(如把要释放的实例代入到全局变量等) |
||||||||||||||||||
析构函数的例 |
class DeinitSampleClass { |
||||||||||||||||||
最新文章
- 关于BCGControlbar16.1版本的安装与使用
- C# iis 错误配置信息( 500.19 - Internal Server Error )
- 基于MVC4+EasyUI的Web开发框架经验总结(15)--在MVC项目中使用RDLC报表
- java实现批量上传(swfupload)
- Why one-norm is an agreeable alternative for zero-norm?
- ASP.NET后台JS弹框使前台页面样式丢失 解决办法
- Java_Utils框架
- 【HDOJ】1513 Palindrome
- node.js下mongoose简单操作实例
- 201521123104《JAVA程序设计》第9周学习总结
- 【开发技术】java异常的捕获与抛出原则
- 【转】使用scipy进行层次聚类和k-means聚类
- WordPress存在DoS拒绝服务漏洞,推荐删除根目录下的xmlrpc.php
- 【题解】【雅礼集训 2017 Day5】远行 LOJ 6038 LCT
- MATLAB读写Excel文件中的数据
- js for form
- lucas 快速求大数组合数
- python:控制鼠标和键盘
- 决定整理一下canvas的基础学习
- git clone 后使用子分支
热门文章
- delete NULL
- Codeforces Round #294 (Div. 2) D. A and B and Interesting Substrings [dp 前缀和 ]
- FusionCharts for Flex 如何更改图表数据
- poj——3118 Arbiter
- java学习(4)——动手动脑
- Java泛型的主要用途
- Meteor模板
- Office EXCEL 如何将复制的一堆数据按空格断开
- Linux 将一般的用户加入sudo组is_not_in_the_sudoers_file._This_incident_will_be_reported解决方法
- Deepin-文件目录介绍