从Swift桥接文件到Clang-LLVM

前言

今天在Swift工程中不当心建立了一个OC文件，因而乎提示我建立一个桥接文件，那么为何须要建立桥接文件呢，它的原理又是什么呢？

打开百度一搜，全是教你怎么建立桥接文件的，彷佛找不到答案~

LVVM - Low Level Virtual Machine Clang - C Lange Family Frontend for LVVM

编译器探究

• GCC

GNU编译器套件（GNU Compiler Collection）包括C、C++、Objective-C、Fortran、Java、Ada和Go语言的前端，也包括了这些语言的库（如libstdc++、libgcj等等）

早起的OC 程序员都感觉过GCC编译程序，可是苹果为何好好的GCC不用，本身要搞一套呢？

1.GCC 的 Objective-C Frontend不给力：GCC的前端不是苹果提供维护的，想要添加一些语法提示等功能还得去求GCC的前端去作。

2.GCC 插件、工具、IDE的支持薄弱：不少编译器特性没有，自动补全、代码提示、warning、静态分析等这些流程不是很给力，都是须要IDE调用底层命令完成的，结果须要以插件的形式暴露出来，这一块GCC作的不是很好。

3.GCC 编译效率和性能不足：Apple的Clang出来之后，其编译效率是GCC的3倍，编译器性能好，编译出的文件小。

4.Apple要收回去工具链的控制 （lldb, lld...）: Apple在早起从GCC前端到LLVM后端的编译器，到Clang-LVVM的编译器，之后后来的GDB的替换，一步一步收回对编译工具链的控制，也为Swift 的出现奠基基础。

• Three-Phase 编译器架构

上图是最简单的三段式编译器架构。

首先，咱们看到source 是咱们的源代码，进入编译器的前端Frontend；在前端完成以后，就进入优化器这一模块；优化完成以后进入后端这一模块；在这所有完成以后，根据你的架构是x86，armv7等生产机器码。

可是会有一个问题：

M (Language) * N (Target) = M * N (Compilers)
复制代码

就是若是你有M种语言(C、C++、Objective-C...)，N种架构(armv七、armv7s、arm6四、i38六、x86_64...)，那么你就有M * N中编译方式须要处理，显然是不合理的。

• apple 的 Clang/Swift - LLVM 编译器架构：

其中优化器部分(Common Optimizer)是共享的。而对于每一种语言都有其前端部分，假如新有一门语言，只须要实现该语言的前端模块；若是新出一台设备，它的架构不一样，那么也只须要单独完成其后端模块便可。改动很是小，不会作重复的工做。

下面详解：

蓝色的部分：C语言家族系列的前端，属于Clang部分。

绿色的部分： Swift语言的前端，其中还包含本身的SIL中间语言和Optimzer中间语言的优化过程。

紫色的部分： 优化阶段和后端模块统一是LLVM部分。

• 代码规模

Clang + LLVM 代码模块总共有400W行代码，其中主体部分是C++写的，大概有235W行。若是将全部的target，lib等文件编译出来，大概有近20G的大小：

对比Swift Frontend 代码规模，就少不少，只有43W行左右。可能在后端，好比优化器策略，生成机器码部分就有不少代码：

• Clang命令

Clang在概念上是编译器前端，同时，在命令行中也做为一个“黑盒”的 Driver;

它封装了编译管线、前端命令、LLVM命令、Toolchain命令等，即一个Clang走天下；

方便从GCC迁移过来。

当咱们点击run命令之后，以下图：

就是咱们在build setting中的一些设置，组装成命令，下面能够看到是一个 oc文件在arc环境下的编译过程：

• 拆解编译过程

#import <Foundation/Foundation.h>

int main() {
	@autoreleasepool {
		id obj = [NSObject new];
		NSLog(@"Hellow world: %@", obj);
	}
}
复制代码

1.Preprocess - 预处理

import 头文件，include头文件等 macro宏展开 处理'#'大头的预处理指令，如 #if，#elseif等

终端输入：

$ clang -E main.m
复制代码

只会作预处理步骤，不日后面走，以下

能够看到一个头文件要导入不少行代码，这里就要说到pch文件。自己Apple给出这个文件，是让咱们放入Foundation或者UIKit等这些根本不会变的库，优化编译过程，可是开发者却各类宏，各类头文件导入，致使编译速度很慢。以致于后来苹果删除了这个文件，只能开发者本身建立。可是苹果提供modules这个概念，能够经过如下命令打开：

$ clang -E -fmodules main.m
复制代码

默认把一些文件打包成库文件, 在build setting中默认打开的，咱们能够用@import Foundation:

2.Lexical Analysis - 词法分析

词法分析，也做Lex 或者 Tokenization 将预处理过得代码文本转化为Token流 不会校验语义

能够在终端输入如下命令：

$ clang -fmodules -fayntax-only -Xclang -dump-tokens main.m
复制代码

以下图：

3.Analysis - 语法分析

语法分析，在Clang中有Parser和Sema两个模块配合完成，验证语法是否正确，并给出正确的提示。这就是Clang标榜GCC，本身的语法提示友好的体现。

根据当前的语法，生成语意节点，并将全部节点组合成抽象语法书(AST)

输入命令：

$ clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
复制代码

以下图：

能够经过语法树，反写回源码，以下图：

4.Static Analysis - 静态分析(不是必须的)

经过语法书进行代码静态分析，找出非语法性错误 模拟代码执行路径，分析出 contro-flow graph (CFG) 预置了经常使用的 Checker

在Xcode中以下操做能够实现：

5.CodeGen - IR 代码生成

CodeGen负责将语法树从顶至下遍历，翻译成LLVM IR，LLVMIR 是Frontend的输入，也是LLVM Backend 的输入，是先后端的桥接语言。

与Objective-C Runtime 桥接

①Class / Meta Class / Protocol / Category 内存结构生成，并存放在指定 session中(如Class： _DATA, _objc_classrefs)

②Method / Ivar / Property 内存结构生成

③组成 method_list / ivar_list / property_list并填入Class

④Non-Fragile ABI: 为每一个Ivar合成 **OBJC_IVAR_$_**偏移常量

⑤存取 Ivar的语句(ivar = 123; int a = ivar;) 转写成base + **OBJC_IVAR$**的形式

⑥将语法树中的 ObjCMessageExpr 翻译成相应版本的objc_msgSend，对super关键字的调用翻译成objc_msgSendSuper

⑦处理@synthsynthesize

⑧生成 block_layout 的数据结构

⑨变量 capture （__block/ __weak）

10.生成_block_invoke函数

11.ARC: 分析对象引用关系，将 objc_storeStrong/ objc_storeWeak 等ARC 代码插入

12.将 ObjCAutoreleasePoolStmt 转译成objc_autoreleasePoolPush/Pop

13.实现自动调用[super dealloc]

14.为每一个拥有 ivar 的Class 合成.cxx_destructor 方法来自动释放类的成员变量，代替MRC 时代下的"self.xxx = nil"

举个栗子，嘿嘿：

终端输入：

$ clang -S -fobjc-arc -emit-llvm main.m -o main.m
复制代码

输入以下：

介于C和汇编的中间形态。

若是加入优化：

$ clang -O3 -S -fobjc-arc -emit-llvm main.m -o main.m
复制代码

明显感受少了不少。

6. LVVM Bitcode - 生成字节码

输入命令：

$ clang -emit-llvm -c main.m -o main.bc
复制代码

相信你们在iOS 9以后都听过这个概念，其实就是对IR生成二进制的过程。

7.Assemble - 生成Target相关汇编

终端输入：

$ clang -S -fobjc-arc main.m -o main.s
复制代码

以下图：

汇编代码。

8.Assemble - 生成Target相关 Object(Mach-o) 终端输入：

$ clang -fmodules -c main.m -o main.o
复制代码

汇编的main.o的形式。

9.Link 生成 Executable

终端输入：

$ clang main.m -o main
$ ./main
复制代码

总结一下吧：

至此，我猜想可能桥接文件是在Clang阶段，将OC文件进行编译，生成语法树，而后再返成Swift能识别的类文件。

• 咱们能在Clang上作什么？

Apple给咱们留了3个接口：

1.LibClang 功能： ①C 的API来访问Clang的上层能力，好比获取Tokens、遍历语法树、代码补全、获取诊断信息； ②API稳定，不受Clang源码更新影响 ③只有上层的语法树能够访问，不能获取到所有信息 ④使用原始的 C的API ⑤脚本语言： 使用官方提供的 python binding 或开源的 node-js / ruby binding ⑥Objective-C： 开源库 ClangKit

2.LibTooling ①对语法树 有彻底的控制权 ②可做为一个 standalone 命令单独使用，如 clang-format ③须要使用C++且对Clang源码熟悉

3.ClangPlugin ①对语法树有彻底的控制权 ②做为插件注入到编译流程中，能够影响build和决定编译过程 ③须要使用C++且对Clang源码熟悉

结语

  最后感谢孙源(我就叫Sunny怎么了)的分享，并且但愿感兴趣的小伙伴能够阅读《程序员的自我修养》这本书，想要高阶资料，那么“龙书”将是你的不二之选。

  若是本文中有错误的地方，欢迎指正，邮箱: ed_sun0129@163.com，github: github.com/edsum！

参考资料：

http://clang.llvm.org/docs/index.html http://blog.llvm.org/ https://www.objc.io/issues/6-build-tools/compiler/ http://llvm.org/docs/tutorial/index.html https://github.com/loarabia/Clang-tutorial http://lowlevelbits.org/getting-started-with-llvm/clang-on-os-x/ https://hevinaboos.wordpress.com/2013/07/23/clang-tutorial-part-i-introducation/ http://szelei.me/code-generator/

• 《Getting Started with LLVM Core Libraries》
• 《LLVM Cookbook》