Swift 中的函数式核心与命令式外壳：单向数据流

于 2024-08-09 17:08:21 发布
阅读量506 收藏 6
点赞数 15
分类专栏： Swift 文章标签： swift 开发语言 ios
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_36478920/article/details/141066638
版权

在这里插入图片描述
在这里插入图片描述

文章目录

前言

之前，我们讨论了在 Swift 中的函数式核心与命令式外壳的概念。其目标是通过值类型提取纯逻辑，并将副作用保持在薄薄的对象层中。本周，我们将展示如何以单向数据流的方式应用这一方法。

函数式核心

函数式核心是负责我们应用中所有逻辑的层，我们希望通过单元测试验证它们。它应该是纯粹的，没有任何副作用。我们希望提供输入并验证输出。通常，单向数据流的实现需要许多接收状态和动作并返回新状态的 reducer 函数。让我们在代码中定义 reducer 函数。

如果你不熟悉单向数据流的概念，我强烈建议你阅读我关于“在 SwiftUI 中类似 Redux 的状态容器”的系列文章。

typealias Reducer<State, Action> = (State, Action) -> State

正如你所见，reducer 函数接受当前状态和要应用于该状态的动作，并返回一个新状态。我正在开发一个间歇性禁食追踪的应用。让我们看看我如何实现计时器逻辑。

struct TimerState: Equatable {
    var start: Date?
    var end: Date?
    var goal: TimeInterval
}

enum TimerAction {
    case start
    case finish
    case reset
}

let timerReducer: Reducer<TimerState, TimerAction> = { state, action in
    var state = state

    switch action {
    case .start:
        state.start = .now
    case .finish:
        state.end = .now
    case .reset:
        state.start = nil
        state.end = nil
    }

    return state
}

这是我代码库中实现计时器管理逻辑的真实示例。正如你所见，它是纯粹的，没有任何副作用。它允许我快速使用单元测试验证逻辑，无需使用 mocks 和 stubs。

import XCTest

final class TimerReducerTests: XCTestCase {
    func testStart() {
        let state = TimerState(goal: 13 * 3600)
        XCTAssertNil(state.start)
        let newState = timerReducer(state, .start)
        XCTAssertNotNil(newState.start)
    }
}

像结构体和枚举这样的值类型是实现应用逻辑的极佳工具，既纯粹又非常可测试。但我们仍然需要副作用。例如，我想通过 CloudKit 与朋友分享计时器状态。

命令式外壳

命令式外壳是通过值类型表示应用状态的对象层。我们还利用对象层进行副作用操作，并将结果应用于状态之上。首先定义一个持有状态的通用对象。

@MainActor public final class Store<State, Action>: ObservableObject {
    @Published public private(set) var state: State

    private let reducer: Reducer<State, Action>

    public init(
        initialState state: State,
        reducer: @escaping Reducer<State, Action>
    ) {
        self.reducer = reducer
        self.state = state
    }

    public func send(_ action: Action) {
        state = reducer(state, action)
    }
}

这是使用 Store 类定义的命令式外壳。正如你所见，我们使用对象层持有通过值类型表示的应用状态。对象层允许我们分享应用状态，并使其成为单一事实来源。我们还通过利用 MainActor 并仅通过将动作传递给 Store 类型的 send 方法来允许变更，提供线程安全。这就是我们在函数式核心与命令式外壳的理念下实现单向数据流的方式。但我们仍然缺少副作用。

副作用

命令式外壳应为我们提供进行副作用操作的方法。我们应该将副作用与应用的纯逻辑分开，但我们仍希望通过集成测试来测试副作用。让我们引入一种称为 Middleware 的新类型，它定义了一个副作用处理程序。

typealias Middleware<State, Action, Dependencies> = (State, Action, Dependencies) async -> Action?

Middleware 类型的主要思想是拦截纯动作，进行副作用操作（如异步请求），并返回一个新的动作，我们可以将其传递给 store 并进行归约。让我们将此功能添加到 Store 类型中。

@MainActor public final class Store<State, Action, Dependencies>: ObservableObject {
    @Published public private(set) var state: State

    private let reducer: Reducer<State, Action>
    private let dependencies: Dependencies
    private let middlewares: [Middleware<State, Action, Dependencies>]

    public init(
        initialState state: State,
        reducer: @escaping Reducer<State, Action>,
        dependencies: Dependencies,
        middlewares: [Middleware<State, Action, Dependencies>] = []
    ) {
        self.reducer = reducer
        self.state = state
        self.dependencies = dependencies
        self.middlewares = middlewares
    }

    public func send(_ action: Action) async {
        state = reducer(state, action)

        await withTaskGroup(of: Optional<Action>.self) { [state, dependencies] group in
            for middleware in middlewares {
                group.addTask {
                    await middleware(state, action, dependencies)
                }
            }

            for await case let action? in group {
                await send(action)
            }
        }
    }
}

正如你所见，我们使用新的 Swift 并发特性在 Store 类型中实现异步工作。它允许我们并行运行副作用并将动作传递给 store。通过标记 Store 类型为 @MainActor，我们确保了对状态的访问。使用 TaskGroup，我们自动获得了副作用的协作取消。Store 类型还持有所有依赖项（如网络、通知中心等），以便提供给 middlewares。

struct TimerState: Equatable {
    var start: Date?
    var end: Date?
    var goal: TimeInterval
    var sharingStatus = SharingStatus.notShared
}

enum SharingStatus: Equatable {
    case shared
    case uploading
    case notShared
}

enum TimerAction: Equatable {
    case start
    case finish
    case reset
    case share
    case setSharingStatus(SharingStatus)
}

let timerReducer: Reducer<TimerState, TimerAction> = { state, action in
    var state = state

    switch action {
    case .start:
        state.start = .now
    case .finish:
        state.end = .now
    case .reset:
        state.start = nil
        state.end = nil
    case .share:
        state.sharingStatus = .uploading
    case let .setSharingStatus(status):
        state.sharingStatus = status
    }

    return state
}

struct TimerDependencies {
    let share: (Date, Date?) async throws -> Void
}

let timerMiddleware: Middleware<TimerState, TimerAction, TimerDependencies> = { state, action, dependencies in
    switch action {
    case .share:
        guard let start = state.start else {
            return .setSharingStatus(.notShared)
        }

        do {
            try await dependencies.share(start, state.end)
            return .setSharingStatus(.shared)
        } catch {
            return .setSharingStatus(.notShared)
        }
    default:
        return nil
    }
}

下面是实现 middleware 的示例代码。正如你所见，我们拦截传递给 store 的动作，进行异步请求，并向系统提供另一个动作。我们还可以通过 mock TimerDependencies 类型轻松编写集成测试。

import XCTest

final class TimerMiddlewareTests: XCTestCase {
    func testSharing() async throws {
        let state = TimerState(goal: 13 * 3600)
        let dependencies: TimerDependencies = .init { _, _ in }
        let action = await timerMiddleware(state, .share, dependencies)
        XCTAssertEqual(action, .setSharingStatus(.shared))
    }
}

想了解更多关于将异步闭包用作依赖项的信息，请查看我的“在 Swift 中的微应用架构：依赖注入”一文。

import SwiftUI

struct RootView: View {
    @StateObject var store = Store(
        initialState: TimerState(goal: 13 * 3600),
        reducer: timerReducer,
        dependencies: TimerDependencies.production,
        middlewares: [timerMiddleware]
    )

    var body: some View {
        NavigationView {
            VStack {
                if let start = store.state.start, store.state.end == nil {
                    Text(start, style: .timer)
                    
                    Button("Stop") {
                        Task { await store.send(.finish) }
                    }

                    Button("Reset") {
                        Task { await store.send(.reset) }
                    }
                } else {
                    Button("Start") {
                        Task { await store.send(.start) }
                }
            }
            .navigationTitle("Timer")
            .toolbar {
                ToolbarItem(placement: .primaryAction) {
                    Button("Share") {
                        Task {
                            await store.send(.share)
                        }
                    }
                }
            }
        }
    }
}

可运行 Demo

上面详细介绍了理论逻辑。下面根据这个些功能提供一个可以运行的 Demo。

我们将创建一个可以运行的 SwiftUI 应用示例，该应用将展示如何使用函数式核心与命令式外壳的理念来实现单向数据流和管理副作用。这个示例将实现一个简单的计时器应用，允许用户启动、停止、重置计时器并分享计时状态。

函数式核心部分

首先，我们定义应用的状态和动作，并实现一个 reducer 函数来管理状态变化。

import SwiftUI
import Combine

// 定义计时器状态
struct TimerState: Equatable {
    var start: Date?
    var end: Date?
    var goal: TimeInterval
    var sharingStatus = SharingStatus.notShared
}

// 定义计时器动作
enum TimerAction: Equatable {
    case start
    case finish
    case reset
    case share
    case setSharingStatus(SharingStatus)
}

// 定义共享状态
enum SharingStatus: Equatable {
    case shared
    case uploading
    case notShared
}

// 定义 Reducer 函数
typealias Reducer<State, Action> = (State, Action) -> State

let timerReducer: Reducer<TimerState, TimerAction> = { state, action in
    var state = state

    switch action {
    case .start:
        state.start = .now
    case .finish:
        state.end = .now
    case .reset:
        state.start = nil
        state.end = nil
    case .share:
        state.sharingStatus = .uploading
    case let .setSharingStatus(status):
        state.sharingStatus = status
    }

    return state
}

命令式外壳部分

接下来，我们定义一个 Store 类来持有应用的状态，并处理副作用。

@MainActor
public final class Store<State, Action, Dependencies>: ObservableObject {
    @Published public private(set) var state: State

    private let reducer: Reducer<State, Action>
    private let dependencies: Dependencies
    private let middlewares: [Middleware<State, Action, Dependencies>]

    public init(
        initialState state: State,
        reducer: @escaping Reducer<State, Action>,
        dependencies: Dependencies,
        middlewares: [Middleware<State, Action, Dependencies>] = []
    ) {
        self.reducer = reducer
        self.state = state
        self.dependencies = dependencies
        self.middlewares = middlewares
    }

    public func send(_ action: Action) async {
        state = reducer(state, action)

        await withTaskGroup(of: Optional<Action>.self) { [state, dependencies] group in
            for middleware in middlewares {
                group.addTask {
                    await middleware(state, action, dependencies)
                }
            }

            for await case let action? in group {
                await send(action)
            }
        }
    }
}

副作用处理

定义一个中间件来处理异步副作用，比如共享计时状态。

typealias Middleware<State, Action, Dependencies> = (State, Action, Dependencies) async -> Action?

struct TimerDependencies {
    let share: (Date, Date?) async throws -> Void
}

let timerMiddleware: Middleware<TimerState, TimerAction, TimerDependencies> = { state, action, dependencies in
    switch action {
    case .share:
        guard let start = state.start else {
            return .setSharingStatus(.notShared)
        }

        do {
            try await dependencies.share(start, state.end)
            return .setSharingStatus(.shared)
        } catch {
            return .setSharingStatus(.notShared)
        }
    default:
        return nil
    }
}

SwiftUI 界面

最后，我们创建一个 SwiftUI 界面来展示计时器功能，并连接到 Store。

struct RootView: View {
    @StateObject var store = Store(
        initialState: TimerState(goal: 13 * 3600),
        reducer: timerReducer,
        dependencies: TimerDependencies(share: { start, end in
            // 模拟共享计时状态的逻辑
            print("Shared from \(start) to \(String(describing: end))")
        }),
        middlewares: [timerMiddleware]
    )

    var body: some View {
        NavigationView {
            VStack {
                if let start = store.state.start, store.state.end == nil {
                    Text(start, style: .timer)

                    Button("Stop") {
                        Task { await store.send(.finish) }
                    }

                    Button("Reset") {
                        Task { await store.send(.reset) }
                    }
                } else {
                    Button("Start") {
                        Task { await store.send(.start) }
                    }
                }
            }
            .navigationTitle("Timer")
            .toolbar {
                ToolbarItem(placement: .primaryAction) {
                    Button("Share") {
                        Task {
                            await store.send(.share)
                        }
                    }
                }
            }
        }
    }
}

@main
struct TimerApp: App {
    var body: some Scene {
        WindowGroup {
            RootView()
        }
    }
}

代码运行截图

代码解释

  1. 状态和动作：我们定义了 TimerState 和 TimerAction 来表示计时器的状态和可执行的动作。
  2. Reducer 函数：timerReducer 函数接受当前状态和动作，并返回一个新的状态。这个函数是纯函数，没有副作用，方便进行单元测试。
  3. Store 类：Store 类持有应用的状态，并提供 send 方法来处理动作。我们使用 Swift 的并发特性来处理异步任务和副作用。
  4. 中间件：timerMiddleware 用于处理异步副作用，比如共享计时状态。它拦截动作，执行异步任务，并返回一个新的动作来更新状态。
  5. SwiftUI 界面：RootView 使用 Store 提供的状态和动作来构建界面。用户可以启动、停止、重置计时器，并共享计时状态。

这个示例展示了如何使用函数式核心与命令式外壳的理念来实现一个简单的计时器应用，利用 Swift 的最新特性处理异步任务和副作用。

总结

这篇文章讨论了如何在 Swift 中结合使用函数式核心与命令式外壳的理念来实现单向数据流，并详细展示了如何在代码中实现这些理念，包括使用 Swift 并发特性处理异步任务和管理副作用。通过这种架构，开发者可以在保持代码清晰和易于测试的同时，处理复杂的应用状态和副作用。

参考资料

  1. swift-unidirectional-flow - 使用最新的 Swift 泛型和 Swift 并发特性实现单向数据流。
  2. “Boundaries”, a talk by Gary Bernhardt from SCNA 2012
网罗开发
关注
  • 15
    点赞
  • 踩
  • 6
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
Components for Android: 一个高效的声明式UI框架
夏天的夏，夏天的天。
07-13 1万+
编辑推荐：稀土掘金，这是一个针对技术开发者的一个应用，你可以在掘金上获取最新最优质的技术干货，不仅仅是Android知识、前端、后端以至于产品和设计都有涉猎，想成为全栈工程师的朋友不要错过！英文原文：Components for Android: A declarative framework for efficient UIs 。滚动界面是移动端最常见的模式了。如果你做过app，那么你很可能使用...
Web前端三大主流框架（数据对比 React 核心概念 响应式数据绑定 组件化开发 基本使用 状态管理 生态系统 Vue 核心概念 特性 使用方法 Angular 核心特性 开发流程 优势与挑战）
Python老吕的博客
05-31 1004
React、Vue和Angular这三个框架各有特点，适用于不同的项目和场景。React以其出色的性能和组件化开发方式在大型复杂应用中占据优势；Vue以其轻量级和灵活性成为中小型项目的理想选择；而Angular则以其全面的功能和强大的社区支持在大型企业级应用中发挥重要作用。在选择前端框架时，开发者需要根据项目的需求、团队的技能水平以及社区的活跃程度等因素进行综合考虑，以选择最适合自己的框架。👨‍💻博主Python老吕评论，您的举手之劳将对我提供了无限的写作动力！🤞🔥《Python全栈工程师》
单向数据流动的函数式 View Controller（下）
08-14 120
对 View Controller 的进一步改造 在着手大幅调整代码之前，我想先介绍一些基本概念。 什么是纯函数 纯函数 (Pure Function) 是指一个函数如果有相同的输入，则它产生相同的输出。换言之，也就是一个函数的动作不依赖于外部变量之类...
单向数据流动的函数式 View Controller
Keep_Moving31038的博客
09-05 691
View Controller 向来是 MVC (Model-View-View Controller) 中最让人头疼的一环，MVC 架构本身并不复杂，但开发者很容易将大量代码扔到用于协调 View 和 Model 的 Controller 中。你不能说这是一种错误，因为 View Controller 所承担的本来就是胶水代码和业务逻辑的部分。但是，持续这样做必定将导致 Model View C
介绍Spin：Swift中的通用反馈循环系统
编程故事的地方
04-02 411
快速应用中对架构模式的需求 随着最近对Combine和SwiftUI的介绍，我们将在代码库中面临一些过渡期。 我们的应用程序将同时使用Combine和第三方响应框架，或者同时使用UIKit / AppKit和SwiftUI。 这使得随着时间的流逝难以保证一致的体系结构。 很难知道何时将这些新技术结合到我们的项目中。 从一开始就正确选择体系结构可能会大大简化将来的过渡。 传统的架构模式（例如M...
翻译：响应式编程或反应式编程 RxSwift和RxCocoa 从入门到精通 Reactive programming
AI架构师易筋
09-28 1331
1.为什么要学习响应式编程 可组合<-因为Rx是组合的昵称 可重用<-因为可组合 声明性<-因为定义是不可变的，并且仅数据更改 可理解，简洁<-提升抽象水平并消除瞬态 稳定<-因为Rx代码已经过全面的单元测试 状态较少-因为将应用程序建模为单向数据流 没有泄漏<-因为资源管理容易 2.架构 RxSwift包含五个相互依赖的组件，其方式如下： ┌──────────────┐ ┌──────────────┐ │ RxCocoa ├────▶ RxR
swift 引入pod_引入自旋：Swift中的通用反馈循环系统
编程故事的地方
04-02 251
swift 引入pod 快速应用中对架构模式的需求 随着最近对Combine和SwiftUI的介绍，我们将在代码库中面临一些过渡期。 我们的应用程序将使用Combine和第三方响应框架，或者同时使用UIKit / AppKit和SwiftUI。 随着时间的推移，这可能难以保证一致的体系结构。 很难知道何时将这些新技术结合到我们的项目中。 从一开始就正确选择体系结构可能会大大简化将来的过渡。 ...
Jetpack Compose--声明式UI替代传统命令式UI的新产品
分享技术与经验的博客
09-17 873
声明式用户界面(UI)已成为近年来最受关注的技术之一，不仅降低开发成本，提高开发人员的效率和技能，也使专注于具有类似代码的不同平台和设备变得更加简便。命令式用户界面已经被Android开发人员用了很长时间，习惯了XML创建UI的方式。这种创建XML的方式是强大的，但在复杂的应用程序中却将失去优势。声明性用户界面已经广泛应用在许多开发框架中，如Flutter、React和SwiftUI。
（2024年）iOS OC面试题,Swift面试题,Flutter面试及答案
热门推荐
田风有的博客
07-17 4万+
第一大类OC面试题 一.设计模式是什么？ 你知道哪些设计模式，并简要叙述？ 设计模式是一种编码经验，就是用比较成熟的逻辑去处理某一种类型的事情。 1). MVC模式：Model View Control，把模型 视图 控制器 层进行解耦合编写。 2). MVVM模式：Model View ViewModel 把模型 视图 业务逻辑 层进行解耦和编写。 3). 单例模式：通过static...
ReSwift：Swift中的单向数据流-受Redux启发
02-05
ReSwift是Swift中类似的单向数据流体系结构的实现。 ReSwift可帮助您将应用程序组件的三个重要方面分开： 状态：在ReSwift应用中，整个应用状态都明确存储在数据结构中。 这有助于避免复杂的状态管理代码，实现更好...
Swift的函数式编程详解
09-03
**递归**是函数式编程中的核心概念。Swift完全支持递归，允许函数调用自身来解决问题。例如，计算斐波那契数列可以通过递归实现： ```swift func fib(n: Int) -> Int { if n return 1 } else { return fib(n-1...
Swift中的单向数据流-受Redux启发-Swift开发
05-27
简介ReSwift是单向数据流体系结构的类似Redux的实现。i ReSwift支持的Swift版本：Swift 4.2、5.0对于Swift 3.2或4.0支持，请使用5.0.0或更早版本。 对于Swift 2.2支持，请使用2.0.0或更早版本。 简介ReSwift是Swift...
MM-LLM：使用swift进行客观评测
qq_43814415的博客
08-07 175
司南是目前国内主流的（我觉得）评测框架，包含LLM的客观评测，VLM的客观评测（移动到vlmevalkit），长文本评测。这里以本地部署的VLM的OpenAI格式接口为例，只需要配置好evalscope环境，然后遵循下述代码。Swift（阿里的）集成了司南的，使得评测更为简单。
基于Qt实现图片查看器
kpengk的博客
08-07 277
基于Qt实现的图片查看器，支持缩放和拖动。
swift实现悬浮球(2024-08)
最新发布
Aftery的博客
08-08 175
IOS悬浮球，swift实现悬浮球功能
swift 自定义DatePacker
GY5338的博客
08-06 219
【代码】swift 自定义DatePacker。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

网罗开发

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值