帶你深入 Dart 解析一個有趣的引用和編譯實驗

戀貓de小郭發表於2021-05-28

Dart編譯

本篇主要通過一個簡單例子，討論一下 Dart 程式碼裡一個有趣的現象。

我們都知道 Dart 裡一切都是物件，就連基礎型別 int 、double 、bool 也都是 class 。

當我們對於 int 、 double 這些 class 進行的 + 、- 、* 、 \ 等操作時，其實是執行了這個 class 的 operator 操作符的操作，然後返回了新的 num 物件。

對於這些 operator 操作最終會通過 VM 去進行實現返回，而本質上 dart 程式碼也只是文字，需要最終編譯成二進位制去執行。

以下例子基於 dart 2.12.3 測試

那這裡想要討論什麼呢？

首先我們看一段程式碼，如下程式碼所示，可以看到：

首先我們定義了一個叫 idx 的 int 型引數；
然後在 for 迴圈裡新增了三個 InkWell 可點選控制元件；
最後在 onTap 裡面將 idx 列印出來；

class MyHomePage extends StatelessWidget {
  var images = ["RRR", "RRR", "RRR",];
  @override
  Widget build(BuildContext context) {
    List<Widget> contents = [];
    int idx = 0;
    for (var imgUrl in images) {
      contents.add(InkWell(
          onTap: () {
            print("######## $idx");
          },
          child: Container(
            height: 100,
            width: 100,
            color: Colors.red,
            child: Text(imgUrl),
          )));
      idx++;
    }
    return Scaffold(
      appBar: AppBar(),
      body: Center(
          child: Column(
        children: [
          ...contents,
        ],
      )));
  }
}

複製程式碼

問題來了，你覺得點選這三個 InkWell 列印出來的會是什麼結果？
答案是列印出來的都是 3。

為什麼呢？讓我們看這段程式碼編譯後的邏輯，如下所示程式碼，可以看到上述程式碼編譯後， print 函式裡指向的永遠是 idx 這個 int* 指標，當我們點選時，最終列印出來的都是最後的 idx 的值。

    @#C475
    method build(fra2::BuildContext* context) → fra2::Widget* {
      core::List<fra2::Widget*>* contents = core::_GrowableList::•<fra2::Widget*>(0);
      core::int* idx = 0;
      {
        core::Iterator<core::String*>* :sync-for-iterator = this.{main::MyHomePage::images}.{core::Iterable::iterator};
        for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
          core::String* imgUrl = :sync-for-iterator.{core::Iterator::current};
          {
            [@vm.call-site-attributes.metadata=receiverType:dart.core::List<library package:flutter/src/widgets/framework.dart::Widget*>*] contents.{core::List::add}(new ink5::InkWell::•(onTap: () → Null {
              core::print("######## ${idx}");
            }, child: new con7::Container::•(height: 100.0, width: 100.0, color: #C40086, $creationLocationd_0dea112b090073317d4: #C66610), $creationLocationd_0dea112b090073317d4: #C66614));
            idx = idx.{core::num::+}(1);
          }
        }
      }
複製程式碼

那如果我們需要列印出來的是每個 InkWell 自己的 index 呢？

如下程式碼所示，我們在 for 迴圈裡增加了一個 index 引數，把每次 idx 都賦值給 index ，這樣點選列印出來的結果，就會是點選對應的 index 。

class MyHomePage extends StatelessWidget {
  var images = ["RRR", "RRR", "RRR",];
  @override
  Widget build(BuildContext context) {
    List<Widget> contents = [];
    int idx = 0;
    for (var imgUrl in images) {
      int index = idx;
      contents.add(InkWell(
          onTap: () {
            print("######## $index");
          },
          child: Container(
            height: 100,
            width: 100,
            color: Colors.red,
            child: Text(imgUrl),
          )));
      idx++;
    }
    return Scaffold(
      appBar: AppBar(),
      body: Center(
          child: Column(
        children: [
          ...contents,
        ],
      )));
  }
}

複製程式碼

為什麼呢？

讓我們看新編譯出來的程式碼，如下所示，可以看到對了 core::int* index = idx; 這段程式碼，然後回憶下前面所說的，Dart 裡基本型別都是物件，而 operator 操作符運算後返回新的物件。

這樣就等於用 index 把每次的操作到儲存下來，而 print 列印的自然就是每次被儲存下來的 idx 。

    @#C475
    method build(fra2::BuildContext* context) → fra2::Widget* {
      core::List<fra2::Widget*>* contents = core::_GrowableList::•<fra2::Widget*>(0);
      core::int* idx = 0;
      {
        core::Iterator<core::String*>* :sync-for-iterator = this.{main::MyHomePage::images}.{core::Iterable::iterator};
        for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
          core::String* imgUrl = :sync-for-iterator.{core::Iterator::current};
          {
            core::int* index = idx;
            [@vm.call-site-attributes.metadata=receiverType:dart.core::List<library package:flutter/src/widgets/framework.dart::Widget*>*] contents.{core::List::add}(new ink5::InkWell::•(onTap: () → Null {
              core::print("######## ${index}");
            }, child: new con7::Container::•(height: 100.0, width: 100.0, color: #C40086, $creationLocationd_0dea112b090073317d4: #C66610), $creationLocationd_0dea112b090073317d4: #C66614));
            idx = idx.{core::num::+}(1);
          }
        }
      }
複製程式碼

那再來個不一樣的寫法。

如下程式碼所示，把 InkWell 放到一個 getItem 函式裡返回，然後 index 通過函式引數傳遞進來，可以看到執行後的結果，也是點選對應 InkWell 列印對應的 index 。

class MyHomePage extends StatelessWidget {
  var images = ["RRR", "RRR", "RRR",];
  @override
  Widget build(BuildContext context) {
    List<Widget> contents = [];
    int idx = 0;
    getItem(int index, String imgUrl) {
      return InkWell(
          onTap: () {
            print("######## $index");
          },
          child: Container(
            height: 100,
            width: 100,
            color: Colors.red,
            child: Text(imgUrl)));
    }
    for (var imgUrl in images) {
      contents.add(getItem(idx, imgUrl));
      idx++;
    }
    return Scaffold(
      appBar: AppBar(),
      body: Center(
          child: Column(
        children: [
          ...contents,
        ],
      )));
  }
}
複製程式碼

為什麼呢？

我們繼續看編譯後的程式碼，如下程式碼所示，其實就是每次的 idx 都通過 getItem.call(idx) 被 getItem 的 index 引用，然後下次又再次傳遞一個對應的 idx 進去，原理其實和上面的情況一樣，所以每次點選也會列印對應的 index 。

    @#C475
    method build(fra2::BuildContext* context) → fra2::Widget* {
      core::List<fra2::Widget*>* contents = core::_GrowableList::•<fra2::Widget*>(0);
      core::int* idx = 0;
      function getItem(core::int* index) → ink5::InkWell* {
        return new ink5::InkWell::•(onTap: () → Null {
          core::print("######## ${index}");
        }, child: new con7::Container::•(height: 100.0, width: 100.0, color: #C40086, $creationLocationd_0dea112b090073317d4: #C66610), $creationLocationd_0dea112b090073317d4: #C66614);
      }
      {
        core::Iterator<core::String*>* :sync-for-iterator = this.{main::MyHomePage::images}.{core::Iterable::iterator};
        for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) {
          core::String* imgUrl = :sync-for-iterator.{core::Iterator::current};
          {
            [@vm.call-site-attributes.metadata=receiverType:dart.core::List<library package:flutter/src/widgets/framework.dart::Widget*>*] contents.{core::List::add}([@vm.call-site-attributes.metadata=receiverType:library package:flutter/src/material/ink_well.dart::InkWell* Function(dart.core::int*)*] getItem.call(idx));
            idx = idx.{core::num::+}(1);
          }
        }
      }
      
複製程式碼

最後我們再換種寫法。

如下程式碼所示，直接用最基本的 for 迴圈新增 InkWell 並列印 idx ，結果會怎麼樣呢？

class MyHomePage extends StatelessWidget {
  var images = [ "RRR","RRR", "RRR"];

  @override
  Widget build(BuildContext context) {
    List<Widget> contents = [];
    for (int idx = 0; idx < images.length; idx++) {
      contents.add(InkWell(
          onTap: () {
            print("######## $idx");
          },
          child: Container(
            height: 100,
            width: 100,
            color: Colors.red,
            child: Text(images[idx]),
          )));
    }
    return Scaffold(
        appBar: AppBar(),
        body: Center(
            child: Column(
          children: [
            ...contents,
          ],
        )));
  }
}
複製程式碼

答案就是：點選對應 InkWell 列印對應的 index。

為什麼呢？

我們繼續看編譯後的程式碼，可以看到都是列印的 idx ，為什麼這樣就可以正常呢？

這裡最大的不同就是idx 被宣告的位置不同。

    @#C475
    method build(fra2::BuildContext* context) → fra2::Widget* {
      core::List<fra2::Widget*>* contents = core::_GrowableList::•<fra2::Widget*>(0);
      for (core::int* idx = 0; idx.{core::num::<}(this.{main::MyHomePage::images}.{core::List::length}); idx = idx.{core::num::+}(1)) {
        [@vm.call-site-attributes.metadata=receiverType:dart.core::List<library package:flutter/src/widgets/framework.dart::Widget*>*] contents.{core::List::add}(new ink5::InkWell::•(onTap: () → Null {
          core::print("######## ${idx}");
        }, child: new con7::Container::•(height: 100.0, width: 100.0, color: #C40086, child: new text::Text::•(this.{main::MyHomePage::images}.{core::List::[]}(idx), $creationLocationd_0dea112b090073317d4: #C66607), $creationLocationd_0dea112b090073317d4: #C66613), $creationLocationd_0dea112b090073317d4: #C66617));
      }
複製程式碼

那這時候我們重新調整下，把 idx 放到 for 外面，點選測試會發現，列印的結果又都是 3。

class MyHomePage extends StatelessWidget {
  var images = [ "RRR", "RRR","RRR"];

  @override
  Widget build(BuildContext context) {
    List<Widget> contents = [];
    int idx = 0;
    for (; idx < images.length; idx++) {
      contents.add(InkWell(
          onTap: () {
            print("######## $idx");
          },
          child: Container(
            height: 100,
            width: 100,
            color: Colors.red,
            child: Text(images[idx]),
          )));
    }
    return Scaffold(
        appBar: AppBar(),
        body: Center(
            child: Column(
          children: [
            ...contents,
          ],
        )));
  }
}
複製程式碼

這是為什麼呢？

看編譯後的程式碼，唯一不同的就是 core::int* idx 的宣告位置，那原因究竟是什麼呢？

    @#C475
    method build(fra2::BuildContext* context) → fra2::Widget* {
      core::List<fra2::Widget*>* contents = core::_GrowableList::•<fra2::Widget*>(0);
      core::int* idx = 0;
      for (; idx.{core::num::<}(this.{main::MyHomePage::images}.{core::List::length}); idx = idx.{core::num::+}(1)) {
        [@vm.call-site-attributes.metadata=receiverType:dart.core::List<library package:flutter/src/widgets/framework.dart::Widget*>*] contents.{core::List::add}(new ink5::InkWell::•(onTap: () → Null {
          core::print("######## ${idx}");
        }, child: new con7::Container::•(height: 100.0, width: 100.0, color: #C40086, child: new text::Text::•(this.{main::MyHomePage::images}.{core::List::[]}(idx), $creationLocationd_0dea112b090073317d4: #C66607), $creationLocationd_0dea112b090073317d4: #C66613), $creationLocationd_0dea112b090073317d4: #C66617));
      }
複製程式碼

因為 onTap 是在點選後才輸出引數的，而對於 for (core::int* idx = 0; 來說，idx 的作用域是在 for 迴圈之內，所以編譯後在 onTap 內要有對應持有一個值，來儲存需要輸出的結果。

而對於 for 迴圈外定義的 core::int* idx ，迴圈內的所有 onTap 都可以指向它這個地址，所以導致點選時都輸出了同一個 idx 的值。

至於為什麼會有這樣的邏輯，在深入的執行時邏輯就沒有去探索了（懶），推測應該是編譯後的二進位制檔案在執行時，針對迴圈外的引數和迴圈內的引數優化有關係。

最後，如果你也想檢視 dill 內容，可以通過 mac 下的 xxd 命令：

xxd /Users/xxxxxxx/workspace/flutter-wrok/flutter_app_test/.dart_tool/flutter_build/bf7ed8e7e7b3e64f28f0af8a89a29ca9/app.dill
複製程式碼

也可以通過 dump_kernel.dart （在完整版 dart-sdk 的/Users/guoshuyu/workspace/dart-sdk/pkg/vm 目錄下）執行如下命令，生成 app.dill.txt 檢視，比如你可以檢視 final 和 const 編譯後的區別。

dart dump_kernel.dart /Users/xxxxxxx/workspace/flutter-wrok/flutter_app_test/.dart_tool/flutter_build/bf7ed8e7e7b3e64f28f0af8a89a29ca9/app.dill /Users/xxxxxxx/workspace/flutter-wrok/flutter_app_test/.dart_tool/flutter_build/bf7ed8e7e7b3e64f28f0af8a89a29ca9/app.dill.txt
複製程式碼

一文帶你深入瞭解 Lambda 表示式和方法引用
2020-05-06
一個有趣的小例子,帶你入門協程模組-asyncio
2018-12-20
【譯】15個有趣的JS和CSS庫（2018.7）
2018-08-18
JSCSS
Koa原始碼解析，帶你實現一個迷你版的Koa
2020-06-09
原始碼
一個有趣的過程movq%rcx,%gs:0x80000000不能通過編譯
2018-10-18
編譯
手寫Struts，帶你深入原始碼中心解析
2019-08-14
原始碼
Linux驅動實踐：帶你一步一步編譯核心驅動程式
2021-11-17
Linux編譯
Dart編譯技術在服務端的探索和應用
2019-04-14
Dart編譯服務端
實現一個簡單的 JavaScript 編譯器
2019-02-22
JavaScript編譯
【譯】10個有趣的JSCSS庫（2018.10）
2018-10-26
JSCSS
[譯] 10 個有趣的 JSCSS 庫（2018.11）
2018-11-19
JSCSS
手把手帶你走進Babel的編譯世界
2022-03-30
Babel編譯
深入解析 H.265 編碼模式，帶你瞭解Apple全面推進H.265的原因
2018-12-07
模式APP
Java引用型別解析：掌握強引用、軟引用、弱引用和幻象引用的妙用
2024-03-03
Java型別
『BATcoder』做了多年安卓還沒編譯過原始碼？一個視訊帶你玩轉！
2021-03-08
BAT安卓編譯原始碼
7.帶你認識Dart中的Map
2019-03-19
Dart
一個有趣的實驗：用0.1f 替換 0，效能提升 7 倍！
2020-04-06
（譯）你不必擔心Dart的垃圾回收器
2020-05-27
Dart
一些有趣的B+樹優化實驗
2022-06-08
優化
老當機帶你深入理解 Laravel 之驗證器上（控制器引數解析）
2019-12-30
Laravel
var，let和const深入解析（一）
2019-02-13
【編譯原理實驗】Lab2（一）NFA確定化
2020-11-10
編譯原理
一個有趣的問題, 你知道SqlDataAdapter中的Fill是怎麼實現的嗎
2020-07-22
SQLLDAAPT
ItemDecoration深入解析與實戰（一）
2018-11-29
彙編實驗一
2018-10-07
深入淺出iOS編譯
2018-12-26
iOS編譯
NDK clang編譯器的一個bug
2020-05-10
編譯
一個nvcc編譯的小問題
2024-09-20
編譯
[手寫系列] 帶你實現一個簡單的Promise
2022-03-08
Promise
小C語言--詞法分析程式（編譯原理實驗一）
2018-09-22
C語言詞法分析編譯原理
阿里P8大佬帶你深入解析JVM與java
2020-12-12
阿里JVMJava
3.帶你掌握Dart中的數值型別
2019-03-19
Dart型別
深入理解Java的動態編譯
2020-06-06
Java編譯
[譯]Flutter - Dart的Mixin
2020-05-07
FlutterDart
帶你手把手實操一個RPC框架
2022-12-16
RPC框架
一步一圖帶你深入理解 Linux 實體記憶體管理
2022-11-22
Linux記憶體
一文解析Pinia和Vuex，帶你全面理解這兩個Vue狀態管理模式
2022-07-18
Vue模式
(譯) js中的值相等和引用相等
2019-03-08
JS

帶你深入 Dart 解析一個有趣的引用和編譯實驗

相關文章