Flutter 里的语法糖解析，知其所然方能潇洒舞剑，10天用Flutter撸了个高仿携程App

如下图所示，「起因是昨天在群里看到一个很基础的问题」，问： “这段代码为什么不能对 user 进行判空？” 。

其实这个问题很简单：

1、在 Dart 的 **「Sound Null Safety」*

下声明了非空的对象是不需要判空；（你想判断也行，会有警告⚠️）

2、使用了 late 关键字声明的对象，如果在没有初始化的时候直接访问，就会报错；

所以这个问题其实很简单，只需要改成 User? user 就可以简单解决，「但是为什么本来不可以为空的对象，加了 late 就可以不马上初始化呢？」

late

================================================================

首先如下图所示，我们写一段简单的代码，通过 late 声明了一个 playerAnimation 对象，然后在运行代码之后，通过 dump_kernel.dart对编译后的 app.dill 进行提取。

如下图所示，通过提取编译后的代码，「可以看到 playerAnimation 其实被转变成了 Animation? 的可空对象」，而当 playerAnimation 被调用时，通过 get playerAnimation() 进行判断，如果此时 playerAnimation == null ， 直接就抛出 LateError 错误。

「所以当我们访问 late 声明的对象时，如果对象还没有初始化，就会返回一个异常。」

typedef

===================================================================

介绍完 late 接下介绍下 typedef， typedef 在 Dart 2.13 开始可以用于**「新的类型别名功能」**，比如：

// Type alias for functions (existing)

typedef ValueChanged = void Function(T value);

// Type alias for classes (new!)

typedef StringList = List;

// Rename classes in a non-breaking way (new!)

@Deprecated(“Use NewClassName instead”)

typedef OldClassName = NewClassName;

那么 typedef 是如何工作的？如下图所示，可以看到 _getDeviceInfo 方法在编译后，其实直接就被替换为 List ，所以**「实际上 StringList 是不参与到编译后的代码运行」**，所以也不会对代码的运行效率有什么影响。

再举个例子，如下图所示，可以看到通过 SelectItemChanged 声明的 selectItemChanged，在编译后其实直接就是 final field (dynamic) →? void selectItemChanged; 。

接着我们通过 Dart 的 tear-off 来看另外一个现象，如下图所示，可以看到我们从一个任意对象中 x中提取了 toString方法，通过闭包，就可以像调用常规实例一样调用 x。

❝

如果在一个对象上调用函数并省略了括号， Dart 称之为 ”tear-off” ：一个和函数使用同样参数的闭包，当调用闭包的时候会执行其中的函数，比如：names.forEach(print); 等同于 names.forEach((name){print(name);});

❞

那么编译后的 getToString 方法会是怎么样的？

如下图所示，可以看到 getToString 方法在编译后成了一个 static 的静态方法，并且 ToStringFn 也没有实际参与运行，也是被替换成了对应的 ()-> core:String 。

「所以对于编译后的代码，typedef 并不会对性能和运行结果产生影响。」

extension

=====================================================================

在 Dart 里，通过 extension 可以很便捷地为对象进行拓展，「那 extension 关键字是如何在原对象基础上实现拓展呢？」

如下图所示，我们声明了一个 Cat 的枚举，并且对 Cat 进行了拓展，从而为枚举的每个值赋值，并且加了 talk 方法。

如下图所示，「编译后 Cat 里的枚举值对应变成了一个 static final 的固定地址」，并且 CatExtension 里的 talk 和 value 也被指向了新的位置。

值对应变成了一个 static final 的固定地址」**，并且 CatExtension 里的 talk 和 value 也被指向了新的位置。