if case let
首先,一个用到数据绑定的switch
语法是这样的。
let someTuple = (66, 99)
switch someTuple {
case (100, _):
print("左侧100, 不在乎右侧")
case (66, let right):
print("左侧66, 右侧\(right)")
case let (left, 88):
print("左侧\(left), 右侧为88")
case let (left, right):
print("其它: \(left) + \(right)")
}
if case let
其实和switch
是有关系的,正如下面代码中的,两种表达式的效果是相同的。所以if case let
其实就相当于switch case let
的逻辑分支。
switch someTuple {
case let (left, 99):
print("左侧\(left), 右侧99")
default:
print("右侧非99")
}
// 与上面的代码效果一致
if case let (left, 99) = someTuple {
print("左侧\(left), 右侧99")
}
除了if case let
,类似的表达方式还有guard case let
。
guard case let (left, 99) = someTuple else {
fatalError("右侧非99")
}
以及for case let
。
let tupleArray = [(11, 22), (33, 55), (77, 77), (88, 88)]
// 而下面两种表达方式的效果是相同的
for (left, right) in tupleArray {
print("\(left) + \(right)")
}
for case let (left, right) in tupleArray {
print("\(left) + \(right)")
}
// 而且还可以配合 where使用
for case let (left, _) in tupleArray where left < 50 {
print("左侧\(left)小于50")
}
当然你可以说这种写法很鸡肋,因为没有必要多敲两个代码。但它的真正价值在于你使用有关联值的枚举时,这并不是元组可以代替的。
enum BirthDay {
case time(year: Int, month: Int, day: Int)
}
let birth1 = BirthDay.time(year: 2000, month: 1, day: 2)
let birth2 = BirthDay.time(year: 2010, month: 5, day: 20)
let birth3 = BirthDay.time(year: 2020, month: 10, day: 30)
let birthArr = [birth1, birth2, birth3]
for case let BirthDay.time(_, month, day) in birthArr where month <= 6 {
print("他是前半年的生日\(month)月\(day)日")
}
== 和 ===
==
表示值相同。值类型和引用类型都可以比较。
let string1 = "string"
let string2 = "string"
string1 == string2 // true
===
表示两个引用类型引用自相同的实例,即引用了同一块内存区域。只能比较于引用类型。
let aView = UIView()
let bView = aView
aView == bView // true
aView === bView // true
多重可选类型
var optString: String? = "abc"
var aOptString: String?? = optString
var literalOptString: String?? = "abc"
print(aOptString) // Optional(Optional("string"))
print(literalOptString) // Optional(Optional("string"))
有值的多重可选类型aOptString
和literalOptString
是等效的。
var optNil: String? = nil
var aOptNil: String?? = optNil
var literalOptNil: String?? = nil
print(aOptNil) // Optional(nil)
print(literalOptNil) // nil
为nil
的多重可选类型aOptNil
和literalOptNil
是不一样的类型。这说明,多重可选类型的分层逻辑还是很严谨的,它能明确定位nil
究竟在哪一层。
class和 static的区别
有一个A类
,还有一个B类
继承于A类
。下面代码中介绍了,关于父类和子类中使用static
和class
关键字的场景。
class A {
// class修饰
class func aClassMethod() {}
class var aClassProperty: String {
return "a"
}
// class var aClassSaveProperty = ""
// Error: Class stored properties not supported in classes; did you mean 'static'?
// static修饰
static func aStaticMethod() {}
static var aStaticProperty: String {
return "ap"
}
}
class B: A {
// class修饰
override class func aClassMethod() {}
override class var aClassProperty: String {
return "b"
}
// static修饰
// Error: Cannot override static method
// static func aStaticMethod() {}
// Error: Cannot override static property
// override static var aStaticProperty: String {
// return "bp"
// }
}
在类中static
和class
关键字都可以修饰方法和属性, 但有一些本质的不同:
- 应用类型
static
修饰,表示静态方法或静态属性,可以用于所有类型class
,strut
,enum
。 - 属性类型
static
修饰的属性可以是计算属性也可以是存储属性。
class
修饰的属性只能是计算属性。 - 继承重写
static
修饰的类方法和属性是可以继承重写的。
class
修饰的类方法和类属性无法在子类中重写,相当于final class
。
.Type、.self、Self
.Type
:当前类的元类型(Meta)。
.self
:静态获取当前类型或者实例的本身(包括class
、struct
、enum
、protocol
)。
Self
:不是一个特定的类型,遵循当前协议的类型或者当前类及其子类。
struct S {
static var classProperty = ""
var instanceProperty = ""
}
protocol P {}
.Type和.self
我认为下面的例子将.Type
和.self
的区别表述的非常清楚了。
type(of: S()) // S
// S()实例, 其类型是 S
type(of: S().self) // S
// S类型的本身, 其类型是 S.Type
type(of: S.self) // S.Type
// S类型的元类, 其类型是 S.Type.Type
type(of: S.Type.self) // S.Type.Type
// P协议的本身, 其类型是 P.Protocol
type(of: P.self) // P.Protocol
// P协议的元类, 其类型是 P.Type.Protocol
type(of: P.Type.self) // P.Type.Protocol
// intType的值是 Int, 类型是 Int.Type
let intType: Int.Type = Int.self
intType // Int
在效果上,.self
在类型后相当于取得类型本身,在实例后相当于取得这个实例本身。
S.classProperty
S().instanceProperty
在语法上,.self
是可以省略不写的,所以下面的代码与上面的效果一致。
S.self.classProperty
S().self.instanceProperty
classForCoder
也是一个获取类型的方法,但最好不要使用。它是Foundation
框架下的NSObject
属性,并不是swift
的属性。在Swift
开发中,尽可能保持Swift
化。
UIImageView.classForCoder() // 不推荐
UIImageView.self // 推荐
Self
Swift
不能在协议中定义泛型进行限制,所以在声明或者实现协议时,Self
就可以来代指实现这个协议本身的类型。
protocol SomeProcotol {
func someFunc() -> Self
}
另外,用在类中,只可以用作方法的返回值(其他位置不可以使用)。
Self
表示当前类及其子类,这里仅限于 class
。
class SS {
func some() -> Self { return self }
}
SS().some()
swift中动态和静态地获取类型
type(of: someInstance)
: 动态获取当前实例的类型.
.dynamicType
: Deprecated, instead of type(of:)
someInstance.self
: 静态获取类型
is
: 静态获取类型
class BaseClass {
class func printClassName() {
print("BaseClass")
}
}
class SubClass: BaseClass {
override class func printClassName() {
print("SubClass")
}
}
let someInstance: BaseClass = SubClass()
someInstance
是一个指定为BaseClass
的SubClass
实例对象,这在OC
中称为多态。
但Swift
默认情况下是不采用动态派发,而是静态的,所以函数的调用是在编译时期决定。比如is条件语句
、.self
,都是静态获取类型的。
someInstance is SubClass // True
someInstance is BaseClass // True
BaseClass.self is BaseClass.Type // True
获取一个对象的动态类型,可以通过 type(of:)
。
type(of: someInstance) == SubClass.self // True
type(of: someInstance) == BaseClass.self // False
函数嵌套
这里所说的函数嵌套与柯里化中所提到的函数分层调用不是一个概念,而是在函数中继续定义函数。
来看下面一个函数:
func generateObjec(type: Int) -> String {
if 0 == type {
return zeroType()
} else if 1 == type {
return oneType()
} else {
return defaultType()
}
}
func zeroType() -> String {
return "Zero"
}
func oneType() -> String {
return "One"
}
func defaultType() -> String {
return "Two"
}
如果使用函数嵌套将会如下效果:
func generateObjec(type: Int) -> String {
func zeroType() -> String {
return "Zero"
}
func oneType() -> String {
return "One"
}
func defaultType() -> String {
return "Two"
}
if 0 == type {
return zeroType()
} else if 1 == type {
return oneType()
} else {
return defaultType()
}
}
函数嵌套在你函数主体内容过长,且本模块的功能与外部逻辑没有任何关系时,能发挥非常大的作用。它会使你的单个函数不在冗长,且将它们分成几个小型的模块,且定义在主函数之内,并不影响外部的关系。
所以这样的访问权限和这样的模块化会提高代码可读性和维护性。
观察属性
在类ObserverA
和ObserverB
中,观察属性的使用逻辑和重写逻辑如下:
class ObserverA {
var number :Int {
get {
print("get")
return 1
}
set {
print("set")
}
}
}
class ObserverB: ObserverA {
override var number: Int {
willSet {
print("willSet")
}
didSet {
print("didSet")
}
}
}
let obseverB = ObserverB()
obseverB.number = 0
// 打印顺序:
// get
// willSet
// set
// didSet
总结如下:
- 初始化方法对属性的设定,以及在
willSet
和didSet
中对属性的再次设定都不会再次触发属性观察。 - 在
swift
中的计算属性只是提供set
和get
两种方法,当你willSet
及didSet
方法时会报错。所以在同一个类型中,属性观察和计算属性是不能同时共存的。但我们可以通过继承重写计算属性来实现属性观察的目的。 - 当触发
didSet
的时候,会自动触发一次get
,这是因为didSet
中会用到oldValue
,而这个值需要在整个set
动作之前进行获取并存储待用,否则将无法确保正确性。如果我们不实现didSet
的话,那么get
也不会触发。
Protocol的调用逻辑
protocol AProtocol {
func method1() -> String
}
extension AProtocol {
func method1() -> String {
return "在Protocol中的实现"
}
func method2() -> String {
return "在Protocol中的实现"
}
}
struct AStruct: AProtocol {}
struct BStruct: AProtocol {
func method1() -> String {
return "在实际类中的实现"
}
func method2() -> String {
return "在实际类中的实现"
}
}
协议方法调用者为实际类型的情况
如果实际类型实现了协议,那么实际类型中协议的实现将被调用。
如果实际类型中没有实现协议,那么协议扩展中的默认实现将被调用。
AStruct().method1() // 在Protocol中的实现
BStruct().method1() // 在实际类中的实现
1
2
协议方法调用者为被推断为协议类型的情况:
如果方法在协议中进行了声明,且类型中实现了协议,那么类型中的实现将被调用。
如果方法没有在协议中声明,或者在类型中没有实现,那么协议扩展中的默认实现被调用。
BStruct().method1() // 在实际类中的实现
BStruct().method2() // 在实际类中的实现
let aProtocol = BStruct() as AProtocol
aProtocol.method1() // 在实际类中的实现
aProtocol.method2() // 在Protocol中的实现
Objective-C协议的默认实现
Swift
可以在扩展中实现协议,从而进行默认调用,而OC
中并没有这种方法。所以,孙源曾经封装了一个库来实现类似功能:ProtocolKit 。
下标语法
struct House {
var peoples: [String]
subscript(index: Int) -> String {
set {
peoples[index] = newValue
}
get {
return peoples[index]
}
}
subscript(people: String) -> Int? {
return peoples.firstIndex(of: people)
}
}
let peoples = ["Jordan", "Duncan", "YaoMing", "James", "Wade"]
var nbaHouse = House(peoples: peoples)
nbaHouse[1] // "Duncan"
nbaHouse["James"] // 3
nbaHouse[2] // "YaoMing"
nbaHouse[2] = "Iverson" // "Iverson"
nbaHouse.peoples // ["Jordan", "Duncan", "Iverson", "James", "Wade"]
减少容器类的类型损失
我们想要不同类型的元素放入一个容器中,比如定义容器中元素类型 Any
或者 Anyobject
,但这样的转换会造成部分信息的损失。
let mixed: [Any] = [1, "two", true]
let any = mixed[0]
我们想要放入一个容器中的元素或多或少会有某些共同点,这就使得用协议来规定。这种方法虽然也损失了一部分类型信息,但是相对于Any
或者Anyobject
还是改善很多。
let mixed2: [CustomStringConvertible] = [1, "two", true]
for obj in mixed2 {
print(obj.description)
}
另一种做法是使用enum
可以嵌套值的特点,将相关信息封装进enum
中。这个方法绝对无懈可击。
enum MixedWrap {
case IntValue(Int)
case StringValue(String)
case BoolValue(Bool)
}
let mixed3 = [MixedWrap.IntValue(1),
MixedWrap.StringValue("two"),
MixedWrap.BoolValue(true)]
for value in mixed3 {
switch value {
case let .IntValue(i):
print(i)
case let .StringValue(s):
print(s)
case let .BoolValue(b):
print(b)
}
}
模式匹配
在 Swift
中,使用~=
来表示模式匹配的运算符。~=
操作符有下面三种API:
- 判等类型是否相同
func ~=(a:T,b:T) -> Bool - 判等与 nil比较的类型
func ~=(lhs: _OptionalNilComparisonType, rhs: T?) -> Bool - 判等一个范围输入和某个特定值
func ~=(pattern: I, value: I.Bound) -> Bool
Swift
的switch
就是使用了~=
运算符进行模式匹配,case
指定的模式作为左参数输入,而等待匹配的被switch
的元素作为运算符的右侧参数。只不过这个调用是由 Swift
隐式完成的。
switch "snail" {
case "snail":
print("相等")
default:
break
}
let num: Int? = nil
switch num {
case nil:
print("nil")
default:
print("\(num!)")
}
let x = 5
switch x {
case 0...10:
print("Bound之内")
default:
print("Bound之外")
}
再来看我们如何进行自定义switch
的模式匹配。
func ~=(left: String, right: String) -> Bool {
// 自定义为包含条件
return right.contains(left)
}
let content = "1234567890"
switch content {
case "123":
print("包含数字")
case "abc":
print("包含字母")
default:
print("不包含")
}
// 包含数字
字面量语法
Swift 有一组非常方便的接口,用来将字面量转换为特定的类型。
- ExpressibleByArrayLiteral
- ExpressibleByBooleanLiteral
- ExpressibleByDictionaryLiteral
- ExpressibleByFloatLiteral
- ExpressibleByIntegerLiteral
- ExpressibleByStringLiteral
- ExpressibleByUnicodeScalarLiteral
- ExpressibleByExtendedGraphemeClusterLiteral
Int
型的字面量语法
/**
public protocol ExpressibleByIntegerLiteral {
associatedtype IntegerLiteralType : _ExpressibleByBuiltinIntegerLiteral
init(integerLiteral value: Self.IntegerLiteralType)
}
*/
ExpressibleByIntegerLiteral
是关于Int
型的字面量语法的协议。
struct AgeStage: ExpressibleByIntegerLiteral {
let age: Int
init(age: Int) {
self.age = age
}
init(integerLiteral value: Int) {
self.init(age: value)
}
}
let age18: AgeStage = 18
age18.age // 18
字符串类型的字面量语法
/**
public protocol ExpressibleByStringLiteral : ExpressibleByExtendedGraphemeClusterLiteral {
associatedtype StringLiteralType : _ExpressibleByBuiltinStringLiteral
init(stringLiteral value: Self.StringLiteralType)
}
*/
ExpressibleByStringLiteral
是关于字符串类型的字面量语法的协议。但因为ExpressibleByStringLiteral
是有继承的关系的,所以其实需要遵循三个协议内容来实现字面量语法。
class Cow: ExpressibleByStringLiteral {
let name: String
init(name value: String) {
self.name = value
}
required convenience init(stringLiteral value: String) {
self.init(name: value)
}
required convenience init(extendedGraphemeClusterLiteral value: String) {
self.init(name: value)
}
required convenience init(unicodeScalarLiteral value: String) {
self.init(name: value)
}
}
let cow: Cow = "Mar~Mar~"
cow.name // Mar~Mar~
自定义高级运算符
为Seat
类自定义运算符+
、++
、+*
,来提升代码的简洁度。并为它们设定了运算的优先级,来确保运算过程的正确性。
precedencegroup MulAddPrecedence {
associativity: none
higherThan: MultiplicationPrecedence
}
infix operator +: AdditionPrecedence
infix operator ++: MultiplicationPrecedence
infix operator +*: MulAddPrecedence
struct Seat {
var row = 0
var column = 0
static func + (left: Seat, right: Seat) -> Seat {
let row = left.row + right.row
let column = left.column + right.column
return Seat(row: row, column: column)
}
static func ++ (left: Seat, right: Seat) -> Seat {
let row = left.row + right.row * 2
let column = left.column + right.column * 2
return Seat(row: row, column: column)
}
static func +* (left: Seat, right: Seat) -> Seat {
let row = left.row * left.row + right.row * right.row
let column = left.column * left.column + right.column * right.column
return Seat(row: row, column: column)
}
}
let seat1 = Seat(row: 2, column: 3)
let seat2 = Seat(row: 4, column: 7)
let seat3 = Seat(row: 5, column: 10)
seat1 + seat2 + seat3 // row 11, column 20
seat1 ++ seat2 ++ seat3 // row 20, column 37
seat1 +* (seat2 +* seat3) // row 1685, column 22210
//seat1 +* seat2 +* seat3 // Error
在 seat1 +* seat2 +* seat3
这行代码,会报错:Adjacent operators are in non-associative precedence group ‘MulAddPrecedence’。这是由于其优先级MulAddPrecedence
的结合性为none
,即没有定义。这时候需要将其改为left
或者right
。
另外,关于运算符和优先级的一些说明可以看这里,precedenceGroup、precedence、associativity。
结合运算符封装正则匹配工具
在Swift
中没有正则表达式的API
,但可以使用OC
中的 NSRegularExpression
配合Swift
中的特性来使用。下面代码中封装了一个正则工具:
struct RegexHelper {
let regex: NSRegularExpression
init(_ pattern: String) throws {
try regex = NSRegularExpression(pattern: pattern, options: .caseInsensitive)
}
func match(_ content: String) -> Bool {
let matches = regex.matches(in: content,
options: [],
range: NSMakeRange(0, content.utf16.count))
return !matches.isEmpty
}
}
let zhPattern = "^[\u{4e00}-\u{9fa5}]{0,}$"
let matcher = try RegexHelper(zhPattern)
if matcher.match("哈哈哈哈哈哈") {
print("纯中文字符串通过")
}
//纯中文字符串通过
再进一步封装,自定义一个运算符结合起来,更加简便。
precedencegroup MatchPrecedence {
associativity: none
higherThan: DefaultPrecedence
}
infix operator =~: MatchPrecedence
func >> (pattern: String, content: String) -> Bool {
do {
return try RegexHelper(pattern).match(content)
} catch _ {
return false
}
}
if zhPattern >> "DCSnail哈哈哈" {
print("纯中文字符串通过")
}
集合协议Sequence和IteratorProtocol
想修改或者实现一个自定义的集合类型,就需要用到Sequence
协议,以及IteratorProtocol
协议。它们的API
如下:
/**
public protocol IteratorProtocol {
associatedtype Element
mutating func next() -> Self.Element?
}
public protocol Sequence {
associatedtype Element where Self.Element == Self.Iterator.Element
associatedtype Iterator : IteratorProtocol
__consuming func makeIterator() -> Self.Iterator
var underestimatedCount: Int { get }
func withContiguousStorageIfAvailable(_ body: (UnsafeBufferPointer) throws -> R) rethrows -> R?
}
*/
比如要自定义一个反向迭代的数组,需要编写一个反向的迭代器,并植入Sequence
协议中。
struct CustomReverseIterator: IteratorProtocol {
typealias Element = T
var array: [Element]
var currentIndex: Int
init(_ array: [Element]) {
self.array = array
currentIndex = array.count - 1
}
mutating func next() -> Element? {
guard currentIndex >= 0 else {
return nil
}
let int = array[currentIndex]
currentIndex -= 1
return int
}
}
struct CustomReverseSequence: Sequence {
var array: [T]
init(_ array: [T]) {
self.array = array
}
typealias intrator = CustomReverseIterator
func makeIterator() -> intrator {
return CustomReverseIterator(self.array)
}
}
let animals = ["Antelope", "Butterfly", "Camel", "Dolphin"]
let sequence = CustomReverseSequence(animals)
for animal in sequence {
print(animal)
}
// Dolphin
// Camel
// Butterfly
// Antelope
Codable
Codable
是Swift
中关于序列化和反序列化的标准协议。在官方API
中Decodable
协议和Encodable
协议的别名称作Codable
。
public protocol Decodable {
init(from decoder: Decoder) throws
}
public protocol Encodable {
func encode(to encoder: Encoder) throws
}
public typealias Codable = Decodable & Encodable
JSON
数据如下,数据模型对应的类型为定义为Fish
,在Swift
中通过Codble
协议可以很轻易地完成JOSN
和model
之间的转化。
let fishJson = """
[{
"name": "SmallFish",
"age": 1,
},{
"name": "BigFish",
"age": 3,
}]
""".data(using: .utf8)!
struct Fish: Codable {
var name = ""
var age = 0
}
Encodable、Decodable
Decodable:JSON -> 模型
let decoder = JSONDecoder()
do {
// 字典使用Type.self; 数组使用[Type].self
let fishs = try decoder.decode([Fish].self, from: fishJson)
print(fishs)
// [__lldb_expr_1.Fish(name: "SmallFish", age: 1), __lldb_expr_1.Fish(name: "BigFish", age: 3)]
} catch {
print(error)
}
Encodable:模型 -> JSON
let encoder = JSONEncoder()
encoder.outputFormatting = .prettyPrinted
do {
let data = try encoder.encode(Fish(name: "OldFish", age: 5))
print(String(data: data, encoding: .utf8)!)
// { "name" : "OldFish", "age" : 5 }
} catch {
print(error)
}
进入正题,在如上代码中Fish
类仅仅写了一个遵循Codable
的代码,Swift
是如何进行转化的呢?其实,结构体Fish
类遵循Codable
的代码后,会自动实现以下内容:
init(name: String, age: Int) {
self.name = name
self.age = age
}
// Decodable
init(from decoder: Decoder) throws {
let container = try decoder.container(keyedBy: CodingKeys.self)
let name = try container.decode(String.self, forKey: .name)
let age = try container.decode(Int.self, forKey: .age)
self.init(name: name, age: age)
}
// Encodable
func encode(to encoder: Encoder) throws {
var container = encoder.container(keyedBy: CodingKeys.self)
try container.encode(name, forKey: .name)
try container.encode(age, forKey: .age)
}
enum CodingKeys: String, CodingKey {
case name
case age
}
CodingKeys
当然在实际开发中,没有这么简单,可能还有数据模型中key的转化、value的转化等。下面中举例了companyJson
和接收类型Company
的关系。
let companyJson = """
{
"company_name": "****科技有限公司",
"create_time": 1556676900,
"state": "suspend",
"worth": "---",
"employees": [{
"name": "SmallFish",
"age": 1,
},{
"name": "BigFish",
"age": 3,
}],
}
""".data(using: .utf8)!
struct Company: Codable {
var companyName: String
var createTime: Date
var state: CompanyState
var special: Float
var employees: [Fish]
enum CodingKeys: String, CodingKey {
case companyName = "company_name"
case createTime = "create_time"
case state
case special = "worth"
case employees
}
enum CompanyState: String, Codable {
case open = "open"
case close
case suspend
}
}
key的转化:通过对 CodingKeys
枚举进行自定义,来实现 key
的对应转化。上面代码中自定义的转化为company_name->companyName
、create_time->createTime
、worth->special
。
还可以通过设置key的策略
,系统自动转化划线转驼峰。所以这个属性设置后,可以省略company_name
和create_time
。当设置decoder
的keyDecodingStrategy
属性为.convertFromSnakeCase
后就会自动转化为companyName
和createTime
了。
value的转化:通过将state
定义为关联值为字符串的枚举类型CompanyState
,以实现value
从字符串向枚举的自主转化,以及整体的Codable
。这里极大的体现了Swift
中枚举的灵活性,利用其关联值的特性进行自主转化。
但是比如,json
中的某个value
为字符串类型,想要在model
中转化为Int
类型,这就需要自己实现Codable
的协议了,自己定义转化了。当然你实现后,也会覆盖系统的自动实现。
// date的转化策略, 由时间戳直接转化为 date
decoder.dateDecodingStrategy = .secondsSince1970
// 其它的转化策略...
// special指定 infinity、-infinity、nan 三个特殊值的转化
decoder.nonConformingFloatDecodingStrategy = .convertFromString(positiveInfinity: "+++", negativeInfinity: "---", nan: "***")
do {
let company = try decoder.decode(Company.self, from: companyJson)
print(company)
// Company(companyName: "****科技有限公司", createTime: 2019-05-01 02:15:00 +0000, state: __lldb_expr_1.Company.CompanyState.suspend, special: -inf, employees: [__lldb_expr_1.Fish(name: "SmallFish", age: 1), __lldb_expr_1.Fish(name: "BigFish", age: 3)])
} catch {
print(error)
}
补充:NaN
是Not a Number
的简写,可以用来表示某些未被定义的或者出现了错误的运算。
let a = 0.0 / 0.0 // nan
let b = sqrt(-1.0) // nan
let c = 0.0 * Double.infinity // nan
a.isNaN // true
Equatable、Hashable、Comparable
Equatable
首先,这三者都是协议,它们之间的关系是,Hashable
和Comparable
都是继承自Equatable
协议。
实现Equatable
协议后,就可以用==
符号来判断两个对象是否相等了。
public protocol Equatable {
static func == (lhs: Self, rhs: Self) -> Bool
}
这里先不用代码说明,因为下面Hashable
协议中会提到。
Hashable
遵循Hashable
协议,也必须满足Equatable
协议。因为Hashable
协议继承自Equatable
协议。实现了Hashable
协议就可以使用哈希值了。
public protocol Hashable : Equatable {
var hashValue: Int { get }
func hash(into hasher: inout Hasher)
}
官方文档中指出,hashValue
is deprecated as a Hashable
requirement.To
conform to Hashable
,implement the hash(into:)
requirement instead。如今Hashable
协议,已不再要求必须实现hashValue
了,由hash(into:)
代替。
对于class
来说,Hashable
协议实现是这样的:
class Duck: Hashable {
let name: String
let age: Int
init(name: String, age: Int) {
self.name = name
self.age = age
}
// Hashable
func hash(into hasher: inout Hasher) {
// 需要注意的是不同的类比较哈希的话, combine的顺序需要保证一致
hasher.combine(name)
hasher.combine(age)
}
// hashValue 已不再要求必须实现了, 由上面hash(into:)代替
// var hashValue: Int {
// return self.name.hashValue ^ self.age.hashValue
// }
// Equatable
static func == (lhs: Duck, rhs: Duck) -> Bool {
if lhs.name == rhs.name && lhs.age == rhs.age{
return true
}
return false
}
}
let duck = Duck(name: "Duck", age: 2)
let duck2 = Duck(name: "Duck", age: 2)
// 哈希值
duck.hashValue // -7196963873420679324
duck2.hashValue // -7196963873420679324
// 手动实现的Equatable
duck == duck2 // true
如果你自定义的类型满足下面条件,编译器会自动实现Hashable
和Equatable
,只需遵循即可。
- 在struct中,存储属性如果都遵循
Hashable
协议。 - 在enum中,关联值如果都遵循
Hashable
协议。
但是对于class
来说是不会自动合成的,需要手动实现.
struct Animal: Hashable {
let name: String
let age: Int
init(name: String, age: Int) {
self.name = name
self.age = age
}
}
let animal = Animal(name: "Animal", age: 3)
let animal2 = Animal(name: "Animal", age: 3)
// 哈希值
animal.hashValue // 8606943294433516990
animal2.hashValue // 8606943294433516990
// 自动实现的Equatable
animal == animal2 // true
关于哈希值,需要说明的是,除非我们正在开发一个哈希散列的数据结构,否则我们不应该直接依赖系统所实现的哈希值来做其他操作。
首先哈希的定义是单向的,对于相等的对象或值,我们可以期待它们拥有相同的哈希,但是反过来并不一定成立。其次,某些对象的哈希值有可能随着系统环境或者时间的变化而改变。
因此你也不应该依赖于哈希值来构建一些需要确定对象唯一性的功能,在绝大部分情况下,你将会得到错误的结果。
Comparable
遵循Comparable
协议,当然也需要满足Equatable
协议。实现对应的协议方法后就可以使用<
、<=
、>=
、>
等符号进行比较了。
public protocol Comparable : Equatable {
static func < (lhs: Self, rhs: Self) -> Bool
static func <= (lhs: Self, rhs: Self) -> Bool
static func >= (lhs: Self, rhs: Self) -> Bool
static func > (lhs: Self, rhs: Self) -> Bool
}
当为Tiger
自定义比较条件后,就会感到Swift
这些协议真是太便捷了。
struct Tiger: Comparable {
let name: String
let age: Int
init(name: String, age: Int) {
self.name = name
self.age = age
}
// Comparable
static func < (lhs: Tiger, rhs: Tiger) -> Bool {
if lhs.age < rhs.age {
return true
}
return false
}
static func > (lhs: Tiger, rhs: Tiger) -> Bool {
if lhs.age > rhs.age {
return true
}
return false
}
// Equatable
static func == (lhs: Tiger, rhs: Tiger) -> Bool {
if lhs.age == rhs.age{
return true
}
return false
}
}
let tiger = Tiger(name: "Tiger", age: 4)
let tiger2 = Tiger(name: "Tiger", age: 5)
tiger > tiger2 // false
KeyPath
Key-Path表达式
\TypeName.path
这个Key-Path
表达式会在编译期生成一个KeyPath
类的实例。而这个KeyPath
实例指向某个类型的属性或者下标,KeyPath
类可配合下标subscript(keyPath:)
进行使用。
不明白?上代码。看看KeyPath
类是如何指向一个类型的属性的。
struct Person {
var name: String
var dog: [Dog]
}
struct Dog {
var name: String
}
var titi = Dog(name: "Titi")
var james = Person(name: "James", dog: [titi])
// 创建 KeyPath类的实例
let nameKeyPath = \Person.name
james[keyPath: nameKeyPath] = "James Wade"
// 可省略类型自主推断
james[keyPath: \.name] // James Wade
通过KeyPath
类也可以实现存取属性是数组的情况,需要注意的是Key-Path
表达式中所使用的的下标必须满足Hashable
协议标准。另外,还支持字典类型。
james.dog[keyPath: \[Dog].[0].name] = "Titi Go"
james.dog // Titi Go
let greetings = ["hello", "hola", "bonjour", "안녕"]
greetings[keyPath: \[String].[1]] // hola
var keyIntDic = ["first": [1, 2, 3], "second": [4, 5, 6]]
keyIntDic[keyPath: \[String: [Int]].["first"]] = [0, 0, 0]
keyIntDic // ["second": [4, 5, 6], "first": [0, 0, 0]]
Key-Path
表达式可以引用self
,KeyPath
实例指向当前实例自身。
var compoundValue = (a: 1, b: 2)
compoundValue[keyPath: \.self] = (a: 10, b: 20)
compoundValue // (a 10, b 20)
Key-Path字符串表达式
#keyPath(TypeName.property)
这个Key-Path
字符串表达式会在编译期转化为字符串字面量并生成一个字符串。Key-Path
字符串表达式可配合Objective-C
中的setValue:forKey:
进行使用。
class Cat: NSObject {
@objc var age: Int
init(age: Int) {
self.age = age
}
func agekeyPath() -> String {
return #keyPath(age)
}
}
let kitty = Cat(age: 2)
// 在编译时,被字符串字面量所取代
let ageKeyPath = #keyPath(Cat.age)
kitty.setValue(3, forKey: ageKeyPath)
kitty.value(forKey: ageKeyPath)
// 只有在类的内部key-Path字符串表达式才可以省略类名, 其它情况都不可省略
kitty.value(forKey: kitty.agekeyPath())
因为需要支持Objective-C
中setValue:forKey:
,所以属性必须使用@objc
修饰。又因为属性需要@objc
修饰,所以当前类型必须是class
,且必须继承于任何一个OC
类。所以,Key-Path
字符串表达式还是偏OC
的,我还是那句话,尽量做到Swift
化。
KVO
KVO
在Swift
中当然还是有的,对于继承自NSObjc
的类,可以随意使用KVO
。使用的API
也很简单:
var view = UIView()
let observer: NSKeyValueObservation = view.observe(\.frame, options: [.new]) { v, changed in
print(v)
print(changed.newValue)
}
view.frame = CGRect(x: 0, y: 0, width: 10, height: 10)
// >
// Optional((0.0, 0.0, 10.0, 10.0))
但对于非NSObject
的类就需要@objc dynamic
来修饰之后,才能使用KVO
。因为这是属于OC
的东西。
class Panda: NSObject {
@objc dynamic var name = ""
}
var panda = Panda()
panda.observe(\.name, options: [.new]) { (pa, changed) in
print(pa)
print(changed.newValue)
}
panda.name = "panda"
// Optional("panda")
Swift
中的KVO
需要依赖的东西比原来多,需要属性有dynamic
和objc
进行修饰。
大多数情况下,我们想要观察的类包含这两个修饰,当然会损失一部分性能。并且有时候我们很可能也无法修改想要观察的类的源码,还需要继承这个类并且将需要观察的属性使用 dynamic
和objc
进行重写。
所以,在纯Swift
中还是尽量Swift
化,用属性的set/get
机制来实现相同的效果,这才是最佳方式。