添加日志记录需要更改方法签名 Cats-Effect？

Question

我正在学习整个 Cats-Effect FP 框架，并且想知道如何最好地实现日志记录。 我正在努力寻找一种优雅的方法来使用返回非副作用类型的登录方法，尤其是 class 构造函数。 例如：

case class Limit(name: String, value: Int)

object Limit {
  def max(name: String): Limit = Limit(name, Int.MaxValue)
}

现在，如果我想在构造中添加日志记录，这显然是一个副作用，我将不得不将方法签名更改为如下内容：

object Limit {
  def max[F[_] : Sync](name: String): F[Limit] = {
    for {
      _ <- Slf4jLogger.getLogger[F].debug("Creating max limit.")
    } yield {
      Limit(name, Int.MaxValue)
    }
  }
}

这样的更改破坏了代码兼容性，现在每个使用Limit.max的地方都需要重构以处理类型签名、映射和/或调用.unsafeRun 。 对于像添加日志行这样小的事情来说，这是一个相当大的变化。

有没有办法更优雅地做到这一点？ 我是否只删除 log4cats 并使用常规的、不安全的 SLF4J？ 或者我是否只需要接受在 PF/Cats-Effect 世界中从任何地方返回F[..]更安全，无论该方法多么小或微不足道？

Answer 1

我认为使用log4cats库会更好。 如果您使用猫效应，您的 Main class 可能会返回 IO[Exit] 并且几乎整个逻辑都不需要任何不安全的调用。

但与此同时，我看到很多项目只使用普通日志记录，而没有在 IO 内包装日志。这取决于你和/或你的团队/项目。 我个人更喜欢 FP 方式。

我在这里留下了一个使用 log4cats 的例子：

implicit def logger[F[_]: Sync]: Logger[F] = Slf4jLogger.getLogger[F]

case class Limit(name: String, value: Int)
  
object Limit {
  def max[F[_] : Sync: Logger](name: String): F[Limit] = {
    for {
      _ <- Logger[F].info("Creating max limit.")
    } yield {
      Limit(name, Int.MaxValue)
    }
  }
}

build.sbt 文件：

libraryDependencies ++= Seq(
  "org.typelevel" %% "log4cats-core"    % "2.5.0",  // Only if you want to Support Any Backend
  "org.typelevel" %% "log4cats-slf4j"   % "2.5.0",  // Direct Slf4j Support - Recommended
  // and some backend such as logback or smth
)