8

node.js 中的常见做法是将错误消息作为回调函数的第一个参数返回。在纯 JS（Promise、Step、seq 等）中有许多解决方案可以解决这个问题，但它们似乎都不能与 ICS 集成。在不损失可读性的情况下处理错误的正确解决方案是什么？

例如：

# makes code hard to read and encourage duplication
await socket.get 'image id', defer err, id
if err # ...
await Image.findById id, defer err, image
if err # ...
await check_permissions user, image, defer err, permitted
if err # ...


# will only handle the last error
await  
  socket.get 'image id', defer err, id
  Image.findById id, defer err, image
  check_permissions user, image, defer err, permitted

if err  # ...


# ugly, makes code more rigid
# no way to prevent execution of commands if the first one failed
await  
  socket.get 'image id', defer err1, id
  Image.findById id, defer err2, image
  check_permissions user, image, defer err3, permitted

if err1 || err2 || err3  # ...
4

2 回答 2

12

我通过样式和编码约定解决了这个问题。它确实一直出现。让我们把你的片段放在下面，充实一点，这样我们就有了一个可行的功能。

my_fn = (cb) ->
  await socket.get 'image id', defer err, id
  if err then return cb err, null
  await Image.findById id, defer err, image
  if err then return cb err, null
  await check_permissions user, image, defer err, permitted
  if err then return cb err, null
  cb err, image

你是对的，这很丑陋，因为你在很多地方都短路了代码，你需要记住每次返回时都调用 cb 。

您提供的其他片段会产生不正确的结果，因为它们会在需要序列化的地方引入并行性。

我个人的 ICS 编码约定是：（1）从一个函数中只返回一次（哪个控制权落在最后）；(2) 尝试在同一缩进级别处理所有错误。用我喜欢的风格重写你所拥有的：

my_fn = (cb) ->
  await socket.get 'image id', defer err, id 
  await Image.findById id, defer err, image                   unless err?
  await check_permissions user, image, defer err, permitted   unless err?
  cb err, image

在socket.get调用出错的情况下，需要检查两次错误，显然两次都会失败。我不认为这是世界末日，因为它使代码更干净。

或者，您可以这样做：

my_fn = (autocb) ->
  await socket.get 'image id', defer err, id
  if err then return [ err, null ]
  await Image.findById id, defer err, image
  if err then return [ err, null ]
  await check_permissions user, image, defer err, permitted
  return [ err, image ]

如果您使用 autocb，这不是我最喜欢的 ICS 功能，那么每当您返回/短路函数时，编译器都会为您调用 autocb。从经验来看，我发现这种结构更容易出错。例如，假设您需要在函数开始时获取锁，现在您需要释放它 n 次。其他人可能不同意。

另一个注释，在下面的评论中指出。 autocb就像return它只接受一个值一样工作。如果你想像这个例子一样返回多个值，你需要返回一个数组或字典。 defer做解构任务来帮助你：

await my_fn defer [err, image]
于 2013-01-14T20:25:39.860 回答
4

正如在IcedCoffeeScript 存储库的第 35期中所讨论的，还有另一种基于 iced 样式连接器的技术，这些技术将回调/延迟作为输入，并返回另一个回调/延迟。

想象一下，您的项目有一个标准的回调参数顺序：第一个参数始终是错误，成功时为 null。此外，进一步假设您希望在出现错误的第一个迹象时留下一个函数。

第一步是制作一个连接器，我称之为“ErrorShortCircuiter”或“ESC”：

{make_esc} = require 'iced-error'

这是这样实现的：

make_esc = (gcb, desc) -> (lcb) ->
    (err, args...) ->
        if not err? then lcb args...
        else if not gcb.__esc
            gcb.__esc = true
            log.error "In #{desc}: #{err}"
            gcb err

要查看它在做什么，请考虑如何使用它的示例：

my_fn = (gcb) ->
    esc = make_esc gcb, "my_fn"
    await socket.get 'image id', esc defer id
    await Image.findById id, esc defer image
    await check_permissions user, image, esc defer permitted
    gcb null, image

这个版本的my_fnfirst 生成了一个 ErrorShortCircuiter（或），它的工作是双重的：（1）使用错误对象esc触发；gcb(2) 记录有关错误发生的位置和错误内容的消息。显然，您应该根据您的设置改变确切的行为。然后，所有后续对带有回调的库函数的调用都会defer像往常一样被赋予生成的回调，然后通过esc连接器运行，这将改变回调的行为。新行为是gcb在出错时调用全局函数，并让当前await块在成功时完成。此外，在成功的情况下，不需要处理 null 错误对象，因此只填充后续插槽（如id、image和permitted）。

这种技术非常强大且可定制。关键思想是，产生的回调defer是真正的延续，可以改变整个程序的后续控制流。他们可以在库中执行此操作，因此您可以获得许多不同类型的应用程序所需的错误行为，这些应用程序调用具有不同约定的库。

于 2013-05-20T16:34:16.230 回答