0
点赞
收藏
分享

微信扫一扫

Flutter 里的语法糖解析,知其所然方能潇洒舞剑

本篇主要针对 Flutter 里 Dart 的一些语法糖实现进行解析,让你明显简单声明的关键字背后,Dart 究竟做了什么?

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_初始化

其实这个问题很简单:

  • 1、在 Dart 的Sound Null Safety下声明了非空的对象是不需要判空;(你想判断也行,会有警告⚠️)
  • 2、使用了​​late​​ 关键字声明的对象,如果在没有初始化的时候直接访问,就会报错;

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

late

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_前端_02

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

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_初始化_03

typedef

介绍完 ​​late​​​ 接下介绍下 ​​typedef​​​, ​​typedef​​ 在 Dart 2.13 开始可以用于新的类型别名功能 ,比如:

// Type alias for functions (existing)
typedef ValueChanged<T> = void Function(T value);

// Type alias for classes (new!)
typedef StringList = List<String>;

// Rename classes in a non-breaking way (new!)
@Deprecated("Use NewClassName instead")
typedef OldClassName<T> = NewClassName<T>;

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_Flutter_04

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_语法糖_05

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_Flutter_06


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


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

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_语法糖_07

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

extension

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

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_初始化_08

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

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_iOS_09

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_Flutter_10

找到对应的实现处发现,​CatExtension 里的 ​name​​talk​ 都变了所在文件下的 ​static method​ ,并且 ​​talk​​​ 方法是先定义了 ​​method​​​ 实现,之后再通过 ​​tearoff​​​ 的 ​​get​​ 实现去调用,基本上所有在 extension 里定义的方法都会有对应的 ​method​​tearoff​

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_语法糖_11

如下图所示,在 ​​Cat​​​ 的使用处,编译后可以看到 ​​cat.talk()​​​ 其实就是执行了 ​​main::CatExtension|talk​​ 。

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_语法糖_12Flutter 里的语法糖解析,知其所然方能潇洒舞剑_语法糖_13

async / await

最后聊聊 ​​async / await​​​ ,我们都知道这是 Dart 里 ​​Future​​ 的语法糖,那这个语法糖在编译后是如何运行的呢?

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_Flutter_14

可以看到,​​loadmore​​​ 方法在编译后被添加了很多的代码,其中定义了一个 ​​_Future<void> async_future​​​ 并在最后返回,同时我们需要执行的代码被包装到 ​​async_op​​​ 里去执行,而这里有一个很关键的地方就是,​async_op 对执行的内容进行了 ​try catch​ 的操作,并通过 ​_completeOnAsyncError​ 返回

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_Flutter_15

这也是为什么我们在外部对一个 Future 进行 ​try catch​ 不能捕获异常的原因,所以如下图所示,对于 ​​Future​​​ 需要通过 ​​.onError((error, stackTrace) => null)​​ 的方式来对异常进行捕获处理。

Flutter 里的语法糖解析,知其所然方能潇洒舞剑_初始化_16

明白了这些关键字背后的实现后,相信可以更好地帮助你在 Flutter 的日常开发中更优雅地组织你的代码,从而避免很多不必须要的问题。

当然,如果用不上,拿去面试“装X”其实也挺不错的不是么?

举报

相关推荐

0 条评论