如何在F#中以函数式方式使用NLog实现日志功能

针对你提出的三个问题，结合小项目的实际需求，给出可直接落地的方案：

1. 是否需要顶层创建logger实例逐层传递？ #

• 中小规模项目完全不需要这么做。逐层传递logger会给所有用到日志的函数增加额外入参，破坏函数签名的简洁性，仅当你需要给不同模块传递差异化配置的logger（比如不同模块日志级别独立、输出目标不同）时才需要用到这种方案。
• 如果后续你想要尝试纯函数式的依赖注入风格，也可以用Reader monad隐式传递logger，但对你的项目规模来说属于过度设计，完全没必要引入额外复杂度。

2. 是否可以按需通过静态方法访问logger？ #

• 完全可以，这也是小项目的最优选择。你担心的实例化开销问题不存在：NLog的LogManager.GetCurrentClassLogger()内部已经做了实例缓存，重复调用不会重复生成实例，性能损耗可以忽略。
• 你可以直接封装一个F#静态日志模块，示例代码如下：

module Log =
    // 全局初始化一次logger实例
    let private logger = NLog.LogManager.GetCurrentClassLogger()
    // 封装常用日志方法
    let info msg = logger.Info(msg)
    let error ex msg = logger.Error(ex, msg)
    let debug msg = logger.Debug(msg)
    let warn msg = logger.Warn(msg)

• 使用时直接调用静态方法即可，不需要传递任何参数，示例：Log.info "数据入库完成"。
• 该方案唯一的局限是不方便在单元测试时mock日志输出，如果你的项目没有强需求要验证日志输出内容，这个方案的性价比最高。

3. 是否有其他更合适的实现方案？ #

• 如果你后续有单元测试需要mock日志的需求，可以采用轻量的函数式注入方案：先定义日志函数的签名，业务函数把日志方法作为参数传入即可，示例：

// 定义info级别的日志函数签名
type InfoLogger = string -> unit
// 定义error级别的日志函数签名
type ErrorLogger = Exception -> string -> unit

// 业务函数将日志方法作为入参
let processOrder (logInfo: InfoLogger) (logError: ErrorLogger) order =
    try
        logInfo $"开始处理订单：{order.Id}"
        // 业务逻辑实现
        logInfo $"订单 {order.Id} 处理完成"
    with ex ->
        logError ex $"订单 {order.Id} 处理失败"

• 单元测试时可以直接传入自定义的假日志函数收集日志内容做断言，生产环境调用时直接传入前面封装的Log.info和Log.error即可。
• 你已经选定NLog写数据库的方案完全不需要调整，NLog对F#没有适配问题，正常配置好数据库输出规则就能直接使用，不需要额外引入第三方商业化组件。

内容的提问来源于stack exchange，提问作者Martin Thompson