【读书笔记】The Swift Programming Language (Swift 4.0.3)

素材：Language Guide

初次接触 Swift，建议先看下 A Swift Tour,不然思惟转换会很费力，容易卡死或钻牛角尖。

一样是每一章只总结3个本身认为最重要的点。这样挺好!强迫你去思考去取舍。之后再看，也方便快速重建记忆。

注意： 我的笔记，仅供参考，不保证严格意义上的正确性。

The Basics

* 整数,优先使用 Int,浮点数,优先使用 Double
* 可使用 0b 表示二进制,能够在数字中间插入可读字符 _,如 182_3880_25
* as 仅用于兼容类型间的相互转换.非兼容类型的转换,由各个类本身的初始化方法实现.

Basic Operators

* 空格对操做符的影响很大,如 a??b 应该写做 a ?? b, 由于 a? 也是一个有效的操做符.
* a ?? b 返回的是 a unwrap 后的值或 b 的值. ?? 比 js 的 || 好使多了,由于前者能准确区分零值和nil值.只有nil值时,才须要使用默认值.
* names[0..<2] 本质上,是获得了一个数组. ==> 本质上,应该是 array 的[]操做符,重载后,支持了 range 参数.

Strings and Characters

* 多行字符串的起始偏移,是根据末尾的 """ 的偏移 来断定的.
* collection 类型,都有本身的 index struct.String 中涉及的增删改查操做,适用于全部 collection 类型.
* SubString 的增删改查,只是一个原有 String 上的游标操做.

Collection Types

* collection type 是struct,是复制传值,即便只是 a = b
* 操做符重载以后,能够支持数组相加(+)等操做,能够显著代码的可读性和简洁性
* 能在编译器推导出的模板类型部分,均可以省略实例类型部分

Control Flow

* switch case 匹配中的 range,也支持源于 String.index 的range
* where 充当一个查询子句的角色
* \#available的确可让API可用性检查,更方便.

Functions

* 可变字符串的 label 是能够在函数声明时,由本身指定的. ==> 可变参数,不须要是最后一组参数
* inout 有点像是指针传值;不一样的是,在函数内使用时,不须要处理指针解引用操做,直接一个普通 var 变量使用便可.
* 参数默认是 let 不可变类型,不容许修改

Closures

* function type 不包含 label 部分 --> 传递function时,其label部分会被自动忽略. -->  在绝大部分场景中,两者是兼容的.
* closure 能够省略参数类型,是由于类型推导机制的存在 --> 尾闭包，能够省略 ();
* 用做函数参数的闭包,若是想在函数外使用,须要额外加 @escaping 标记 ;@autoclosure 会自动补全用做函数参数的闭包的{}符号 --> @autoclosure 标记的闭包,是有可能和其余通常参数标记的参数,函数签名重复的.

Enumerations

* 递归定义的枚举,就是一个演示函数式编程的绝佳示例.
* swift 中的枚举,变成了一中,能够有效承载数据和算法的描述性数据结构.
* swift 中的 enumeration ,极有可能成为一种新的 Model 载体.

Classes and Structures

* 可选变量,的确会被自动初始化为 nil.
* swift 中,能够设置组件的 frame 了.呼哈哈 label.frame.origin.x = 100.
* String, Array, and Dictionary 居然是在swift中被实现为结构体了,值传递.

Properties

* lazy 关键字实现的属性懒加载,果真比重写 getter 方法,要清晰简洁好多啊.
* 能够用 static 或 class 声明类变量/类方法; 用class 声明的类变量或类方法,支持子类重写其实现.
* [self class] 等价写法是: type(of: self).

Methods

* 结构体实例中,方法是否可以修改属性,也受实例自己的可变性的影响.
* 结构体或枚举等值类型,容许在实例方法内,直接给 self 赋值,完整替换.
* 枚举类型的相关操做,均可以封装在枚举类型自身,这样封装性会更好.

Subscripts

* subscript 是一个新的语言特性,不是简单的函数重写.
* subscript 能够接收多个参数
* subscript 的参数和返回值,能够彻底自定义

Inheritance

* 能够经过 super 来使用父类方法或属性.
* 能够在方法或属性前加 final 关键字,来禁止被子类重写.
* 能够在类前加 final 关键字,来禁止被继承.

Initialization

* deisingnated init 通常只调用父类 deisingnated init; convenience init 通常只调用同类的 desingnated init;deisingnated init 中,是不容许调用同级的另外一个deisingnated init;子类中,只容许调用父类的 designated init.
* 调用父类初始化方法前,子类自有的 stored property 必须先所有初始化 --> super.init 若是不显式调用, 系统会自动调用. 在调用 super.init 以前,不能调用任何实例方法,由于对象尚未效初始化.
* 用 closure 指定默认值和属性的get/set 方法的区别在于 声明有个等号(=),说明前者是个赋值操做.

Deinitialization

* 把变量置为 nil,便可触发 deinit.
* deinit 执行顺序:  子类 --> 父类.
* 不能在子类 deinit 中调用 super.deinit.

Optional Chaining

* 在访问 optional 对象的内部属性时,必须使用 ? 或 ! 进行 unwrap 操做.
* 赋值操做中,若是左侧是要赋值给 optional 实例的某个属性,则会先 unwrap optional 实例,若是不为nil,才会计算右侧的表达式.
* 链式语法中,有一个 optional 调用(X?),则返回值必然是 optional 的.

Error Handling

* 函数A中,能够 try 函数B,若是函数B抛出错误,则会直接抛给 A 的调用者.
* do-catch 中的catch 部分 和 switch-case 中的case部分,匹配方式很像.
* try? 的做用是是将函数返回值转换为 optional 对象. try? 的返回值,有多是多层 optional,层数等于原函数返回值的 optional wrap 层数 + 1.try! 是保证不会抛出异常,若是有,就直接crash.

Type Casting

* is 近似于 isKind; 精确判断时,能够考虑使用 type(of: T1) == T2.self
* 类型转换用的是 as? 或 as!,用法习惯和 try? try! 相似.
* 数组具体化类型声明为 Any / AnyObject 时,数组内可同时存放多种类型不兼容的实例.

Nested Types

* 支持类型嵌套定义,这已是很大的突破了.
* 即便在函数内部,也能够定义新的类型.
* 能够用.语法,访问嵌套定义的类型.

Extensions

* extensions 和 categories 的重要区别之一是,前者不须要写名字.
* extensions 不容许覆盖已有方法,且不一样 extentsion 中的方法签名也不容许重复.
* extentsion 扩展的东西,是能够被子类继承的.

Protocols

* 在swift 的设定中, protocol 也属于 type,能够用于任何 type 适用的场景.
* 在类型声明遵循某协议之外的位置,书写符合协议的方法是,用 & 链接多个协议,如 AP&BP&CP.
* protocol 能够在 extension 中定义本身的方法,任意遵循此协议的类型的实例均可以调用此协议本身的方法实现. --> 能够在 extension 实现协议规定的属性或方法的默认实现. -->能够用 extension-where来指定,仅在特定条件下,才有效的protocal自有协议方法.

Generics

* 泛型类型中的占位类型,也能够用于其自身的 extention 中.
* 能够用相似 <T: SomeClass> 或 <T: SomeAProtocol&SomeBProtocol> 或 where 子句 指定占位类型自己须要知足的类型或协议约束. --> 借助 associatedtype 关键字, protocol 也能够支持泛型.
* AnyObject 自己不能直接在类型定义时,声明应遵循的协议的位置使用 --> 能够先定义一个协议 A,继承自 AnyObject,而后让类型定义时声明遵循协议 A,便可间接使用协议 AnyObject.

Automatic Reference Counting

* optional 变量,也是强引用 -> 能够继续使用 weak 关键字声明弱引用属性或变量 -> unowned 与 weak 的区别是,前者不会自动置为 nil.
* closure 是引用类型 -> closure 内引用实例属性,必须加 self前缀 -> closure 的参数声明前,能够加一个 capture list,如 [unowned self],来解决循环引用问题.
* 能够证实,在非 self 之外的状况, closure 并不会引发内部使用变量的引用计数的变化.

Memory Safety

* inout 标记的函数参数,是最容易引发访问冲突问题的.
* 往同一函数,同时以不一样的 inout 参数,传递同一个实际变量,会引发访问冲突 --> 这一行为,能够被自动识别并标记出来
* 类型方法调用,不容许使用自身做为 inout 参数传递给本身的某个方法.

Access Control

* 默认访问级别是 internal,能够在定义它的模块内的各个源文件之间自由使用.
* fileprivate 和 private 并存,是由于swift中容许类型嵌套定义.
* 子类的访问级别不能比父类更宽松;可是子类能够经过重写机制,使父类的成员的访问级别变的更宽松.

Advanced Operators

* 重载操做符的语法是: static [prefix|infix|postfix] func 某个操做符 --> == 和 != 也能够重载,来简化等价判断操做.
* 复合操做符,要单独重载,不会自动根据已有操做符自动推导,如 不会根据 + ,自动实现 +=.
* 能够基于已有操做符,声明本身的操做符: prefix|infix|postfix operator 操做符,infix 二元操做符,要单独声明优先级,如 : infix operator +-: AdditionPrecedence.