266 lines
13 KiB
Markdown
266 lines
13 KiB
Markdown
# Google I/O 2023 - Dart 3 发布，快来看看有什么更新吧
|
||
|
||
> 核心原文链接： https://medium.com/dartlang/announcing-dart-3-53f065a10635
|
||
|
||
自从 Flutter Forword 发布了 [Dart 3α 预览](https://juejin.cn/post/7194741144482218045) 之后，大家对 Dart 3 的正式发布就一直翘首以待，这不仅仅是 Dart 版本号追上了 Flutter 版本号，更是 Dart 在 2.0 之后迎来的最大一次更新，主要包括了：
|
||
|
||
- 100% 空安全
|
||
- records
|
||
- patterns
|
||
- class modifiers
|
||
- Wasm 对 Web 的增加支持，可以预览 dart wasm native 了
|
||
|
||
|
||
|
||
# 100% 空安全支持
|
||
|
||
如下图所示，Dart 的 null safety 历经三年的时间，如今 Dart 终于有用了完善的类型系统，现在的 Dart 3 下，如果一个类型说一个值不是 `null`，那么它永远不可能是 `null` 。
|
||
|
||
|
||
|
||
> 说起来，还真有不少用户的项目没升级到 null safety ，这次就不能再等了。
|
||
|
||
另外，目前 pub.dev 上排名前 1000 的包中有 99% 支持空安全，所以官方预计升级到 Dart 3 的兼容问题并不大，少数情况下，Dart 3 中的对一些历史代码的相关清理可能会影响某些代码的运行，例如
|
||
|
||
- 一些旧的核心库 API 已被删除（[#34233](https://github.com/dart-lang/sdk/issues/34233)、[#49529](https://github.com/dart-lang/sdk/issues/49529)）
|
||
- 一些工具已被调整（[#50707](https://github.com/dart-lang/sdk/issues/50707)）。
|
||
|
||
> 如果你在迁移到到 Dart 3 时遇到问题，可以查阅 https://dart.dev/resources/dart-3-migration
|
||
|
||
# Record, patterns 和 class modifiers
|
||
|
||
关于万众期待的 record 和 patterns 其实在之前的 [Dart 3α 新特性 Record 和 Patterns 的提前预览讲解](https://juejin.cn/post/7194741144482218045)上已经有个详细解释，这里主要重新根据官方内容简诉一些这些变化。
|
||
|
||
## 使用 record 构建结构化数据
|
||
|
||
在此之前 Dart 函数只能返回一个值，如果需要返回多个值，必须将这些值打包成其他数据类型，例如 Map 或 List，或者定义可以保存这些值的新类。
|
||
|
||
使用非类型化数据结构削弱了类型安全性，而定义新类来传输数据会增加编码过程中的工作量，但是现在，通过 record 就可以简洁明地构建结构化数据：
|
||
|
||
```dart
|
||
(String, int) userInfo(Map<String, dynamic> json) {
|
||
return (json['name'] as String, json['height'] as int);
|
||
}
|
||
```
|
||
|
||
在 Dart 中，record 是一个通用功能，它们不仅可以用于函数返回值，还可以将它们存储在变量中，例如将它们放入 List 中或者它们用作 Map 中的键，或创建包含其他 record 的 record。
|
||
|
||
另外还可以添加未命名字段，就像我们在前面的示例中所做的那样，也可以添加命名字段，例如 `(42, description: ‘Meaning of life’)` 。
|
||
|
||
record 是值类型，没有标识，这让编译器能够在某些情况下完全擦除记录对象，记录还带有自动定义的 `==` 运算符和 `hashCode` 函数。
|
||
|
||
> 详细可以参考官方文档：https://dart.dev/language/records 或者之前相关的中文资料： https://juejin.cn/post/7194741144482218045
|
||
|
||
## 使用具有 pattern 和 pattern 匹配的结构化数据
|
||
|
||
record 简化了构建结构化数据的方式，这不会取代使用类来构建正式的类型层次结构的方式，它只是提供了另一种选择。
|
||
|
||
在任何一种情况下，你可能希望将结构化数据分解为单独的元素，这就是 pattern 匹配发挥作用的地方。
|
||
|
||
考虑 pattern 的基本形式，以下记录 pattern 将 record 解构为两个新变量 `name` 和 `height` ，然后可以像任何其他变量一样使用这些变量：
|
||
|
||
```dart
|
||
var (String name, int height) = userInfo({'name': 'Michael', 'height': 180});
|
||
print('User $name is $height cm tall.');
|
||
```
|
||
|
||
List 和 Map 存在类似的 pattern ，都可以使用下划线模式跳过单个元素：
|
||
|
||
```dart
|
||
var (String name, _) = userInfo(…);
|
||
```
|
||
|
||
在 switch 语法中， Dart 3 扩展了语句 switch 的支持，现在支持在这些情况下进行 pattern 匹配：
|
||
|
||
```dart
|
||
switch (charCode) {
|
||
case slash when nextCharCode == slash:
|
||
skipComment();
|
||
|
||
case slash || star || plus || minus:
|
||
operator(charCode);
|
||
|
||
case >= digit0 && <= digit9:
|
||
number();
|
||
|
||
default:
|
||
invalid();
|
||
}
|
||
```
|
||
|
||
还可以通过新的表达式进行微调，以下示例函数返回 switch 表达式的值以计算今天工作日的描述：
|
||
|
||
```dart
|
||
String describeDate(DateTime dt) =>
|
||
switch (dt.weekday) {
|
||
1 => 'Feeling the Monday blues?',
|
||
6 || 7 => 'Enjoy the weekend!',
|
||
_ => 'Hang in there.'
|
||
};
|
||
```
|
||
|
||
**模式的一个强大功能是检查 “exhaustiveness” 的能力，此功能可确保 switch 处理所有可能的情况**。
|
||
|
||
在前面的示例中，我们正在处理工作日的所有可能值，这是一个`int` ，所以我们通过针对特定值 `1` 或 `6 `/`7` 的匹配语句的组合来穷尽所有可能的值，然后通过 `_` 对其余情况使用默认情况。
|
||
|
||
要对用户定义的数据层次结构（例如类层次结构）启用该能力，请在类层次结构的顶部使用 `sealed` 修饰符，如下例所示：
|
||
|
||
```dart
|
||
sealed class Animal { … }
|
||
class Cow extends Animal { … }
|
||
class Sheep extends Animal { … }
|
||
class Pig extends Animal { … }
|
||
|
||
String whatDoesItSay(Animal a) =>
|
||
switch (a) { Cow c => ' $c says moo' , Sheep s => ' $s says baa' };
|
||
```
|
||
|
||
这将返回以下错误，提醒我们错过了最后一个可能的子类型 Pig 的处理：
|
||
|
||
```
|
||
line 6 • The type 'Animal' is not exhaustively matched by the switch cases
|
||
since it doesn't match 'Pig()'.
|
||
```
|
||
|
||
最后，`if ` 语句也可以使用 pattern ，在下面的例子里，我们使用 *if-case* 匹配映射模式来解构 JSON 映射，这里匹配常量值（字符串如 `'name'` and `'Michael' `）和类型测试模式 `int h` 以读出 JSON 值，如果模式匹配失败，Dart 将执行该 `else` 语句。
|
||
|
||
```dart
|
||
final json = {'name': 'Michael', 'height': 180};
|
||
|
||
// Find Michael's height.
|
||
if (json case {'name': 'Michael', 'height': int h}) {
|
||
print('Michael is $h cm tall.');
|
||
} else {
|
||
print('Error: json contains no height info for Michael!');
|
||
}
|
||
```
|
||
|
||
> 详细可以参考官方文档：http://dart.dev/language/patterns 或者之前相关的中文资料： https://juejin.cn/post/7194741144482218045
|
||
|
||
|
||
|
||
# classes with class modifiers
|
||
|
||
Dart 3 的第三个语言特性是类修饰符，与前两个支持不同的是，这更像是一个高级用户功能，它主要是为了满足了 Dart 开发人员制作大型 API 或构建企业级应用时的需求。
|
||
|
||
> 目前是基于 *constructed*、 *extended* 和 *implemented* 来实现处理，关键词有
|
||
|
||
类修饰符使 API 作者能够仅支持一些特定的功能，而默认值保持不变，例如：`abstract`、`base` 、`final`、`interface`、`sealed`、`mixin` 。
|
||
|
||
> 只有`base `修饰符可以出现在 mixin 声明之前，修饰符不适用于其他声明如 `enum`、`typedef`或 `extension`。
|
||
|
||
```dart
|
||
class Vehicle {
|
||
String make; String model;
|
||
void moveForward(int meters) { … }
|
||
}
|
||
|
||
// Construct.
|
||
var myCar = Vehicle(make: 'Ford', model: 'T',);
|
||
|
||
// Extend.
|
||
class Car extends Vehicle {
|
||
int passengers;
|
||
}
|
||
|
||
// Implement.
|
||
class MockVehicle implements Vehicle {
|
||
@override void moveForward …
|
||
}
|
||
```
|
||
|
||
例如要强制继承类或 mixin 的实现，就可以使用 `base` 修饰符。 `base` 不允许在其自己的库之外实现，这保证：
|
||
|
||
- 每当创建类的子类型的实例时，都会调用基类构造函数
|
||
- 所有实现的私有成员都存在于子类型中
|
||
- 类中新实现的成 员`base `不会破坏子类型，因为所有子类型都继承了新成员
|
||
|
||
```dart
|
||
// Library a.dart
|
||
base class Vehicle {
|
||
void moveForward(int meters) { ... }
|
||
}
|
||
|
||
|
||
// Library b.dart
|
||
import 'a.dart';
|
||
|
||
var myCar = Vehicle(); // Can be constructed
|
||
|
||
base class Car extends Vehicle { // Can be extended
|
||
int passengers;
|
||
// ...
|
||
}
|
||
|
||
base class MockVehicle implements Vehicle { // ERROR: Cannot be implemented
|
||
@override
|
||
void moveForward { ... }
|
||
}
|
||
```
|
||
|
||
如果要创建一组已知的、可枚举的子类型，就可以使用修饰符 `sealed` ，[sealed 允许在那些静态](https://dart.dev/language/branches#exhaustiveness-checking)子类型上创建一个 switch 。
|
||
|
||
```dart
|
||
sealed class Vehicle { ... }
|
||
|
||
class Car extends Vehicle { }
|
||
class Truck implements Vehicle { }
|
||
class Bicycle extends Vehicle { }
|
||
|
||
// ...
|
||
|
||
var vehicle = Vehicle(); // ERROR: Cannot be instantiated
|
||
var vehicle = Car(); // Subclasses can be instantiated
|
||
|
||
// ...
|
||
|
||
// ERROR: The switch is missing the Bicycle subtype or a default case.
|
||
return switch (vehicle) {
|
||
Car() => 'vroom',
|
||
Truck() => 'VROOOOMM'
|
||
};
|
||
```
|
||
|
||
类修饰符存在一些添加限制，例如：
|
||
|
||
- 使用 `interface class` ，可以定义 contract 给其他人去实现，但不能扩展接口类。
|
||
- 使用 `base class`，可以确保类的所有子类型都继承自它，而不是实现它的接口，这确保私有方法在所有实例上都可用。
|
||
- 使用 `final class`，可以关闭类型层次结构，以防止自己的库之外的任何子类。这样的好处是允许 API 所有者添加新成员，而不会出现破坏 API 使用者更改的风险。
|
||
|
||
> 是不是没看明白？有关详细信息，可以参考 https://dart.dev/language/class-modifiers
|
||
|
||
# 展望未来
|
||
|
||
Dart 3 不仅仅是是在这些新功能上向前迈出了重要的一步，还为大家提供了下一步的预览。
|
||
|
||
## Dart language
|
||
|
||
Records, patterns 和 class modifiers 是非常庞大的新功能，因此它们的某些设计可能还需要改进，所以接下来还会有一些更小、更增量的功能更新，这些功能完全不会中断，并且专注于在没有迁移成本的情况下提高开发人员的工作效率。
|
||
|
||
目前正在探索的还有 [primary constructors](https://github.com/dart-lang/language/issues/2364) 和 [inline classes](https://github.com/dart-lang/language/issues/2727) 包装，另外之前讨论过的宏（也称为[元编程](https://github.com/dart-lang/language/blob/main/working/macros/feature-specification.md)）也在进行探索，因为元编程的规模和固有风险，目前正在采取一种更有效和彻底的方法进行探索，因此没有具体的时间表可以分享，即使是最终确定的设计决策。
|
||
|
||
## native interop
|
||
|
||
移动和桌面上的应用通常依赖于 native 平台提供的大量 API，无论是通知、支付还是获取手机位置等。
|
||
|
||
在之前 Flutter 中，这些是通过构建插件来访问的，这需要为 API 编写 Dart 代码和一堆特定于平台的代码来提供实现。
|
||
|
||
目前已经支持与使用 `dart:ffi` 直接和原生语言进行交互，我们目前正在努力扩展它在Android 上的支持，再次之前可以看 [Java 和 Kotlin interop ](https://dart.dev/guides/libraries/java-interop) 以及 [Objective-C 和 Swift interop](https://juejin.cn/post/7137874832988831751) 。
|
||
|
||
> 请查看新的 Google I/O 23 的 [Android interop 视频](https://io.google/2023/program/2f02692d-9a41-49c0-8786-1a22b7155628/)。
|
||
|
||
## 编译为 WebAssembly——使用 native 代码定位 web
|
||
|
||
[WebAssembly （缩写为 Wasm）作为跨](https://webassembly.org/)[所有浏览器的](https://caniuse.com/wasm)平台的二进制指令格式，其可用性度一直在增长，Flutter 框架使用 Wasm 有一段时间了，这就是我们如何通过 Wasm 编译模块将用 C++ 编写的 SKIA 图形渲染引擎交付给浏览器的实现。
|
||
|
||
Flutter 也一直对使用 Wasm 来部署 Dart 代码很感兴趣，但是在此之前该实现被阻止了，与许多其他面向对象的语言一样，因为 Dart 需要使用垃圾回收。
|
||
|
||
在过去的一年里，Flutter 和 Wasm 生态系统中的多个团队合作，将新的 WasmGC 功能添加到 WebAssembly 标准中，目前在 Chromium 和 Firefox 浏览器中已经接近稳定。
|
||
|
||
将 Dart 编译为 Wasm 模块的工作有两个针对 Web 的高级目标：
|
||
|
||
- **加载时间：**我们希望我们可以使用 Wasm 交付部署有效负载，使浏览器可以更快地加载，从而缩短到达用户可以与 Web 交互的时间。
|
||
- **性能：**由 JavaScript 提供支持的 Web 应用需要即时编译才能获得良好的性能，Wasm 模块更底层，更接近机器代码，因此我们认为它们可以提供更高的性能、更少的卡顿和更一致的帧率。
|
||
- **语义一致性**：Dart 在我们支持的平台之间保持高度一致而自豪。但是，在 web 上有一些例外情况，例如 Dart web 目前在[数字表示](https://dart.dev/guides/language/numbers)方式上有所不同，而使用 Wasm 模块，我们可以将 web 视为具有与其他原生目标相似语义的“原生”平台。
|
||
|
||
**跟随 Dart3 的发布， Dart 到 Wasm 编译的第一个预览也一起发布**，这是最初的 Flutter Web 重点支持。虽然现在还早，后续还有很多工作要完成，但已经可以通过 https://flutter.dev/wasm 开始测试。 |