极客时间已完结课程限时免费阅读

08 | 如何利用 Clang 为 App 提质？

08 | 如何利用 Clang 为 App 提质？-极客时间

08 | 如何利用 Clang 为 App 提质？

2019-03-28 戴铭 来自北京
《iOS开发高手课》
课程介绍

讲述：冯永吉

时长12:36大小11.51M

你好，我是戴铭。
以前在工作中，有段时间连续发生了多次线上事故，在复盘时大家都提出是因为代码不规范、代码规范执行不到位，从而导致代码质量过差，无法监管，我们才被动处理线上事故。会上牢骚发完，会后应该怎么执行呢？
我们都知道，监管手段是需要自己动手建设的，第三方工具无法满足所有的业务技术规范监控。在上篇文章“Clang、Infer 和 OCLint ，我们应该使用谁来做静态分析？”中，我们提到通过 Clang 提供的丰富接口功能就可以开发出静态分析工具，进而管控代码质量。
除此之外，基于 Clang 还可以开发出用于代码增量分析、代码可视化、代码质量报告来保障 App 质量的系统平台，比如CodeChecker。
比如，当周末发现线上问题时，你会发现很多时候分析问题的人都不在电脑边，无法及时处理问题。这时，我们就需要一款在线网页代码导航工具，比如 Mozilla 开发的 DXR，方便在便携设备上去操作、分析问题，这样的工具都是基于 Clang 开发的。
Clang 的功能如此强大，那么它到底是什么呢？Clang 做了哪些事情？Clang 还提供了什么能力可以为 App 提质呢？今天，我们就一起来看看这几个问题吧。

什么是 Clang？

关于 Clang 是什么，你可以先看一下如下所示的 iOS 开发的完整编译流程图。
图 1 iOS 开发完整的编译流程图
图中，左侧黑块部分就是 Clang。Clang 是 C、C++、Objective-C 的编译前端，而 Swift 有自己的编译前端（也就是 Swift 前端多出的 SIL optimizer）。
接下来，我们一起看看使用 Clang 有哪些优势。这，可以帮助我们理解本篇文章的后半部分内容。
第一，对于使用者来说，Clang 编译的速度非常快，对内存的使用率非常低，并且兼容 GCC。
第二，对于代码诊断来说， Clang 也非常强大，Xcode 也是用的 Clang。使用 Clang 编译前端，可以精确地显示出问题所在的行和具体位置，并且可以确切地说明出现这个问题的原因，并指出错误的类型是什么，使得我们可以快速掌握问题的细节。这样的话，我们不用看源码，仅通过 Clang 突出标注的问题范围也能够了解到问题的情况。
第三，Clang 对 typedef 的保留和展开也处理得非常好。typedef 可以缩写很长的类型，保留 typedef 对于粗粒度诊断分析很有帮助。但有时候，我们还需要了解细节，对 typedef 进行展开即可。
第四，Fix-it 提示也是 Clang 提供的一种快捷修复源码问题的方式。在宏的处理上，很多宏都是深度嵌套的， Clang 会自动打印实例化信息和嵌套范围信息来帮助你进行宏的诊断和分析。
第五，Clang 的架构是模块化的。除了代码静态分析外，利用其输出的接口还可以开发用于代码转义、代码生成、代码重构的工具，方便与 IDE 进行集成。
与 Clang 的强大功能相对立的是，GCC 对于 Objective-C 的支持比较差，效率和性能都没有办法达到苹果公司的要求，而且它还难以推动 GCC 团队。
于是，苹果公司决定自己来掌握编译相关的工具链，将天才克里斯·拉特纳（Chris Lattner）招入麾下后开发了 LLVM 工具套件，将 GCC 全面替换成了 LLVM。这，也使得 Swift 这门集各种高级语言特性的语言，能够在非常高的起点上，出现在开发者面前。
Clang 是基于 C++ 开发的，如果你想要了解 Clang 的话，需要有一定的 C++ 基础。但是，Clang 源码本身质量非常高，有很多值得学习的地方，比如说目录清晰、功能解耦做得很好、分类清晰方便组合和复用、代码风格统一而且规范、注释量大便于阅读等。
我们阅读 Clang 的源码，除了可以帮助我们了解 Clang 以外，还可以给我们提供一个学习优秀代码、提升编程思维能力的机会。特别是在编写自定义插件或者工具时，如果你对用到的接口了解得不是很清楚，或者好奇接口的实现，这时候去看源码，对于你的帮助是非常大的。
你可以点击这里的链接，在线查看 Clang 源码。
查看 Clang 的源码，你会发现它不光工程代码量巨大，而且工具也非常多，相互间的关系复杂。但是，好在 Clang 提供了一个易用性很高的黑盒 Driver，用于封装前端命令和工具链的命令，使得其易用性得到了很大的提升。

Clang 做了哪些事？

接下来，我通过前面提到的 Driver 命令来看看 Clang 对源码做了哪些事儿？
我们先看看下面这段示例代码：
int main()
{
int a;
int b = 10;
a = b;
return a;
}
首先，Clang 会对代码进行词法分析，将代码切分成 Token。输入一个命令可以查看上面代码的所有的 Token。命令如下：
clang -fmodules -E -Xclang -dump-tokens main.m
这个命令的作用是，显示每个 Token 的类型、值，以及位置。你可以在这个链接中，看到 Clang 定义的所有 Token 类型。我们可以把这些 Token 类型，分为下面这 4 类。
关键字：语法中的关键字，比如 if、else、while、for 等；
标识符：变量名；
字面量：值、数字、字符串；
特殊符号：加减乘除等符号。
接下来，词法分析完后就会进行语法分析，将输出的 Token 先按照语法组合成语义，生成类似 VarDecl 这样的节点，然后将这些节点按照层级关系构成抽象语法树（AST）。
在终端输入下面的这条命令，你就可以查看前面源码的语法树：
clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
打印出来效果如下：
TranslationUnitDecl 0xc75b450 <<invalid sloc>> <invalid sloc>
|-TypedefDecl 0xc75b740 <<invalid sloc>> <invalid sloc> implicit __builtin_va_list ‘char *’
`-FunctionDecl 0xc75b7b0 <test.cpp:1:1, line:7:1> line:1:5 main ‘int (void)’
`-CompoundStmt 0xc75b978 <line:2:1, line:7:1>
|-DeclStmt 0xc75b870 <line:3:2, col:7>
| `-VarDecl 0xc75b840 <col:2, col:6> col:6 used a ‘int’
|-DeclStmt 0xc75b8d8 <line:4:2, col:12>
| `-VarDecl 0xc75b890 <col:2, col:10> col:6 used b ‘int’ cinit
| `-IntegerLiteral 0xc75b8c0 <col:10> ‘int’ 10
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< a = b <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
|-BinaryOperator 0xc75b928 <line:5:2, col:6> ‘int’ lvalue ‘=‘
| |-DeclRefExpr 0xc75b8e8 <col:2> ‘int’ lvalue Var 0xc75b840 ‘a’ ‘int’
| `-ImplicitCastExpr 0xc75b918 <col:6> ‘int’ <LValueToRValue>
| `-DeclRefExpr 0xc75b900 <col:6> ‘int’ lvalue Var 0xc75b890 ‘b’ ‘int’
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
`-ReturnStmt 0xc75b968 <line:6:2, col:9>
`-ImplicitCastExpr 0xc75b958 <col:9> ‘int’ <LValueToRValue>
`-DeclRefExpr 0xc75b940 <col:9> ‘int’ lvalue Var 0xc75b840 ‘a’ ‘int
其中 TranslationUnitDecl 是根节点，表示一个编译单元；Decl 表示一个声明；Expr 表示的是表达式；Literal 表示字面量，是一个特殊的 Expr；Stmt 表示陈述。
除此之外，Clang 还有众多种类的节点类型。Clang 里，节点主要分成 Type 类型、Decl 声明、Stmt 陈述这三种，其他的都是这三种的派生。通过扩展这三类节点，就能够将无限的代码形态用有限的形式来表现出来了。
接下来，我们再看看 Clang 提供了什么能力。

Clang 提供了什么能力？

Clang 为一些需要分析代码语法、语义信息的工具提供了基础设施。这些基础设施就是 LibClang、Clang Plugin 和 LibTooling。

LibClang

LibClang 提供了一个稳定的高级 C 接口，Xcode 使用的就是 LibClang。LibClang 可以访问 Clang 的上层高级抽象的能力，比如获取所有 Token、遍历语法树、代码补全等。由于 API 很稳定，Clang 版本更新对其影响不大。但是，LibClang 并不能完全访问到 Clang AST 信息。
使用 LibClang 可以直接使用它的 C API。官方也提供了 Python binding 脚本供你调用。还有开源的 node-js/ruby binding。你要是不熟悉其他语言，还有个第三方开源的 Objective-C 写的ClangKit 库可供使用。

Clang Plugins

Clang Plugins 可以让你在 AST 上做些操作，这些操作能够集成到编译中，成为编译的一部分。插件是在运行时由编译器加载的动态库，方便集成到构建系统中。
使用 Clang Plugins 一般都是希望能够完全控制 Clang AST，同时能够集成在编译流程中，可以影响编译的过程，进行中断或者提示。关于 Clang Plugins 开发的更多内容，我会在第 37 篇文章“如何编写 Clang 插件？”中和你详细说明。

LibTooling

LibTooling 是一个 C++ 接口，通过 LibTooling 能够编写独立运行的语法检查和代码重构工具。LibTooling 的优势如下：
所写的工具不依赖于构建系统，可以作为一个命令单独使用，比如 clang-check、clang-fixit、clang-format；
可以完全控制 Clang AST；
能够和 Clang Plugins 共用一份代码。
与 Clang Plugins 相比，LibTooling 无法影响编译过程；与 LibClang 相比，LibTooling 的接口没有那么稳定，也无法开箱即用，当 AST 的 API 升级后需要更新接口的调用。
但是，LibTooling 基于能够完全控制 Clang AST 和可独立运行的特点，可以做的事情就非常多了。
改变代码：可以改变 Clang 生成代码的方式。基于现有代码可以做出大量的修改。还可以进行语言的转换，比如把 OC 语言转成 JavaScript 或者 Swift。
做检查：检查命名规范，增加更强的类型检查，还可以按照自己的定义进行代码的检查分析。
做分析：对源码做任意类型分析，甚至重写程序。给 Clang 添加一些自定义的分析，创建自己的重构器，还可以基于工程生成相关图形或文档进行分析。
在 LibTooling 的基础之上有个开发人员工具合集 Clang tools，Clang tools 作为 Clang 项目的一部分，已经提供了一些工具，主要包括：
语法检查工具 clang-check；
自动修复编译错误工具 clang-fixit；
自动代码格式工具 clang-format；
新语言和新功能的迁移工具；
重构工具。
如果你打算基于 LibTooling 来开发工具，Clang tools 将会是很好的范例。
官方有一个教程叫作 Tutorial for building tools using LibTooling and LibASTMatchers，可以一步步地告诉你怎样使用 LibTooling 来构建一个语言转换的工具。通过这个教程，你可以掌握 LibTooling 的基本使用方法。

小结

在今天这篇文章中，我和你说了 Clang 做了什么，以及提供了什么能力。从中可以看出，Clang 提供的能力都是基于 Clang AST 接口的。
这个接口的功能非常强大，除了能够获取符号在源码中的位置，还可以获取方法的调用关系，类型定义和源码里的所有内容。
以这个接口为基础，再利用 LibClang、 Clang Plugin 和 LibTooling 这些封装好的工具，就足够我们去开发出满足静态代码分析需求的工具了。比如，我们可以使用 Clang Plugin 自动在构建阶段检查是否满足代码规范，不满足则直接无法构建成功。再比如，我们可以使用 LibTooling 自动完成代码的重构，与手动重构相比会更加高效、精确。
还记得我们在上一篇文章“Clang、Infer 和 OCLint ，我们应该使用谁来做静态分析？”中，提到的 Clang 静态分析器的引擎吗？它使用的就是 Clang AST 接口，对于节点 Stmt、Decl、Type 及其派生节点 Clang AST 都有对应的接口，特别是 RecursiveASTVisitor 接口可以完整遍历整个 AST。通过对 AST 的完整遍历以及节点数据获取，就能够对数据流进行分析，比如 Iterative Data Flow Analysis、path-sensitive、path-insensitive、flow-sensitive 等。
此外，还能够模拟内存分配进行分析，Clang 静态分析器里对应的模块是 MemRegion，其中内存模型是基于 “A Memory Model for Static Analysis of C Programs”这篇论文而来。在 Clang 里的具体实现代码，你可以查看 MemRegion.h 和 RegionStore.cpp 这两个文件。对于 Clang 静态分析器的原理描述，你可以参看官方说明。
手中握有好兵器，你对 App 代码质量的掌控也就有了底气。程序员开发软件的目的，就是要提高开发效率，同时也不要忽略检查代码质量时的效率。所以，对于开发者来说，我们要避免人工繁琐的 Review 代码，并减少由人工带来的低效和高差错率。我们的原则就是，能够让程序自动解决的，绝对不要人工手动完成。

课后作业

请你搭建 Clang 的开发环境，然后基于 LibTooling 编写一个简单语法转换工具，比如把 C 语言的方法调用转 Lisp 方法调用。
C 的方法调用代码：
multiply(add(1.4, 3))
Lisp 的方法调用代码：
(multiply (add 1.4 3))
感谢你的收听，欢迎你在评论区给我留言分享你的观点，也欢迎把它分享给更多的朋友一起阅读。
分享给需要的人，Ta购买本课程，你将得18元
生成海报并分享

赞 0

提建议

© 版权归极客邦科技所有，未经许可不得传播售卖。 页面已增加防盗追踪，如有侵权极客邦将依法追究其法律责任。
上一篇
07 | Clang、Infer 和 OCLint ，我们应该使用谁来做静态分析？
下一篇
09 | 无侵入的埋点方案如何实现？
unpreview
 写留言

精选留言(21)

  • Roger
    2019-03-28
    喂完奶来评论下，最近摸索出了学习这套教程的方法：先看文章，配合着音频防止走神。然后在github和google上搜索相关知识进行系统学习，比如之前讲到的启动优化，github上就有非常好的启动优化总结。再比如LLVM相关知识，腾讯课堂里小码哥就讲得非常仔细。所以将文章作为引子，然后系统的学习吧！

    作者回复: 赞

    58
  • 里奇
    2019-03-28
    老师可以写一点单元测试和持续集成相关的知识吗？
    9
  • tomcat
    2019-03-30
    我这里有一个利用clang libtooling进行方法名替换的应用，大家可以看看加深理解，https://www.jianshu.com/p/3a8fb6f7c55f

    作者回复: 赞

    共 2 条评论
    8
  • 鹏哥
    2019-03-28
    老师，前面的课程中你提到对某一领域要做到精而不是都只是了解，那你这里有这么多内容，我应该怎么选择需要去深入研究的内容呢？还是说所有的都需要去深入研究？

    作者回复: 根据工作需要来选择吧

    8
  • 孟勃宇
    2019-03-28
    提个建议， 页面的跳转链接可以选择在新标签页打开。
    7
  • LaiYoung_
    2019-04-01
    我写了两篇入门文章 https://github.com/CYBoys/Blogs/blob/master/LLVM_Clang/LLVM%20%26%20Clang%20%E5%85%A5%E9%97%A8.md 和 https://github.com/CYBoys/Blogs/blob/master/LLVM_Clang/Clang%20Plugin%20%E4%B9%8B%20Debug.md 还有一个关于代码规范的插件，没有戴老师写得好

    作者回复: 赞

    共 2 条评论
    4
  • Geek_8bbcd0
    2020-09-30
    本人也有写基于llvm clang 的libtooling 模块开发的系列文章《基于llvm clang 的objective-c代码混淆》系列，以及总结了开发中遇到的问题。并实现了一个完整的混淆工具，包括源码读取，编译参数生成，混淆代码等！特来留下痕迹：www.banmalu.top
    3
  • 长方体混凝土移动工程...
    2019-05-09
    学习clang一段时间来整理的资料与详细注释 提供了完整的plugin与libtooling 开发的最简单的代码 https://github.com/czqasngit/iOS_senior - _ -
    2
  • Geek
    2019-03-29
    每天学一课都能感觉到自己的进步，课程很好，就靠学习来打发无聊的时间了

    作者回复: 有进步就好，赞

    2
  • Guarantee
    2019-07-20
    老师，图片上的中间代码 IR，是不是汇编代码？

    作者回复: 不是，是一种平台无关的中间代码

    1
  • cc
    2019-03-28
    都不懂 我该何去何从呢

    作者回复: 找到场景就有学下去的动力了，下一篇会提到 Clang 的一个很实际的用处。加油

    2
  • Crazy_cc
    2019-03-28
    别问，学就是了！
    1
  • 平淡得像一只猫
    2021-11-10
    libtooling目前网上的方案都没有办法很好的落地，大型工程中根本无法应用，会有很多报错，找不到符号定义等等等问题
  • 素问
    2021-04-19
    A Memory Model for Static Analysis of C Programs 这篇文章的链接失效了
  • 涛
    2021-04-07
    看了文章才知道有这些东西 ，我是不是太菜了，还有救吗
  • zhonglaoban
    2020-08-01
    用过clang-format，配合mac的automator，还挺方便的。
  • GODV
    2019-05-29
    老师的课程，看过以后还需要以后复习啊，总有种后知后觉感觉
  • drunkenMouse
    2019-03-31
    当我准备就绪打算开始写的时候，发现自己好像。。都不会Lisp语言 今天的作业够呛了。。

    作者回复: 哈哈

  • lion
    2019-03-28
    对于Clang这一块确实了解和接触的比较少，看了老师的文章，觉得似乎打开了一条新的通道，但是又感觉老师讲的东西有点多，不知道该从哪开始，所以想请教下如果想接触这块知识的话，从哪里着手比较好呢？

    作者回复: 从实践开始，下篇会提到一个具体可以实践的场景

  • SuperChao
    2019-03-28
    质量很高！