Swift 之函数式编程、协议编程、响应式编程

1、函数式编程

1、Array 常见方法
var arr = [1, 2, 3, 4]
// [2, 4, 6, 8]
var arr2 = arr.map { $0 * 2 }
// [2, 4]
var arr3 = arr.filter { $0 % 2 == 0 }
// 10
var arr4 = arr.reduce(0) { $0 + $1 }
// 10
var arr5 = arr.reduce(0, +)
func double(_ i: Int) -> Int { i * 2 }
var arr = [1, 2, 3, 4]
// [2, 4, 6, 8]
print(arr.map(double))
var arr = [1, 2, 3]
// [[1], [2, 2], [3, 3, 3]]
var arr2 = arr.map { Array.init(repeating: $0, count: $0) }
// [1, 2, 2, 3, 3, 3]
var arr3 = arr.flatMap { Array.init(repeating: $0, count: $0) }
var arr = ["123", "test", "jack", "-30"]
// [Optional(123), nil, nil, Optional(-30)]
var arr2 = arr.map { Int($0) }
// [123, -30]
var arr3 = arr.compactMap { Int($0) }
// 使用reduce实现map、filter的功能
var arr = [1, 2, 3, 4]
// [2, 4, 6, 8]
print(arr.map { $0 * 2 })
print(arr.reduce([]) { $0 + [$1 * 2] })
// [2, 4]
print(arr.filter { $0 % 2 == 0 })
print(arr.reduce([]) { $1 % 2 == 0 ? $0 + [$1] : $0 })
2、lazy 的优化
let arr = [1, 2, 3]
let result = arr.lazy.map { (i: Int) -> Int in
    print("mapping \(i)")
    return i * 2
}
print("begin-----")
print("mapped", result[0])
print("mapped", result[1])
print("mapped", result[2])
print("end----")

begin-----
mapping 1
mapped 2
mapping 2
mapped 4
mapping 3
mapped 6
end----
3、Optional 的 map 和 flatMap
var num1: Int? = 10
// Optional(20)
var num2 = num1.map { $0 * 2 }
var num3: Int? = nil
// nil
var num4 = num3.map { $0 * 2 }
var num1: Int? = 10
// Optional(Optional(20))
var num2 = num1.map { Optional.some($0 * 2) }
// Optional(20)
var num3 = num1.flatMap { Optional.some($0 * 2) }
var num1: Int? = 10
var num2 = (num1 != nil) ? (num1! + 10) : nil
var num3 = num1.map { $0 + 10 }
// num2、num3是等价的
var fmt = DateFormatter()
fmt.dateFormat = "yyyy-MM-dd"
var str: String? = "2011-09-10"
// old
var date1 = str != nil ? fmt.date(from: str!) : nil
// new
var date2 = str.flatMap(fmt.date)
var score: Int? = 98
// old
var str1 = score != nil ? "socre is \(score!)" : "No score"
// new
var str2 = score.map { "score is \($0)" } ?? "No score"
struct Person {
    var name: String
    var age: Int
}
var items = [
    Person(name: "jack", age: 20),
    Person(name: "rose", age: 21),
    Person(name: "kate", age: 22)
]
// old
func getPerson1(_ name: String) -> Person? {
    let index = items.firstIndex { $0.name == name }
    return index != nil ? items[index!] : nil
}
// new
func getPerson2(_ name: String) -> Person? {
    return items.firstIndex { $0.name == name }.map { items[$0] }
}
struct Person {
    var name: String
    var age: Int
    init?(_ json: [String : Any]) {
        guard let name = json["name"] as? String, let age = json["age"] as? Int else {
            return nil
        }
        self.name = name
        self.age = age
    }
}
var json: Dictionary? = ["name" : "Jack", "age" : 10]
// old
var p1 = json != nil ? Person(json!) : nil
// new
var p2 = json.flatMap(Person.init)
4、函数式编程

函数式编程(Funtional Programming,简称FP)是一种编程范式,也就是如何编写程序的方法论。
主要思想:把计算过程尽量分解成一系列可复用函数的调用
主要特征:函数是第一等公民。函数与其他数据类型一样的地位,可以赋值给其他变量,也可以作为函数参数、函数返回值。

函数式编程中几个常用的概念:Higher-Order Function、Function Currying、Functor、Applicative Functor、Monad。

示例

// 假设要实现以下功能:[(num + 3) * 5 - 1] % 10 / 2
var num = 1
func add(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func sub(_ v1: Int, _ v2: Int) -> Int { v1 - v2 }
func multiple(_ v1: Int, _ v2: Int) -> Int { v1 * v2 }
func divide(_ v1: Int, _ v2: Int) -> Int { v1 / v2 }
func mod(_ v1: Int, _ v2: Int) -> Int { v1 % v2 }
divide(mod(sub(multiple(add(num, 3), 5), 1), 10), 2)

函数式编程

func add(_ v: Int) -> (Int) -> Int { { $0 + v } }
func sub(_ v: Int) -> (Int) -> Int { { $0 - v } }
func multiple(_ v: Int) -> (Int) -> Int { { $0 * v } }
func divide(_ v: Int) -> (Int) -> Int { { $0 / v } }
func mod(_ v: Int) -> (Int) -> Int { { $0 % v } }
infix operator >>> : AdditionPrecedence
func >>>(_ f1: @escaping (A) -> B, _ f2: @escaping (B) -> C) -> (A) -> C { { f2(f1($0)) } }

var fn = add(3) >>> multiple(5) >>> sub(1) >>> mod(10) >>> divide(2)
fn(num)

高阶函数
接受一个或多个函数作为参数(如:map、filter、reduce 等)或者返回值是一个函数。

func add(_ v: Int) -> (Int) -> Int { { $0 + v } }

柯里化(Currying)
将一个接受多参数的函数变换为一系列只接受单个参数的函数。

//示例一
//原函数
func add(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
add(10, 20)

//柯里化后函数
func add(_ v: Int) -> (Int) -> Int { { $0 + v } }
add(10)(20)

Array、Optional 的 map 方法接收的参数就是一个柯里化函数。

//示例二
func add1(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func add2(_ v1: Int, _ v2: Int, _ v3: Int) -> Int { v1 + v2 + v3 }
func currying(_ fn: @escaping (A, B) -> C) -> (B) -> (A) -> C {
    { b in { a in fn(a, b) } }
}
func currying(_ fn: @escaping (A, B, C) -> D) -> (C) -> (B) -> (A) -> D { { c in { b in { a in fn(a, b, c) } } } }
let curriedAdd1 = currying(add1)
print(curriedAdd1(10)(20))
let curriedAdd2 = currying(add2)
print(curriedAdd2(10)(20)(30))
func add(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func sub(_ v1: Int, _ v2: Int) -> Int { v1 - v2 }
func multiple(_ v1: Int, _ v2: Int) -> Int { v1 * v2 }
func divide(_ v1: Int, _ v2: Int) -> Int { v1 / v2 }
func mod(_ v1: Int, _ v2: Int) -> Int { v1 % v2 }

prefix func ~(_ fn: @escaping (A, B) -> C) -> (B) -> (A) -> C { { b in { a in fn(a, b) } } }

infix operator >>> : AdditionPrecedence
func >>>(_ f1: @escaping (A) -> B, _ f2: @escaping (B) -> C) -> (A) -> C { { f2(f1($0)) } }

var num = 1
var fn = (~add)(3) >>> (~multiple)(5) >>> (~sub)(1) >>> (~mod)(10) >>> (~divide)(2)
fn(num)

函子
像 Array、Optional 这样支持 map 运算的类型,称为函子(Functor)。

// Array
public func map(_ transform: (Element) -> T) -> Array
// Optional
public func map(_ transform: (Wrapped) -> U) -> Optional

适用函子(Applicative Functor)
对任意一个函子 F,如果能支持以下运算,该函子就是一个适用函子。

func pure(_ value: A) -> F
func <*>(fn: F<(A) -> B>, value: F) -> F

1、Optional 可以成为适用函子

func pure(_ value: A) -> A? { value }
infix operator <*> : AdditionPrecedence
func <*>(fn: ((A) -> B)?, value: A?) -> B? {
    guard let f = fn, let v = value else { return nil }
    return f(v)
}


var value: Int? = 10
var fn: ((Int) -> Int)? = { $0 * 2}
// Optional(20)
print(fn <*> value as Any)

2、Array 可以成为适用函子

func pure(_ value: A) -> [A] { [value] }
func <*>(fn: [(A) -> B], value: [A]) -> [B] {
    var arr: [B] = []
    if fn.count == value.count {
        for i in fn.startIndex.. [1, 2, 3]
print(arr)  // [2, 12, -2]

单子(Monad)
对任意一个类型 F,如果能支持以下运算,那么就可以称为是一个单子(Monad)。很显然,Array、Optional 都是单子。

func pure(_ value: A) -> F
func flatMap(_ value: F, _ fn: (A) -> F) -> F

2、面向协议编程

面向协议编程(Protocol Oriented Programming,简称 POP),Swift 既是一门面向协议编程语言也是一门面向对象的编程语言(Object Oriented Programming,简称 OOP)。在 Swift 开发中,OOP 和 POP 是相辅相成的,任何一方并不能取代另一方,POP 能弥补 OOP 一些设计上的不足。

1、OOP

OOP 的三大特性:封装、继承、多态。
OOP 的不足:会导致公共类越来越臃肿。

2、POP

使用特点
1、优先考虑创建协议,而不是父类(基类)。
2、优先考虑值类型(struct、enum),而不是引用类型(class)。
3、巧用协议的扩展功能。
4、不要为了面向协议而使用协议。

利用协议实现前缀效果

var string = "123fdsf434"
print(string.mj.numberCount())
struct MJ {
    let base: Base
    init(_ base: Base) {
        self.base = base
    }
}
protocol MJCompatible {}
extension MJCompatible {
    static var mj: MJ.Type {
        get { MJ.self }
        set {}
    }
    var mj: MJ {
        get { MJ(self) }
        set {}
    }
}
extension String: MJCompatible {}
extension MJ where Base == String {
    func numberCount() -> Int {
        var count = 0
        for c in base where ("0"..."9").contains(c) {
            count += 1
        }
        return count
    }
}

Base: 类

class Person {}
class Student: Person {}
extension Person: MJCompatible {}
extension MJ where Base: Person {
    func run() {}
    static func test() {}
}
Person.mj.test()
Student.mj.test()
let p = Person()
p.mj.run()
let s = Student()
s.mj.run()

Base: 协议

var s1: String = "123fdsf434"
var s2: NSString = "123fdsf434"
var s3: NSMutableString = "123fdsf434"
print(s1.mj.numberCount())
print(s2.mj.numberCount())
print(s3.mj.numberCount())
extension String: MJCompatible {}
extension NSString: MJCompatible {}
extension MJ where Base: ExpressibleByStringLiteral {
    func numberCount() -> Int {
        let string = base as! String
        var count = 0
        for c in string where ("0"..."9").contains(c) {
            count += 1
        }
        return count
    }
}

利用协议实现类型判断

func isArray(_ value: Any) -> Bool { value is [Any] }
isArray( [1, 2] )
isArray( ["1", 2] )
isArray( NSArray() )
isArray( NSMutableArray() )
protocol ArrayType {}
extension Array: ArrayType {}
extension NSArray: ArrayType {}
func isArrayType(_ type: Any.Type) -> Bool { type is ArrayType.Type }
isArrayType([Int].self)
isArrayType([Any].self)
isArrayType(NSArray.self)
isArrayType(NSMutableArray.self)

3、响应式编程

响应式编程(Reactive Programming,简称RP),是一种编程范式,可以简化异步编程,提供更优雅的数据绑定。一般与函数式融合在一起,所以也会叫做:函数响应式编程(Functional Reactive Programming,简称FRP)。如:
ReactiveCocoa:简称 RAC,有 Objective-C、Swift 版本。
ReactiveX:简称 Rx,有众多编程语言的版本,比如 RxJava、RxKotlin、RxJS、RxCpp、RxPHP、RxGo、RxSwift 等等。

1、RxSwift

RxSwift(ReactiveX for Swift),ReactiveX 的 Swift 版本。主要包含以下模块:
RxSwift:Rx 标准 API 的 Swift 实现,不包括任何 iOS 相关的内容。
RxCocoa:基于 RxSwift,给 iOS UI 控件扩展了很多 Rx 特性。

RxSwift 的核心角色
Observable:负责发送事件(Event)。
Observer:负责订阅 Observable,监听 Observable 发送的事件(Event)。

事件流程

public enum Event {
    /// Next element is produced.
    case next(Element)
    /// Sequence terminated with an error.
    case error(Swift.Error)
    /// Sequence completed successfully.
    case completed
}

Event 有 3 种
next:携带具体数据。
error:携带错误信息,表明 Observable 终止,不会再发出事件。
completed:表明 Observable 终止,不会再发出事件。

创建、订阅 Observable

var observable = Observable.create { observer in
    observer.onNext(1)
    observer.onCompleted()
    return Disposables.create()
}
// 等价于
observable = Observable.just(1)
observable = Observable.of(1)
observable = Observable.from([1])
var observable = Observable.create { observer in
    observer.onNext(1)
    observer.onNext(2)
    observer.onNext(3)
    observer.onCompleted()
    return Disposables.create()
}
// 等价于
observable = Observable.of(1, 2, 3)
observable = Observable.from([1, 2, 3])
observable.subscribe { event in
    print(event)
}.dispose()
observable.subscribe(onNext: {
    print("next", $0)
}, onError: {
    print("error", $0)
}, onCompleted: {
    print("completed")
}, onDisposed: {
    print("dispose")
}).dispose()
let observable = Observable.timer(.seconds(3), period: .seconds(1), scheduler: MainScheduler.instance)
observable.map { "数值是\($0)" }
          .bind(to: label.rx.text)
          .disposed(by: bag)

创建 Observer

let observer = AnyObserver.init { event in
    switch event {
    case .next(let data):
        print(data)
    case .completed:
        print("completed")
    case .error(let error):
        print("error", error)
    }
}
Observable.just(1).subscribe(observer).dispose()
let binder = Binder(label) { label, text in
    label.text = text
}
Observable.just(1).map { "数值是\($0)" }.subscribe(binder).dispose()
Observable.just(1).map { "数值是\($0)" }.bind(to: binder).dispose()

扩展 Binder 属性

extension Reactive where Base: UIView {
    var hidden: Binder {
        Binder(base) { view, value in
            view.isHidden = value
        }
    }
}
let observable = Observable.interval(.seconds(1), scheduler: MainScheduler.instance)
observable.map { $0 % 2 == 0 }.bind(to: button.rx.hidden).disposed(by: bag)

传统的状态监听方案
KVO、Target-Action、Notification、Delegate、Block Callback
缺点:错综复杂的依赖关系,耦合性较高,编写重复的非业务代码。

RxSwift 的状态监听

button.rx.tap.subscribe(onNext: {
    print("按钮被点击了1")
}).disposed(by: bag)
let data = Observable.just([
    Person(name: "Jack", age: 10),
    Person(name: "Rose", age: 20)
])

data.bind(to: tableView.rx.items(cellIdentifier: "cell")) { row, person, cell in
    cell.textLabel?.text = person.name
    cell.detailTextLabel?.text = "\(person.age)"
}.disposed(by: bag)

tableView.rx.modelSelected(Person.self)
            .subscribe(onNext: { person in
                print("点击了", person.name)
            }).disposed(by: bag)
class Dog: NSObject {
    @objc dynamic var name: String?
}
dog.rx.observe(String.self, "name")
   .subscribe(onNext: { name in
        print("name is", name ?? "nil")
   }).disposed(by: bag)
dog.name = "larry"
dog.name = "wangwang"
NotificationCenter.default.rx
    .notification(UIApplication.didEnterBackgroundNotification)
    .subscribe(onNext: { notification in
        print("APP进入后台", notification)
    }).disposed(by: bag)

既是 Observable,又是 Observer

Observable.just(0.8).bind(to: slider.rx.value).dispose()
slider.rx.value.map {
    "当前数值是:\($0)"
}.bind(to: textField.rx.text).disposed(by: bag)
textField.rx.text
    .subscribe(onNext: { text in
        print("text is", text ?? "nil")
    }).disposed(by: bag)

诸如 UISlider.rx.value、UTextField.rx.text 这类属性值,既是 Observable,又是 Observer,它们是 RxCocoa.ControlProperty 类型。

Disposable
每当 Observable 被订阅时,都会返回一个 Disposable 实例,当调用 Disposable 的 dispose,就相当于取消订阅。在不需要再接收事件时,建议取消订阅,释放资源。有 3 种常见方式取消订阅:

// 立即取消订阅(一次性订阅)
observable.subscribe { event in
    print(event)
}.dispose()
// 当 bag 销毁(deinit)时,会自动调用 Disposable 实例的 dispose
observable.subscribe { event in
    print(event)
}.disposed(by: bag)
// self 销毁时(deinit)时,会自动调用 Disposable 实例的 dispose
let _ = observable.takeUntil(self.rx.deallocated).subscribe { event in
    print(event)
}

你可能感兴趣的:(Swift 之函数式编程、协议编程、响应式编程)