Dart2Wasm 编译器中的空安全类型推断问题分析

问题概述

在 Dart 语言向 WebAssembly (Wasm) 的编译过程中，我们发现了一个与空安全类型推断相关的编译错误。当开发者使用断言(assert)结合空安全操作符(!)时，Dart2Wasm 编译器会生成不符合 Wasm 类型系统的代码，导致运行时错误。

问题重现

考虑以下 Dart 代码示例：

void repro({double? something, double? other}) {
  assert(
    (something == null && other == null) ||
        (something != null && other != null),
  );

  if (something != null) {
    print(something);
    print(other!); // 这里会导致编译错误
  }
}

这段代码在逻辑上是正确的：通过断言确保两个参数要么都为 null，要么都不为 null。然后在 if 条件中检查 something 不为 null 后，可以安全地使用 other! 断言 other 也不为 null。

错误表现

当使用 Dart2Wasm 编译器(--compiler=dart2wasm)编译上述代码时，会收到以下错误：

CompileError: WebAssembly.compileStreaming(): Compiling function #5610:"repro" failed: 
br_on_non_null[0] expected subtype of ((ref null any), (ref null extern) or (ref null func)), 
found f64.const of type f64 @+646856

错误表明 Wasm 运行时期望一个可为空的引用类型，但实际遇到了一个 f64(双精度浮点数)类型的常量。

技术分析

这个问题源于 Dart2Wasm 编译器在处理空安全类型推断时的行为：

1. 断言的影响：Dart 的 assert 语句在开发模式下会验证条件，但通常不应该影响类型推断。然而在这个案例中，断言似乎影响了编译器的类型推断逻辑。

2. 类型提升：在 if(something != null) 条件中，Dart 的类型系统应该能够提升 something 的类型从 double? 到 double。但是 other 的类型提升似乎没有正确传播。

3. Wasm 类型系统：Wasm 对类型有严格的要求，特别是对于引用类型和基本类型有明确区分。错误信息显示编译器生成了不匹配的类型操作。

解决方案与变通方法

目前有以下几种解决方法：

1. 移除断言：不使用 assert 语句，完全依赖显式的空检查

   if (something != null && other != null) {
     print(something);
     print(other);
   }
   

2. 双重检查：即使有断言，也显式检查两个变量

   if (something != null) {
     assert(other != null);
     print(something);
     print(other!);
   }
   

3. 完整测试用例：确保测试覆盖所有代码路径

   test('does not crash', () {
     repro();
     repro(something: 1.0, other: 1.0);
   });
   

深入理解

这个问题揭示了 Dart 空安全系统与 Wasm 类型系统之间的一些微妙差异：

1. Dart 的类型推断：Dart 的空安全系统会在控制流分析中自动提升类型，但这种提升在复杂逻辑中可能不够精确。

2. Wasm 的严格类型：Wasm 要求所有类型操作必须显式且精确，不允许 Dart 中某些隐式类型转换。

3. 编译器转换：Dart2Wasm 编译器需要准确地将 Dart 的高级类型概念转换为 Wasm 的低级类型系统，这个转换过程在某些边界情况下可能出现问题。

最佳实践建议

为了避免类似问题，建议开发者：

1. 在 Wasm 目标下，尽量使用显式的空检查而非类型断言
2. 复杂的类型关系逻辑应该分解为更简单的步骤
3. 全面测试所有可能的输入组合，特别是涉及空值的边界情况
4. 关注 Dart 和 Wasm 的类型系统差异，编写更符合 Wasm 限制的代码

这个问题已经报告给 Dart 团队，预计会在未来的版本中修复。在此期间，开发者可以使用上述变通方法确保代码正常运行。