From ce98478504ebd13e8f9e6744508968806e8b8b49 Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Mon, 31 Mar 2025 02:00:53 +0000 Subject: deploy: 5a10a30f2e41cb5f9ddba5153ce5931f8629b449 --- search.xml | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) (limited to 'search.xml') diff --git a/search.xml b/search.xml index b530c5e0..b23982ff 100644 --- a/search.xml +++ b/search.xml @@ -3380,6 +3380,66 @@ Medicine + + 在F#中处理复杂依赖注入的实践指南 + /2025/03/31/%E5%9C%A8F-%E4%B8%AD%E5%A4%84%E7%90%86%E5%A4%8D%E6%9D%82%E4%BE%9D%E8%B5%96%E6%B3%A8%E5%85%A5%E7%9A%84%E5%AE%9E%E8%B7%B5%E6%8C%87%E5%8D%97/ + 以下是基于用户提供的文章内容的详细解读博客文章，结合了相关引用资源以增强内容深度：

+
+

在F#中处理复杂依赖注入的实践指南

依赖注入（DI）是构建松耦合、可维护系统的核心模式。在面向对象语言中，DI框架（如Spring）通过反射和容器管理依赖关系。在 F# 中，则更倾向于利用语言特性（如 Partial Application 和 Type Inference）实现依赖管理。

+
+

一、传统方法：Partial Application

在函数式编程中，Partial Application 是传递依赖的常用方式。例如：

+
let foo bar baz request = ...
let wired = foo dependency1 dependency2
let response = wired request
+ +

优点：

+
    +
  • 无需框架或反射，直接通过函数参数传递依赖。
    • +
  • 符合函数式编程的纯函数理念。
    • +
+

缺点：

+
    +
  1. 参数爆炸：当功能扩展时，参数数量激增（如日志、数据库、加密等）。
    2. +
  2. 维护困难：新增依赖需修改所有调用点的参数传递。
    3. +
  3. 隐式依赖：难以从函数签名直接区分核心参数与辅助依赖。
    4. +
+
+

二、结构化方法：单一环境参数（env）

为解决参数爆炸问题，可将依赖封装为单一环境对象env，并通过接口约束访问权限：

+
[<Interface>] type ILog = abstract Logger: ILogger
[<Interface>] type IDb = abstract Database: IDatabase

module Log =
    let info (env: #ILog) = env.Logger.Info("Message")

module Db =
    let fetchUser (env: #IDb) = env.Database.Query(...)
+ +

优点：

+
    +
  • 显式依赖声明：函数签名仅需env参数，编译器验证接口实现。
    • +
  • 模块化隔离：各模块仅声明所需接口（如ILog、IDb），避免全局依赖。
    • +
  • 易于测试：通过模拟env实现单元测试，无需依赖具体实现。
    • +
+

应用场景：

+
let changePass env req = task {
    let! user = Db.fetchUser env req.UserId
    Log.info env "Processing user: %i" user.Id
    ...
}
+ +
+

三、Reader Monad

为消除显式的env传递，可引入 Reader Monad，将环境隐式注入计算流程：

+
[<Struct>] type Effect<'env, 'out> = Effect of ('env -> 'out)

module Effect =
    let run env (Effect fn) = fn env
    let bind f effect = Effect (fun env -> run env (f (run env effect)))

type EffectBuilder() =
    member __.Bind(e, f) = Effect.bind f e
    member __.Return(x) = Effect (fun _ -> x)

let effect = EffectBuilder()
+ +

然后：

+
let changePass req = effect {
    let! user = Db.fetchUser req.UserId
    let! salt = Random.bytes 32
    do! Log.info "Password updated for user %i" user.Id
    return Ok()
}
+ +

优点：

+
    +
  • 隐式依赖管理：通过effect计算表达式自动传递env，减少样板代码。
    • +
  • 组合性：支持与其他计算表达式（如async/task）结合，处理异步操作。
    • +
+

缺点：

+
    +
  • 性能开销：频繁的闭包创建和间接调用可能导致性能下降。
    • +
  • 生态兼容性：需自定义计算表达式，与现有异步框架集成复杂。
    • +
+

Refs.

    +
  • Spring的构造器注入
    • +
  • Blazor的DI实现
    • +
+]]> + + Technique + + 奥司他韦 /2023/03/05/%E5%A5%A5%E5%8F%B8%E4%BB%96%E9%9F%A6/ -- cgit v1.2.3