http://blog.csdn.net/u014795020/article/details/72514109

前言

今天在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)
  • 1
  • 1

就是如果你有M种语言(C、C++、Objective-C…),N种架构(armv7、armv7s、arm64、i386、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
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8

1.Preprocess - 预处理

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

终端输入:

$ clang -E main.m
  • 1
  • 1

只会做预处理步骤,不往后面走,如下

可以看到一个头文件要导入很多行代码,这里就要说到pch文件。本身Apple给出这个文件,是让我们放入Foundation或者UIKit等这些根本不会变的库,优化编译过程,但是开发者却各种宏,各种头文件导入,导致编译速度很慢。以至于后来苹果删除了这个文件,只能开发者自己创建。但是苹果除了modules这个概念,可以通过以下命令打开:

$ clang -E -fmodules main.m
  • 1
  • 1

默认把一些文件打包成库文件, 在build setting中默认打开的,我们可以用@import Foundation:

2.Lexical Analysis - 词法分析

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

可以在终端输入以下命令:

$ clang -fmodules -fayntax-only -Xclang -dump-tokens main.m
  • 1
  • 1

如下图: 

3.Analysis - 语法分析

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

根据当前的语法,生成语意节点,并将所有节点组合成抽象语法书(AST)

输入命令:

$ clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
  • 1
  • 1

如下图: 

可以通过语法树,反写回源码,如下图:

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
  • 1
  • 1

输入如下: 

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

如果加入优化:

$ clang -O3 -S -fobjc-arc -emit-llvm main.m -o main.m
  • 1
  • 1

明显感觉少了很多。

6. LVVM Bitcode - 生成字节码

输入命令:

$ clang -emit-llvm -c main.m -o main.bc
  • 1
  • 1

相信大家在iOS 9之后都听过这个概念,其实就是对IR生成二进制的过程。

7.Assemble - 生成Target相关汇编

终端输入:

$ clang -S -fobjc-arc main.m -o main.s
  • 1
  • 1

如下图:

汇编代码。

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

$ clang -fmodules -c main.m -o main.o
  • 1
  • 1

汇编的main.o的形式。

9.Link 生成 Executable

终端输入:

$ clang main.m -o main
$ ./main
  • 1
  • 2
  • 1
  • 2

总结一下吧: 

至此,我猜测可能桥接文件是在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源码熟悉

参考资料: 
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》

从Swift桥接文件到Clang-LLVM的更多相关文章

  1. 用Swift重写公司OC项目(Day2)--创建OC与Swift的桥接文件,进而调用OC类库

    昨天把项目中的图标以及启动转场图片弄好了,那么今天,我们可以开始慢慢进入到程序的编写当中了. 由于swift较新,所以类库还不够完善,但是不用担心,苹果早就出了解决方案,那就是使用桥接文件,通过桥接文 ...

  2. Swift MD5加密 所需桥接文件

    Swift MD5加密在github有一个非常好的第三方库,使用也比较简单,还有很多加密方法,如果需要,点击这里下载 对于那些不需要太多的加密,只需要MD5加密的同学,我建议还是不要用第三方库. 因为 ...

  3. iOS-OC、Swift 混编之桥接文件

    新建一个OC语言的项目,然后添加一个基于NSObject的Swift文件SwiftFileModel类 .swift import UIKit class SwiftFileModel: NSObje ...

  4. Swift中不用桥接文件和.h头文件直接和C代码交互的方法

    我们知道一般情况下Swit要想调用obj-c,c或c++代码必须通过obj-c以及桥接文件才可以办到,但是对于某些简单的代码,我们可以跳过桥接文件和.h头文件,直接和C代码交互呢! 我们再Projec ...

  5. iOS开发之-- oc 和 swift混编之自建桥接文件

    进行swift开发的时候,oc 的项目已经进行了很长一段时间,所以默认使用Xcode自建的桥接文件的时候,这个桥接文件名称是固定的,放置的目录也是无法更改的,所以我就想自己创建一个桥接文件,然后在ta ...

  6. oc 与 swift 之间的桥接文件 (ProjectNmae-Bridging-Header.h) (ProjectNmae-Swift.h)

    oc 与 Swift 是2种不同的语言, oc代码只能写带oc文件里, Swift代码只能写在Swift文件里, 虽然2者不同语言, 但却能互相调用, 不过需要进行一下桥接, 就是下面的2个文件 (P ...

  7. clang LLVM 介绍和安装(Ubuntu10 64位)

    http://www.csdn.net/article/2013-11-27/2817632 的对Stanley B.Lippman采访提到clang的一些优点,以前程序员杂志也写过,为了提高系统的性 ...

  8. swift 桥接 Bridging 的创建和使用

    swift编程时,大概率会用到OC的文件,这时就要使用swift与oc的桥接文件.桥接文件以  XXXX-Bridging-header.h  这样子的文件名形式为标准,XXXX是你的项目名字. 具体 ...

  9. 编译器:gcc, clang, llvm

    clang Clang是LLVM的前端,可以用来编译C,C++,ObjectiveC等语言.传统的编译器通常分为三个部分,前端(frontEnd),优化器(Optimizer)和后端(backEnd) ...

随机推荐

  1. Linux 教你如何预防删库到跑路

    学习linux之前,有几个命令是必须记住的 我们最常见的删库命令 rm -rf /** 这个命令可以在你心情不好的时候,对着公司服务器操作一番,保证让你一时爽, 删完库这个时候你就该跑路了,但是你真的 ...

  2. [转帖]Linux日志文件utmp、wtmp、lastlog、messages

    Linux日志文件utmp.wtmp.lastlog.messages https://www.cnblogs.com/zhuiluoyu/p/6874255.html 1.有关当前登录用户的信息记录 ...

  3. Delphi阿里云邮件推送【支持单一发信、邮件批量发送和获取指定条件下的发送数据】

    作者QQ:(648437169) 点击下载➨Delphi阿里云邮件推送               阿里云api文档 [Delphi阿里云邮件推送]支持SingleSendMail(单一发信接口). ...

  4. AnyProxy代理

    背景:当一个公司测试团队有多个人的时候,只需搭建一个AnyProxy服务,其它小伙伴浏览器上打开AnyProxy页面,手机上设置代理就能抓到http.https请求了.解决了部分人电脑不正经的小伙伴f ...

  5. 【1】【leetcode-17】电话号码的字母组合

    给定一个仅包含数字 2-9 的字符串,返回所有它能表示的字母组合. 给出数字到字母的映射如下(与电话按键相同).注意 1 不对应任何字母. 示例: 输入:"23"输出:[" ...

  6. 基于C#实现的单点登录

    了解或想探索单点登录的朋友应该对单点登录有一个大致的了解,在这里我不在过多的阐述单点登录的概念. 单点登录说的通俗一点,就是一处登录(统一认证中心--Server),处处通行(Client). 一.第 ...

  7. ELK部署配置使用记录

    为什么要用ELK: 一般我们需要进行日志分析场景:直接在日志文件中 grep.awk 就可以获得自己想要的信息.但在规模较大的场景中,此方法效率低下,面临问题包括日志量太大如何归档.文本搜索太慢怎么办 ...

  8. Git 多人协作 以及推送分支

    参考链接:https://www.liaoxuefeng.com/wiki/896043488029600/900375748016320 当你从远程仓库克隆时,实际上Git自动把本地的仓库的mast ...

  9. CodeForces 955D Scissors

    昨晚CF比赛比较颓,今天有心情写题解就不错了QWQ 洛谷题目页面传送门 & CodeForces题目页面传送门 给定字符串\(a,b,|a|=n,|b|=m\),求是否可以在\(a\)中选\( ...

  10. kylin Build过程问题排查:17 Step Name: Build Cube In-Mem

    Kylin Build执行到底17步时报错:17 Step Name: Build Cube In-Mem  ,错误截图如下: 点左下角的MRJob图标,打开查看错误信息: 从MRJob中的描述中可见 ...