Dart 2.12 已于昨日发布，此版本带来了稳定的空类型安全声明 (sound null safety) 和 Dart FFI。空类型安全声明可帮助开发者避免 null 错误——这类错误往往很难被发现。FFI (Foreign Function Interface) 是一种互操作性机制，开发者可通过它调用使用 C 语言编写的现成代码，例如调用 Windows Win32 API。

空类型安全声明 (sound null safety)

空类型安全声明 (sound null safety) 是自 Dart 2.0 引入声明类型系统 (sound type system) 以来，对 Dart 语言最大的补充。空类型安全 (null safety) 进一步增强了类型系统，让开发者在开发阶段即可捕获 null 错误，从而防止在生产环境出现崩溃，毕竟 null 错误是导致应用崩溃的常见原因。

Dart 的空类型安全支持基于三条核心原则：

• 默认情况下不可为空
• 逐步采用空类型安全声明
• 完全空类型安全声明

Dart FFI，用于将 C 类库与 Dart 集成

Dart FFI 让开发者能够利用 C 类库中现成的代码，以实现更好的可移植性，并且通过与高度调整的 C 语言代码集成以执行对性能要求较高的任务。从 Dart 2.12 开始，Dart FFI 已经脱离 beta 阶段，并被认为是稳定功能，可用于生产环境。此外还新增了嵌套结构和按值传递结构。

嵌套结构

C API 通常使用嵌套结构——即本身包含结构体的结构，例如以下示例：

struct Wheel {
  int spokes;
};
struct Bike {
  struct Wheel front;
  struct Wheel rear;
  int buildYear;
};

从 Dart 2.12 开始，FFI 也已支持嵌套结构。

按值传递结构

开发者可以在 C 语言代码中按引用和按值传递结构。FFI 以前仅支持按引用传递，但从 Dart 2.12 开始，开发者可以按值传递结构。这是两个同时通过引用传递和值传递的 C 函数的示例：

struct Link {
  double value;
  Link* next;
};
void MoveByReference(Link* link) {
  link->value = link->value + 10.0;
}
Coord MoveByValue(Link link) {
  link.value = link.value + 10.0;
  return link;
}

发布公告还详细介绍了 FFI 的其他内容，详情点此查看。