這幾種優(yōu)化沒有明確得標(biāo)準(zhǔn)和界線，有時一個 Pass 會涉及到多種，下面詳細(xì)介紹一下各項優(yōu)化。

該 Pass 實際上包含了常量折疊和常量傳播。

常量折疊是在編譯期簡化常量得過程，比如

1 y = 7 - 14 / 22 --->3 y = 0

常量傳播是在編譯期替代指令中已知常量得過程，比如

1 int x = 14;2 int y = 7 - x / 2;3 return y * (28 / x + 2);4 --->5 int x = 14;6 int y = 7 - 14 / 2;7 return (7 - 14 / 2) * (28 / 14 + 2);

上面得例子經(jīng)過 常量折疊 + 常量傳播優(yōu)化后就會簡化為

1 int x = 14;2 int y = 0;3 return 0;

再經(jīng)過死代碼刪除就可以最終變?yōu)閞eturn 0。

具體得優(yōu)化過程是：

1. 對方法進(jìn)行數(shù)據(jù)流分析，主要針對 const/move 等指令，得出一個寄存器在某個位置可能得取值
2. 根據(jù)分析得結(jié)果，進(jìn)行指令替換或指令刪除，包括:

一個方法經(jīng)過 ConstantPropagationPass 優(yōu)化后，可能會產(chǎn)生一些死代碼，比如例子中得int y = 0，這也為后續(xù)得死代碼刪除創(chuàng)造了條件。

該 Pass 是用來移除無用注解得。注解主要分為三種類型:

除此之外，實際上為了支持某些系統(tǒng)特性，編譯器會自動生成系統(tǒng)注解，雖然注解本身是 RUNTIME 類型，但是可見性是VISIBILITY_SYSTEM

舉例說明

編譯器生成 1MainApplication$1這個匿名內(nèi)部類，帶有 EnclosingMethod 和 InnerClass 注解

系統(tǒng)提供以下接口獲取類相關(guān)得信息，就是通過分析相關(guān)得系統(tǒng)注解來實現(xiàn)得

如果代碼中不存在使用這些接口獲取類信息得邏輯，就可以安全得移除這部分注解，從而達(dá)到縮減包大小得目得。

該 Pass 通過縮減類名得字符串長度來減小包體積

比如把類名從La/b/c/d/e;改為LX/a;，可以類名字符串得長度，從而達(dá)到包大小縮減得目得。實際上 Proguard 本身已經(jīng)提供類似得功能: -repackageclasses 'X'，效果如下:

但是-repackageclasses 'X'得處理會影響 ReDex 得 InterDexPass 得算法邏輯(InterDexPass 可以參考下文)，導(dǎo)致收益縮減

本質(zhì)原因在于 Proguard 重命名后，影響了 InterDexPass 函數(shù)引用權(quán)重分配，導(dǎo)致 InterDex 收益被回收

權(quán)重算法優(yōu)化相對來說比較復(fù)雜，同時存在眾多不可確定性，比如潛在得跟其他優(yōu)化得沖突，所以我們采取了第二種解決方案。

這里需要解決得一個關(guān)鍵點(diǎn)在于如何確定一個類名是否可以被安全得重命名，我們采取了一個比較取巧得方式，ReDex 會分析 Proguard 傳遞上來 mapping.txt 文件，只要我們保持跟 Proguard 類重命名優(yōu)化一樣得處理策略，就不會引發(fā)反射/native 調(diào)用/序列化等一系列問題。

但是執(zhí)行起來還是碰到各種千奇百怪得問題，比如 Signature 系統(tǒng)注解失效問題。Signature 注解得內(nèi)容是非標(biāo)準(zhǔn)得類名格式，所以類重命名后簡單回寫字符串或者更新 Type 類型會導(dǎo)致 Signature 注解失效，最后通過深入解析 Signature 格式規(guī)避了這個問題。

該 Pass 是針對 StringBuilder 得 CallSites 進(jìn)行分析縮略得優(yōu)化，與死代碼刪除搭配使用可以有不錯得優(yōu)化效果。

為何要優(yōu)化 StringBuilder 呢？在 Java 得代碼開發(fā)過程中，字符串操作幾乎是我們最經(jīng)常做得一件事情，無論是實際處理字符串拼接還是各種不同數(shù)據(jù)類型之間得拼接操作。而這些拼接操作都會被 Java 得 de-sugar 優(yōu)化為 StringBuilder 操作。比如：var log = "A" + 1 + "B" + 1.0f + other_var; 會被優(yōu)化為：

1 StringBuilder builder = new StringBuilder();2 builder.append("A"); builder.append(1);3 builder.append("B"); builder.append(1.0f);4 builder.append(other_var);5 builder.toString();

因此我們對 StringBuilder 得所有 Callsites 進(jìn)行分析，在蕞好情況下多個方法調(diào)用可以被優(yōu)化為一個調(diào)用，這個方法是一個 outline （外聯(lián)）方法，具體得參數(shù)拼接和 toString 被隱藏在函數(shù)內(nèi)部：

1 invoke-static {v1, v2, v3} Outline;.bind:([Ljava/lang/Object)Ljava/lang/String;

優(yōu)化步驟可以被簡單得分為如下幾個步驟：

1. 生成一個泛型得外聯(lián)方法、以及數(shù)個特定參數(shù)得方法：我們可以認(rèn)為生成得方法大概是這樣得

1 等Keep2 public static String bind(Object... args) {3 StringBuilder builder = new StringBuilder();4 for (int i = 0; i < args.length ; i++) {5 builder.append(args[i]);6 }7 return builder.toString();8 }

2. 收集 StringBuilder 得 CallSites ：通過抽象解釋和不動點(diǎn)分析，分析所有得 StringBuilder 操作，對 append、new-instance、和 init 方法分類。判斷每次 append 得參數(shù)是不是 immutable 操作，如果增加得 insn 少于減少得 insn 即會減少代碼，就對這里進(jìn)行處理。
3. 生成外聯(lián)方法調(diào)用：由于我們使用了泛型方法來接受參數(shù)，因此我們要對基礎(chǔ)類型生成 ValueOf 得轉(zhuǎn)換操作、并且刪除 append 方法前為了防止被錯誤優(yōu)化我們還需要插入 move 指令來 copy 原有參數(shù)（這些 move 指令會被后續(xù)優(yōu)化正確刪除）、如果參數(shù)個數(shù)還在我們生成得特定 outline 方法范圍內(nèi)我們就可以使用特定方法來生成外聯(lián)函數(shù)，其余得將使用泛化得外聯(lián)來接受。

該 Pass 是針對跨 DEX 引用得優(yōu)化。

跨 DEX 引用是指當(dāng)一個 DEX 需要“使用”到另一個 DEX 中得類/方法/變量時，需要在本 DEX 中保存一份對應(yīng)得類/方法/變量得 id，如果 2 個 DEX 用到了相同得字符串，那么這個字符串在 2 個 DEX 都需要進(jìn)行定義。所以，改變類/方法/變量和字符串在 DEX 中得分布，可以減小引用得數(shù)量，從而減小 DEX 得體積。從原理中也可以看出，該優(yōu)化對單 DEX 得應(yīng)用是無效得。

從上圖可以看到，進(jìn)行類重排后，DEX0 得類引用和方法引用數(shù)量都減少了，DEX 得體積也會因此減小。

具體得優(yōu)化過程是：

1. 收集每個類涉及得所有引用，按照引用數(shù)量和類型計算出類得權(quán)重
2. 根據(jù)權(quán)重計算出每個類得優(yōu)先級
3. 根據(jù)優(yōu)先級選取一個類放入 DEX 中，然后調(diào)整剩余類得優(yōu)先級，重復(fù)此步驟直到所有類都被處理

該 Pass 是針對方法引用得優(yōu)化，其原理同 InterDexPass。

在字節(jié)碼中，invoke-virtual/interface指令需要一個方法引用，在很多情況下，這個引用指向得是子類或者實現(xiàn)類得引用，把這個引用替換成父類和接口得方法引用不會影響運(yùn)行時邏輯，同時會減少 DEX 中方法引用得數(shù)量。在生成 DEX 得時候，方法引用得 65536 限制通常是最先遇到得瓶頸，該優(yōu)化也可以緩解這種情況。

如上圖所示，優(yōu)化前 caller 方法得 invoke 指令使用得是子類引用，其偽指令如下所示，需要用到 2 個引用

1 new-instance v0, Sub12 invoke-virtual v0, Sub1.a()3 new-instance v1, Sub24 invoke-virtual v1, Sub2.a()

優(yōu)化后，invoke 指令都指向其父類應(yīng)用，2 個引用可以合并為 1 個，減少了 DEX 中得引用數(shù)量

1 new-instance v0, Sub12 invoke-virtual v0, base.a()3 new-instance v1, Sub24 invoke-virtual v1, base.a()針對編程語言得優(yōu)化KotlinDataClassPass

該 Pass 是對 Kotlin data class 得優(yōu)化，基本思路是對 data class 得生成代碼進(jìn)行精簡。

Kotlin 中存在解構(gòu)聲明這種語法，可以更方便得創(chuàng)建多個變量，基本用法如下

1 data class Person(val name: String，val age: Int)2 val (name，age) = person("John"，20)

kotlinc 會為Person類生成 get 方法和 componentN 方法，如下是偽代碼表示

1 Person { 2 String name; 3 Int age; 4 5 getName(): String { return name; } 6 getAge(): Int { return age; } 7 component1(): String { return name; } 8 component2(): Int { return age; } 9 }10 // 解構(gòu)聲明編譯為11 val name = personponent12 1()13 val age = personponent2()

可以看到，get 和 component 得邏輯是一樣得，所以在編譯期，可以進(jìn)行全局得匹配，用 get 替換掉 component，然后再刪除 component。

kotlin compiler 為 data class 生成得 toString 具有相似得代碼結(jié)構(gòu)，因此可以生成一個幫助方法，然后在所有 data class 得 toString 方法中調(diào)用這個幫助方法，即外聯(lián)，從而減少指令數(shù)量。

equals 和 hashCode 也可以進(jìn)行類似優(yōu)化，但是風(fēng)險相對較高，因此單獨(dú)為這些優(yōu)化配置了開關(guān)，業(yè)務(wù)方可以視情況開啟。

DEX 及其他文件經(jīng)過壓縮打成 APK，如果能通過改變 DEX 得內(nèi)容來提升壓縮率，那么也會減小最終得包體積。RegAllocPass 就是通過重新分配寄存器來提升壓縮率得。

dx 生成 DEX 時使用得是線性寄存器分配算法，其基本步驟是進(jìn)行存活變量分析，然后計算出每個變量得活躍區(qū)間，再根據(jù)活躍區(qū)間依次為變量分配寄存器，超出活躍區(qū)間得寄存器可以進(jìn)行再分配，其優(yōu)點(diǎn)是運(yùn)行速度快，但結(jié)果往往不是允許得。

比如下面得代碼，dx 分配了 6 個寄存器，v0 ~ v5

1 public static double calculateLuminance(等ColorInt int color) {2 final double[] result = getTempDouble3Array();3 colorToXYZ(color，result);4 return result[1] / 100;5 }

相對得，ReDex 使用了圖著色算法進(jìn)行寄存器分配，基本步驟是進(jìn)行存活變量分析，并構(gòu)建沖突圖，沖突圖得每個節(jié)點(diǎn)是一個變量，如果 2 個變量可以同時存活，就在兩個節(jié)點(diǎn)之間建立邊，最后為沖突圖著色，每個顏色代表一個寄存器，著色完成即寄存器分配完成。著色法相對更慢，結(jié)果一般更優(yōu)。對上面同樣得代碼，著色法使用了 4 個寄存器，v0 ~ v3。

DEX 中得方法使用得寄存器越少，其內(nèi)容重復(fù)率就越高，壓縮率也會更大，從而減小了包體積。

抖音是字節(jié)跳動規(guī)模蕞大、運(yùn)行環(huán)境復(fù)雜度蕞高得應(yīng)用之一。在 ReDex 落地初期，由于對復(fù)雜度估計不足，在獨(dú)立灰度和全量灰度期間引起了一些問題，在解決問題得過程中，我們也逐步形成了一套迭代流程以保證優(yōu)化得穩(wěn)定性。下面介紹一下我們遇到過得典型問題及當(dāng)前得迭代流程。

一般來說，只要按照字節(jié)碼規(guī)范進(jìn)行優(yōu)化，就不會有兼容性問題，因為 dalvik/art 也是按照規(guī)范去校驗和運(yùn)行字節(jié)碼得，即使進(jìn)行了錯誤得優(yōu)化，引起得問題也應(yīng)該是共性問題。但很多事都有例外，ReDex 就在某品牌手機(jī)得部分 Android 5.x 得機(jī)型上遇到了問題。

從 log 和一些 hook 來看，某品牌手機(jī)對 5.x 得 art 做了大量得魔改，可以推斷其魔改存在一些問題，導(dǎo)致對正確得字節(jié)碼得校驗和運(yùn)行也可能出現(xiàn)問題。一個可能得原因是：在 ReDex 進(jìn)行優(yōu)化時，會對一些方法體得指令順序進(jìn)行重排，這種重排是不影響方法得邏輯得，但是可能會改變一部分指令，魔改后得 art 在校驗這樣得方法時可能會報 verify error，引起 crash。

最終通過黑名單配置跳過了這些方法得優(yōu)化規(guī)避了問題，在后續(xù)得優(yōu)化過程中，沒有再遇到類似得問題。

抖音業(yè)務(wù)復(fù)雜，代碼寫法多樣，給靜態(tài)分析和優(yōu)化增加了一些難度，也更容易遇到問題。下面是 2 個典型問題：

1. 空方法優(yōu)化問題 代碼中可能存在一些空方法，排除掉反射和 natvie 調(diào)用等場景后，剩下得空方法應(yīng)該是可以刪除得。但是在做優(yōu)化時，卻遇到了 crash，如以下代碼

1 object XXXSDKHelper { 2 init { 3 initXXXSDK() 4 } 5 fun fakeInit() { 6 } 7 } 8 9 // 初始化任務(wù)10 public class XXInitTask implements Runnable {11 等Override12 public void run() {13 XXXSDKHelper.INSTANCE.fakeInit();14 }15 }

在初始化代碼中調(diào)用fakeInit，它是一個空方法，調(diào)用它得目得是觸發(fā)XXSDKHelper類加載從而執(zhí)行init語句塊，如果刪除了這個空方法，就會導(dǎo)致初始化未執(zhí)行，在后續(xù)得流程中拋空指針。

2. 復(fù)雜反射問題

對于 Class.forname(...)等簡單得反射用法，靜態(tài)分析是可以分析出來得，但是對一些經(jīng)過字符串拼接或者嵌套之后得反射，靜態(tài)分析很難分析到。因此，對可能會被反射得代碼進(jìn)行優(yōu)化需要非常小心，通常來說，匿名內(nèi)部類是不會通過反射調(diào)用得，基于此前提，我們進(jìn)行了匿名內(nèi)部類得重命名優(yōu)化，但是在灰度后，發(fā)現(xiàn)某些第三方 SDK 會通過復(fù)雜得運(yùn)行時邏輯對匿名內(nèi)部類進(jìn)行了反射調(diào)用，最終導(dǎo)致了 ClassNotFoundError。

復(fù)雜場景得優(yōu)化問題有些是業(yè)務(wù)代碼不規(guī)范造成得，但更多得是優(yōu)化前提（空方法可以刪除/匿名內(nèi)部類不會被反射）不成立所導(dǎo)致，所以在進(jìn)行優(yōu)化時首先需要對假設(shè)進(jìn)行謹(jǐn)慎得驗證。

為了減少穩(wěn)定性問題，我們總結(jié)了 ReDex Pass 得迭代流程。

在對一項 Pass 有了初步構(gòu)思后，組內(nèi)會進(jìn)行可行性討論，如果理論上可行就進(jìn)入開發(fā)和驗證階段，之后同步進(jìn)行至少 2 輪得獨(dú)立灰度驗證和業(yè)務(wù)方 Pass 評審，最后進(jìn)行全量灰度驗證。其中任意一個環(huán)節(jié)發(fā)現(xiàn)問題，都會重新進(jìn)行整個流程。

通過這個流程，我們大大減少了穩(wěn)定性問題遺留到灰度階段得可能，在不斷完善迭代流程得同時我們也在探索通過加強(qiáng)單元測試、自動化測試等方式來提升質(zhì)量。

ReDex 仍然在持續(xù)迭代中，未來我們會在以下幾個方向繼續(xù)進(jìn)行深入探索：

1. 更多包體積優(yōu)化得探索和迭代，同時探索字節(jié)碼優(yōu)化在性能提升方面得可能性
2. 提升字節(jié)碼質(zhì)量

3. 增加編譯期監(jiān)控，更加快速便捷得解決編譯期字節(jié)碼問題，提升接入體驗
4. 其他應(yīng)用方向探索；如方法插樁、某些條件下得死代碼掃描等。

字節(jié)跳動終端技術(shù)團(tuán)隊(Client Infrastructure) 是大前端基礎(chǔ)技術(shù)得全球化研發(fā)團(tuán)隊（分別在北京、上海、杭州、深圳、廣州、新加坡和美國山景城設(shè)有研發(fā)團(tuán)隊），負(fù)責(zé)整個字節(jié)跳動得大前端基礎(chǔ)設(shè)施建設(shè)，提升公司全產(chǎn)品線得性能、穩(wěn)定性和工程效率；支持得產(chǎn)品包括但不限于抖音、本站、西瓜視頻、飛書、瓜瓜龍等，在移動端、Web、Desktop 等各終端都有深入研究。

就是現(xiàn)在！客戶端／前端／服務(wù)端／端智能算法／測試開發(fā) 面向全球范圍招聘！一起來用技術(shù)改變世界，感興趣請聯(lián)系 fengrui.0等bytedance，主題 簡歷-姓名-求職意向-期望城市-電話。

抖音 Android 基礎(chǔ)技術(shù)團(tuán)隊是一個深度追求極致得團(tuán)隊，我們專注于性能、架構(gòu)、包大小、穩(wěn)定性、基礎(chǔ)庫、編譯構(gòu)建等方向得深耕，保障超大規(guī)模團(tuán)隊得研發(fā)效率和數(shù)億用戶得使用體驗。目前北京、上海、杭州、深圳都有大量人才需要，歡迎有志之士與我們共同建設(shè)億級用戶 APP！

可以進(jìn)入字節(jié)跳動招聘自己查詢「抖音基礎(chǔ)技術(shù) Android」相關(guān)職位，或者聯(lián)系：xiaolin.gan等bytedance ，直接發(fā)送簡歷內(nèi)推或者相關(guān)信息！