tc39/test262中assert.throwsAsync的异步断言缺陷分析

在JavaScript测试框架tc39/test262中，assert.throwsAsync方法存在一个值得注意的异步断言缺陷。这个缺陷会导致在某些情况下，测试错误地通过验证，而实际上被测代码并未按预期抛出异常。

问题本质

assert.throwsAsync方法设计用于验证异步函数是否按预期抛出异常。然而，当前实现中存在一个关键缺陷：当被测函数返回一个非标准thenable对象（即then方法不符合Promise规范的对象）时，测试会错误地通过。

具体来说，当被测函数返回一个具有then方法但不返回有效Promise的对象时，assert.throwsAsync会直接使用then方法的返回值来解析断言，而不是等待thenable对象实际settle（解决或拒绝）。这导致测试可能在不应该通过的情况下通过验证。

技术细节

问题的核心在于asyncHelpers.js中的实现逻辑。当前代码直接将then方法的返回值用于解析断言Promise，而没有将其包装在一个真正的Promise中。这种实现假设then方法本身是符合规范的，但实际上JavaScript允许then方法返回任何值，包括非thenable值。

正确的做法应该是将res（即then方法的返回值）包装在一个真正的Promise中，确保无论then方法返回什么，都能正确地触发then回调，从而准确判断异步操作是否按预期抛出异常。

影响范围

这个缺陷会影响所有使用assert.throwsAsync来验证异步异常抛出的测试用例。特别是当被测代码返回以下类型的值时，测试可能给出错误的结果：

1. 具有then方法但不返回有效Promise的对象
2. then方法不遵循Promise规范的对象
3. then方法同步抛出异常的对象

解决方案

修复此问题的正确方法是修改asyncHelpers.js中的实现，确保将then方法的返回值强制转换为真正的Promise。这可以通过Promise.resolve()或类似的机制来实现，保证后续的then回调能够正确触发。

这种修改将确保assert.throwsAsync在各种边缘情况下都能正确工作，包括处理非标准thenable对象的情况。

最佳实践建议

在使用assert.throwsAsync时，开发者应当注意：

1. 确保被测函数返回标准的Promise或符合规范的thenable对象
2. 对于复杂的异步测试场景，考虑添加额外的验证逻辑
3. 关注测试框架的更新，及时应用包含此修复的版本

这个问题的发现和修复对于提高JavaScript异步测试的可靠性具有重要意义，特别是在处理边缘情况和非标准Promise实现时。