关于flutter:Dart-213-版现已发布

作者 / Kevin Moore & Michael Thomsen

Dart 2.13 版现已公布，其中新增了 类型别名 性能，这是目前用户呼声第二高的语言性能。Dart 2.13 还改良了 Dart FFI 以及更好的性能，并且咱们还为 Dart 提供了新的官网镜像。本文将为您奉上 2.12 版中推出的空平安性能的最新信息，介绍 2.13 版本的新个性，以及 Docker 和 Google Cloud 对 Dart 后端反对的新音讯。另外，还会预报在后续版本中的其余变动。

在往年 3 月份公布的 Dart 2.12 中，咱们推出了健全的空安全功能。空平安堪称是 Dart 最近推出的一项重要性能，旨在帮忙您防止空值谬误 (这类谬误常常难以发现)，无效晋升工作效率。咱们心愿公布 package 的开发者可能及时跟进这项公布，更新 pub.dev 上分享的 package 以反对空平安。

咱们极其欣慰地看到，在公布后的短短几个月内，空平安就已被宽泛采纳，目前 pub.dev 上前 500 个最受欢迎的 package 中，93% 的 package 曾经反对空平安。 在此，谨向如此迅速跟进的所有 package 开发者致以最诚挚的谢意，感激大家帮忙推动整个生态系统一直向前！

有了这么多 package 反对空平安，您就能够开始思考着手将本人的利用迁徙到应用空平安的环境。要开始迁徙，请首先应用 dart pub outdated 查看利用的依赖项。具体步骤，请参阅空平安迁徙指南。咱们还调整了 dart create 和 flutter create 模板，当初它们在新的应用程序和 package 中默认启用空平安。

类型别名是 2.13 版中新增的语言性能，也是宽广开发者翘首以盼的性能，曾在语言问题的反馈中高居第二位。有了这一性能，开发者就可能创立函数类型的别名，但不能创立其余任何类型。

利用类型别名您能够为任何现有的类型创立新的名称，而后将新创建的名称用在原始类型能够呈现的任何中央。创立新名称并不会真的定义一个新类型，只不过是引入一个简短的别名而已。该别名甚至能通过类型等同测试:

typedef Integer = int;

void main() {print(int == Integer); // true
}

那么，类型别名能够怎么用？一种常见的用法是给某类型指定一个更短或更具描述性的名称，以便您的代码更易于了解和保护。

比方，给 JSON 类型指定别名就是种不错的用法 (此示例由 GitHub 用户 Levi-Lesches 提供，特此感激)。在下列示例中，咱们能够定义一个新的类型别名 Json，它将一个 JSON 文档形容为一个 map，其键为 String，值为任意值 (应用动静类型)。这样，当咱们定义名为 fromJson 的构造函数和 json get 函数时，就能应用该 Json 类型别名。

typedef Json = Map<String, dynamic>;

class User {
  final String name;
  final int age;

  User.fromJson(Json json) : 
    name = json['name'],
    age = json['age'];

  Json get json => {
    'name': name, 
    'age': age,
  };
}

您也能够对指代某个类的类型别名调用构造函数，比方以下示例就十分合规:

main() {var j = Json();
  j['name'] = 'Michael';
}

通过应用类型别名来指代简单类型，能够让读者更容易了解您代码的不变量。例如，以下代码定义了一个类型别名来形容键值为泛型类型 X、值为类型 List<X> 的映射。如果给该类型指定一个具备繁多类型参数的名称，映射的惯例构造在代码读者眼中会变得更为清晰。

typedef MapToList<X> = Map<X, List<X>>;
void main() {MapToList<int> m = {};
  m[7] = [7]; // OK
  m[8] = [2, 2, 2]; // OK
  for (var x in m.keys) {print('$x --> ${m[x]}');
  }
}

=>

7 --> [7]
8 --> [2, 2, 2]

如果您尝试应用不匹配的类型，将呈现剖析谬误:

m[42] = ['The', 'meaning', 'of', 'life']; 


=>

The element type 'String' can't be assigned to the list type'int'.

您甚至能够应用类型别名来重命名公共库中的类。假如当初公共库中有一个 PoorlyNamedClass 类，您想要将它重命名为 BetterNamedClass。如果您只是重命名该类，那么您的 API 客户那边将会呈现突发编译谬误。而应用类型别名，则不会呈现这一问题，您能够随便重命名，只不过要先为旧的类名称定义一个新的类型别名，再给旧名称增加几行 @Deprecated 注解。这样，应用 PoorlyNamedClass 的代码尽管会呈现正告，但仍可持续编译并依旧失常运行，让用户有工夫降级其代码。

mylibrary.dart:

class BetterNamedClass {}

@Deprecated('Use BetterNamedClass instead')
typedef PoorlyNamedClass = BetterNamedClass;

main.dart


import 'mylibrary.dart';


void main() {PoorlyNamedClass p;}

=>

'PoorlyNamedClass' is deprecated and shouldn't be used. Use BetterNamedClass instead.

上面介绍实现 BetterNamedClass 和弃用 PoorlyNamedClass 的办法 (在一个名为 mylibrary.dart 的文件中)。

class BetterNamedClass {...}

@Deprecated('Use BetterNamedClass instead')
typedef PoorlyNamedClass = BetterNamedClass;

上面是尝试应用 PoorlyNamedClass 时会产生的状况:

import 'mylibrary.dart';
void main() {PoorlyNamedClass p;}
=>
'PoorlyNamedClass' is deprecated and shouldn't be used. Use BetterNamedClass instead.

类型别名性能从 Dart 2.13 版开始即可应用，要启用此性能，须要将您 pubspec 中版本较低的 Dart SDK 束缚设置为最低 2.13 版，如下所示:

environment:
  sdk: ">=2.13.0 <3.0.0"

此性能反对向后兼容，这要归功于语言的版本治理。也就是说，SDK 束缚版本低于 2.13 的 package 能够平安地援用 2.13 版 package 中定义的类型别名，只管 2.13 版之前的 package 不能定义其本人的类型别名。

咱们还在 Dart FFI (这是用来调用 C 语言代码的互操作机制) 中引入了一些新性能。

首先，FFI 当初反对蕴含内联数组 (#35763) 的构造。假如某 C 语言构造具备如下内联数组:

struct MyStruct {uint8_t arr[8];
}

当初，只需将蕴含一个类型实参的元素类型指定给 Array，即可间接将该构造体封装在 Dart 中，如下所示:

class StructInlineArray extends Struct {@Array(8)
  external Array<Uint8> arr;
}

其次，FFI 当初反对封装构造体 (#38158)。构造体通常都被搁置在内存中，以便其位于地址边界内的成员可能被 CPU 更轻松地存取。应用封装构造体时，为了缩小整体内存占用量，常常会以平台特有的形式疏忽一些填充字节。借助新的 @Packed(<alignment>) 注解，您能够轻松指定填充字节。例如，下列代码创立的构造体就指定其在内存中时的字节对齐为 4。

@Packed(4)
class TASKDIALOGCONFIG extends Struct {@Uint32()
  external int cbSize;
  @IntPtr()
  external int hwndParent;
  @IntPtr()
  external int hInstance;
  @Uint32()
  external int dwFlags;
…
}

咱们始终在一直致力升高 Dart 代码的利用体量和内存占用量。在大型 Flutter 利用中，通过 AOT 编译 Dart 程序的元数据的内部结构可能要占用十分可观的内存。这些元数据的存在大多是为了实现热重载、交互式调试，以及格式化可读堆栈轨迹等性能，这些性能在须要部署的利用中从不会用到。过来几年来，咱们始终在重构 Dart 原生运行时环境，以便尽可能多地打消这种开销。其中一些改良实用于所有以版本模式构建的 Flutter 利用，而有些则须要应用 –split-debug-info 标记将 AOT 编译利用中的调试信息拆分进去，从而放弃可读的堆栈轨迹。

Dart 2.13 在内存耗费上获得了很大的提高，在应用 --split-debug-info 时，程序元数据占用的空间量降幅显著。例如，Flutter Gallery 的空间占用降幅达到 30%: 在 –split-debug-info 模式下，程序元数据在 Dart 2.12 中要占用 5.7Mb，而在 Dart 2.13 中仅需 3.7Mb。以 Flutter Gallery 利用为例，在 Android 平台上，蕴含调试信息的公布 APK 大小为 112.4MB，不蕴含的状况下大小为 106.7MB (总体积缩小了 5%)。该 APK 中蕴含了大量的资源。仅从 APK 外部的元数据体积来说，从 Dart 2.12 平台上的 5.7MB 缩小至 Dart 2.13 平台上的 3.7MB (缩小了 35%！)。

如果对您来说利用体量和内存占用量比拟重要，能够应用 –split-debug-info 标记省略调试信息。请留神，一旦这么做，您须要应用 symbolize 命令来从新使堆栈轨迹可读。

Dart 当初在官网镜像中可用，尽管 Dart 早已提供了 Docker 镜像，但为了遵循最佳实际，这些新的 Dart 镜像是由 Docker 进行测试和验证的。它们还反对 AOT 编译，能够大大减少构建容器的大小，并且能够在容器环境中晋升部署速度——如 Cloud Run。

尽管 Dart 始终专一于使 Flutter 等利用框架在每个屏幕上构建杰出的界面，但咱们意识到，大多数用户体验的背地至多有一个托管服务。通过让 Dart 轻松构建后端服务来反对全栈体验，开发者能够应用与前端 widget 雷同的语言和业务逻辑，将他们的利用扩大到云端。

通常来说，将 Dart 用于 Flutter 应用程序的后端，特地合乎 Google 无服务器治理平台 Cloud Run 的简略性和可扩展性。这也包含零扩大，意味着当您的后端不解决任何申请时，就不会产生老本。咱们与 Google Cloud 团队单干，提供 Dart 的函数框架，这是一个 packages、工具和实例的汇合，使开发者们可能轻松地编写 Dart 函数，以取代解决 HTTP 申请和 CloudEvents 的残缺服务器部署。

您能够查看咱们的 Google Cloud 官网文档以便开始应用。

在接下来的版本中，还会有一些令人激动的扭转。和以往一样，您能够应用 language funnel 追踪器注意咱们的后续工作。

咱们始终致力改良的一个方面是，为 Dart 和 Flutter 定义一组新的 canonical lint。lint 是配置 Dart 动态剖析的一种高效形式，但因为可能有成千盈百个 lint 要启用或禁用，有时可能会难以抉择。眼下，咱们正打算定义两组要在 Dart 和 Flutter 我的项目中默认利用的 canonical lint。预计这两组 lint 将在下一个稳定版中默认启用。如果您想要提前预览，请查看 lints 和 flutter_lints 这两个 package。

最初，如果您深度嵌套了 Dart VM 运行时环境，请留神，咱们打算弃用其现有的机制。咱们将用一个基于 Dart FFI 的更快、更灵便的模型取代它 (请参阅追踪问题 #45451)。

Dart 2.13 版现已在 Dart 2.13 和 Flutter 2.2 SDK 中推出，此版本新增了类型别名性能，还改良了 FFI。

如果您始终在期待将本人的依赖项迁徙到空平安环境的机会，无妨应用 dart pub outdated 再次检查一下。目前，前 500 个最受欢迎的 package 中，93% 的 package 都已迁徙，当初没准就是您迁徙的好时机。在此，谨向那些曾经迁徙的开发者致以最衷心的感激！

欢送试用本指南中介绍的新性能和改良后的性能，并将您应用后的感想通知咱们。请在下方评论区留言。

关于flutter:Dart-213-版现已发布

空安全更新

推出类型别名性能

Dart 2.13 FFI 的变动

Dart 2.13 在性能方面的晋升

Dart 官网 Docker 镜像公布以及 Cloud 反对

后续更新预报

Dart 2.13 版现已公布