Swift 之函數(shù)式編程、協(xié)議編程、響應(yīng)式編程

1、函數(shù)式編程

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實(shí)現(xiàn)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 的優(yōu)化
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是等價(jià)的
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、函數(shù)式編程

函數(shù)式編程(Funtional Programming,簡(jiǎn)稱FP)是一種編程范式,也就是如何編寫程序的方法論。
主要思想:把計(jì)算過程盡量分解成一系列可復(fù)用函數(shù)的調(diào)用。
主要特征:函數(shù)是第一等公民。函數(shù)與其他數(shù)據(jù)類型一樣的地位,可以賦值給其他變量,也可以作為函數(shù)參數(shù)、函數(shù)返回值。

函數(shù)式編程中幾個(gè)常用的概念:Higher-Order Function、Function Currying、Functor、Applicative Functor、Monad。

示例

// 假設(shè)要實(shí)現(xiàn)以下功能:[(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)

函數(shù)式編程

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 >>><A, B, C>(_ 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)

高階函數(shù)
接受一個(gè)或多個(gè)函數(shù)作為參數(shù)(如:map、filter、reduce 等)或者返回值是一個(gè)函數(shù)。

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

柯里化(Currying)
將一個(gè)接受多參數(shù)的函數(shù)變換為一系列只接受單個(gè)參數(shù)的函數(shù)。

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

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

Array、Optional 的 map 方法接收的參數(shù)就是一個(gè)柯里化函數(shù)。

//示例二
func add1(_ v1: Int, _ v2: Int) -> Int { v1 + v2 }
func add2(_ v1: Int, _ v2: Int, _ v3: Int) -> Int { v1 + v2 + v3 }
func currying<A, B, C>(_ fn: @escaping (A, B) -> C) -> (B) -> (A) -> C {
    { b in { a in fn(a, b) } }
}
func currying<A, B, C, D>(_ 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 ~<A, B, C>(_ fn: @escaping (A, B) -> C) -> (B) -> (A) -> C { { b in { a in fn(a, b) } } }

infix operator >>> : AdditionPrecedence
func >>><A, B, C>(_ 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 運(yùn)算的類型,稱為函子(Functor)。

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

適用函子(Applicative Functor)
對(duì)任意一個(gè)函子 F,如果能支持以下運(yùn)算,該函子就是一個(gè)適用函子。

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

1、Optional 可以成為適用函子

func pure<A>(_ value: A) -> A? { value }
infix operator <*> : AdditionPrecedence
func <*><A, B>(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<A>(_ value: A) -> [A] { [value] }
func <*><A, B>(fn: [(A) -> B], value: [A]) -> [B] {
    var arr: [B] = []
    if fn.count == value.count {
        for i in fn.startIndex..<fn.endIndex {
            arr.append(fn[i](value[I]))
        }
    }
    return arr
}

print(pure(10))  // [10]
var arr = [{ $0 * 2}, { $0 + 10 }, { $0 - 5 }] <*> [1, 2, 3]
print(arr)  // [2, 12, -2]

單子(Monad)
對(duì)任意一個(gè)類型 F,如果能支持以下運(yùn)算,那么就可以稱為是一個(gè)單子(Monad)。很顯然,Array、Optional 都是單子。

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

2、面向協(xié)議編程

面向協(xié)議編程(Protocol Oriented Programming,簡(jiǎn)稱 POP),Swift 既是一門面向協(xié)議編程語(yǔ)言也是一門面向?qū)ο蟮木幊陶Z(yǔ)言(Object Oriented Programming,簡(jiǎn)稱 OOP)。在 Swift 開發(fā)中,OOP 和 POP 是相輔相成的,任何一方并不能取代另一方,POP 能彌補(bǔ) OOP 一些設(shè)計(jì)上的不足。

1、OOP

OOP 的三大特性:封裝、繼承、多態(tài)。
OOP 的不足:會(huì)導(dǎo)致公共類越來(lái)越臃腫。

2、POP

使用特點(diǎn)
1、優(yōu)先考慮創(chuàng)建協(xié)議,而不是父類(基類)。
2、優(yōu)先考慮值類型(struct、enum),而不是引用類型(class)。
3、巧用協(xié)議的擴(kuò)展功能。
4、不要為了面向協(xié)議而使用協(xié)議。

利用協(xié)議實(shí)現(xiàn)前綴效果

var string = "123fdsf434"
print(string.mj.numberCount())
struct MJ<Base> {
    let base: Base
    init(_ base: Base) {
        self.base = base
    }
}
protocol MJCompatible {}
extension MJCompatible {
    static var mj: MJ<Self>.Type {
        get { MJ<Self>.self }
        set {}
    }
    var mj: MJ<Self> {
        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: 協(xié)議

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
    }
}

利用協(xié)議實(shí)現(xiàn)類型判斷

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、響應(yīng)式編程

響應(yīng)式編程(Reactive Programming,簡(jiǎn)稱RP),是一種編程范式,可以簡(jiǎn)化異步編程,提供更優(yōu)雅的數(shù)據(jù)綁定。一般與函數(shù)式融合在一起,所以也會(huì)叫做:函數(shù)響應(yīng)式編程(Functional Reactive Programming,簡(jiǎn)稱FRP)。如:
ReactiveCocoa:簡(jiǎn)稱 RAC,有 Objective-C、Swift 版本。
ReactiveX:簡(jiǎn)稱 Rx,有眾多編程語(yǔ)言的版本,比如 RxJava、RxKotlin、RxJS、RxCpp、RxPHP、RxGo、RxSwift 等等。

1、RxSwift

RxSwift(ReactiveX for Swift),ReactiveX 的 Swift 版本。主要包含以下模塊:
RxSwift:Rx 標(biāo)準(zhǔn) API 的 Swift 實(shí)現(xiàn),不包括任何 iOS 相關(guān)的內(nèi)容。
RxCocoa:基于 RxSwift,給 iOS UI 控件擴(kuò)展了很多 Rx 特性。

RxSwift 的核心角色
Observable:負(fù)責(zé)發(fā)送事件(Event)。
Observer:負(fù)責(zé)訂閱 Observable,監(jiān)聽 Observable 發(fā)送的事件(Event)。

事件流程

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

Event 有 3 種
next:攜帶具體數(shù)據(jù)。
error:攜帶錯(cuò)誤信息,表明 Observable 終止,不會(huì)再發(fā)出事件。
completed:表明 Observable 終止,不會(huì)再發(fā)出事件。

創(chuàng)建、訂閱 Observable

var observable = Observable<Int>.create { observer in
    observer.onNext(1)
    observer.onCompleted()
    return Disposables.create()
}
// 等價(jià)于
observable = Observable.just(1)
observable = Observable.of(1)
observable = Observable.from([1])
var observable = Observable<Int>.create { observer in
    observer.onNext(1)
    observer.onNext(2)
    observer.onNext(3)
    observer.onCompleted()
    return Disposables.create()
}
// 等價(jià)于
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<Int>.timer(.seconds(3), period: .seconds(1), scheduler: MainScheduler.instance)
observable.map { "數(shù)值是\($0)" }
          .bind(to: label.rx.text)
          .disposed(by: bag)

創(chuàng)建 Observer

let observer = AnyObserver<Int>.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<String>(label) { label, text in
    label.text = text
}
Observable.just(1).map { "數(shù)值是\($0)" }.subscribe(binder).dispose()
Observable.just(1).map { "數(shù)值是\($0)" }.bind(to: binder).dispose()

擴(kuò)展 Binder 屬性

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

傳統(tǒng)的狀態(tài)監(jiān)聽方案
KVO、Target-Action、Notification、Delegate、Block Callback
缺點(diǎn):錯(cuò)綜復(fù)雜的依賴關(guān)系,耦合性較高,編寫重復(fù)的非業(yè)務(wù)代碼。

RxSwift 的狀態(tài)監(jiān)聽

button.rx.tap.subscribe(onNext: {
    print("按鈕被點(diǎn)擊了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("點(diǎn)擊了", 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進(jìn)入后臺(tái)", notification)
    }).disposed(by: bag)

既是 Observable,又是 Observer

Observable.just(0.8).bind(to: slider.rx.value).dispose()
slider.rx.value.map {
    "當(dāng)前數(shù)值是:\($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
每當(dāng) Observable 被訂閱時(shí),都會(huì)返回一個(gè) Disposable 實(shí)例,當(dāng)調(diào)用 Disposable 的 dispose,就相當(dāng)于取消訂閱。在不需要再接收事件時(shí),建議取消訂閱,釋放資源。有 3 種常見方式取消訂閱:

// 立即取消訂閱(一次性訂閱)
observable.subscribe { event in
    print(event)
}.dispose()
// 當(dāng) bag 銷毀(deinit)時(shí),會(huì)自動(dòng)調(diào)用 Disposable 實(shí)例的 dispose
observable.subscribe { event in
    print(event)
}.disposed(by: bag)
// self 銷毀時(shí)(deinit)時(shí),會(huì)自動(dòng)調(diào)用 Disposable 實(shí)例的 dispose
let _ = observable.takeUntil(self.rx.deallocated).subscribe { event in
    print(event)
}
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容