异常被承诺链吞噬

Question

我注意到在 Parse for React Native 中的一系列承诺中抛出异常时发生了一些非常奇怪的事情。承诺链永远不会解析，永远不会拒绝，也永远不会抛出异常。它只是默默地消失了。

这里是重现问题的示例代码：

// Replacing this with Promise.resolve() prints the error.
// Removing this stage prints the error.
Parse.Promise.as()
  // Removing this stage causes a red screen error.
  .then(function() {
    // Replacing this with Parse.Promise.as() causes a red screen error.
    return Promise.resolve();
  })
  .then(function () {
    throw new Error("There was a failure");
  })
  .then(function () { console.log("Success")}, function (err) { console.log(err) });

正如您从 cmets 中看到的，它似乎只发生在这个特定的事件序列中。移除一个阶段，或者将 Parse 承诺换成原生 JS 承诺，会导致事情再次发生。 （在我的实际代码中，“Promise.resolve()”阶段实际上是对返回 Promise 的原生 iOS 方法的调用。）

我知道 Parse Promise 的行为完全不像 A+ 兼容的 Promise（参见https://stackoverflow.com/a/31223217/2397068）。事实上，在这段代码之前调用Parse.Promise.enableAPlusCompliant() 会导致异常被捕获并打印出来。但我认为 Parse Promise 和原生 JS Promise 可以安全地一起使用。

为什么这个异常会无声无息地消失？

谢谢。

Answer 1

为什么这个异常消失了？

默认情况下，Parse 不会捕获异常，而 Promise 会吞噬它们。

Parse 不是 100% 兼容 Promises/A+，但它确实尝试同化从 then 回调返回的 thenable。它既不捕获异常也不异步执行自己的回调。

不用then 也可以复制你正在做的事情

var p1 = new Parse.Promise();
var p2 = new Parse.Promise();

// p2 should eventually settle and call these:
p2._resolvedCallbacks = [function (res) { console.log("Success") }];
p2._rejectedCallbacks = [function (err) { console.log(err) }];

function handler() {
    throw new Error("There was a failure");
}
// this is what the second `then` call sets up (much simplified):
p1._resolvedCallbacks = [function(result) {
    p2.resolve(handler(result)); // throws - oops
}];

// the native promise:
var p = Promise.resolve();
// what happens when a callback result is assimilated:
if (isThenable(p))
    p.then(function(result) {
        p1.resolve(result);
    });

问题在于p1.resolve 是同步的，并立即在p1 上执行回调——这反过来又会抛出。通过在p2.resolve 被调用之前抛出，p2 将永远处于等待状态。异常冒出并成为p1.resolve() 的完成 - 现在它会引发对本机then 方法的回调。原生 Promise 实现捕获异常并拒绝 then 返回的 Promise，但它在任何地方都会被忽略。

默默地？

如果您的“本机”promise 实现支持未处理的拒绝警告，您应该能够在被拒绝的 promise 中看到异常。

Answer 2

除了您引用的答案中提供的技术原因外，供您考虑：

合规承诺

符合 ES6/A+ 的 Promise 实例共享：

1. 当一个 Promise 被结算时，它的结算状态和值是不可变的。
2. 承诺无法通过承诺来实现。
3. 绝不会使用 Promise（或其他 thenable）对象作为参数调用当时注册的 'fulfill' 侦听器。
4. then 注册的侦听器在导致它们执行的代码运行完成后，在它们自己的线程中异步执行。

5. 无论监听器是否注册回调，当一个承诺被解决（“履行”或“拒绝”），

   • 监听器的返回值用于履行 解决其then注册返回的承诺
   • 一个监听器抛出的值（使用throw）用于拒绝then注册返回的promise，并且

6. 使用 Promise 实例解析的 Promise 与作为参数提供的 Promise 的最终稳定状态和值同步。 （在 ES6 标准中，这被描述为“锁定”）。

7. 一个用thenable对象解决的promise 不是 Promise实例将根据需要跳过同步：如果首先用一个thenable解决，它用一个thenable“满足”自己，Promise promise将重新- 与提供的最新“thenable”同步。 A+ Promise 不会跳到新的 thenable 进行同步，因为它们从不使用 thenable 对象调用“已实现”的侦听器。

不合规的承诺

不符合承诺的对象的潜在特征包括

• 允许更改承诺的已解决状态，
• 使用 promise 参数调用当时“已实现”的侦听器，
• 从解析或拒绝承诺的代码同步调用 then 侦听器，以获取“已完成”或“已拒绝”状态，
• 在 then 调用中注册的侦听器引发异常后，不拒绝 then 返回的承诺。

互操作性

Promise.resolve 可用于以静态值解决其返回的承诺，可能主要用于测试。然而，它的主要目的是隔离不合规承诺的副作用。 Promise.resolve( thenable) 返回的 Promise 将表现出上述 1-7 的所有行为，并且没有任何不合规的行为。

恕我直言，我建议仅在环境中使用非 A+ 承诺对象，并根据创建它们的库的文档。不兼容的 thenable 可用于直接解析 A+ 承诺（这是 Promise.resolve 所做的），但为了行为的完全可预测性，它应该在任何其他用途之前使用 Promise.resolve( thenable) 包装在 Promise 对象中。

注意，我尝试测试 Parse 的 A+ 合规性承诺，但它似乎没有提供构造函数。这使得“几乎”或“完全”符合 A+ 标准的说法难以量化。感谢 zangw 指出了从侦听器返回被拒绝的承诺作为抛出异常的替代方法的可能性。