解释性语言和编译性语言的区别?
解释性语言可以通过解释器直接执行相应的代码,比如python语言;而
编译性语言要经过编译器编译成相应的可执行文件,然后才可以执行。
传统的编译器设计
编译器前端(Frontend)
编译器前端的任务是解析源代码。它会进行:词法分析,语法分析,语义分析,检查源代码是否存在错误,然后构建抽象语法树(Abstract Syntax Tree,AST),LLVM的前端还会生成中间代码(IR)。
优化器(Optimizer)
优化器负责各种优化。改善代码的运行时间,例如消除冗余计算等。
后端(Backend)/代码生成器(CodeGenerator)
将代码映射到目标指令集,生成机器语言,并且进行机器相关的代码优化。
iOS的编译器架构
clang和llvm的联系?
Objective C/C/C++使用的编译器前端是Clang,swift是Swift。后端都是LLVM。LLVM是编译器的框架系统,clang只是编译器的前端部分。
LLVM的设计
其他的编译器如GCC,作为了一个整体的程序设计的,所以不够灵活。
LLVM最重要的设计就是,使用的通用的代码表示形式IR,它是用来在编译器中表示代码的形式。所以LLVM可以灵活的增加前端和后端,只要增加的前端和后端使用同一的规则IR就可以。
Clang
Clang是LLVM的一个子项目,它的诞生是为了替代GCC。它属于LLVM架构中的前端。
通过下面的命令可以打印源码的编译阶段。
clang -ccc-print-phases main.m
打印结果如下:
0: input, "main.m", objective-c
1: preprocessor, {0}, objective-c-cpp-output
2: compiler, {1}, ir
3: backend, {2}, assembler
4: assembler, {3}, object
5: linker, {4}, image
6: bind-arch, "x86_64", {5}, image
上面过程的解释:
0:输入原文件;
1:预处理过程,包括宏的替换,头文件的导入等;
2:编译阶段,词法分析、语法分析,最终生成IR代码。
3:后端,代码优化处理,最终生成汇编;
4:汇编生成目标文件;
5:连接:链接需要的动态库和静态库,生成可执行文件;
6:通过不同的架构,生成对象的可执行文件;
预处理阶段
clang -E main.m
执行完成后可以看到文件的导入和宏的替换。
编译阶段
词法分析:把代码切成一个个的Token,比如大小括号,字符串等。
clang -fmodules -fsyntax-only -Xclang -dump-tokens main.m
语法分析:在词法分析的基础上将单词序列组成起来,形成了语法树,判断程序代码在结构上是否正确。
clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
生成中间代码:
通过下面的代码可以生成.ll的IR代码文件
clang -S -fobjc-arc -emit-llvm main.m
IR生成时可以通过参数选择优化,优化级别分别为-O0 -O1 -O2 -O3 -Os
clang -Os -S -fobjc-arc -emit-llvm main.m -o main.ll
bitCode:Xcode7以后可通过bitcode开启进一步的优化,生成.bc的中间代码。
clang -emit-llvm -c main.ll -o main.bc
生成汇编代码:最终通过.ll或者.bc生成汇编代码。
clang -S -fobjc-arc main.bc -o main.s
clang -S -fobjc-arc main.ll -o main.s
生成汇编代码的时候也可以选择优化
clang -Os -S -fobjc-arc main.m -o main.s
生成目标文件(汇编器):
clang -fmodules -c main.s -o main.o
生成可执行文件(链接):
clang main.o -o main
创建Clang插件
-
在LLVM的目录 /llvm/tools/clang/tools 创建新的插件:HKPlugin。
-
修改/llvm/tools/clang/tools目录下的CMakeLists.text文件,新增add_clang_subdirectory(HKPlugin)。
在HKPlugin目录下新增一个HKPlugin.cpp的文件以及CMakeLists.text配置文件。在CMakeLists.text中填写配置信息:
- 接下来我们利用cmake重新生成一下Xcode项目。在build_xcode目录下cmake -G Xcode ../llvm
-
最后在LLVM的Xcode项目中可以看到Loadable modules 目录下有自己的Plugin目录了。下面我们就可以在里面编写插件代码了。
一个简单的插件代码:
#include
#include "clang/AST/AST.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/ASTMatchers/ASTMatchers.h"
#include "clang/Frontend/CompilerInstance.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Frontend/FrontendPluginRegistry.h"
using namespace clang;
using namespace std;
using namespace llvm;
using namespace clang::ast_matchers;
namespace HKPlugin {
class HKConsumer : public ASTConsumer{
public:
//解析完一个顶级的申明就会来这里执行!
bool HandleTopLevelDecl(DeclGroupRef D) {
cout<<"正在解析..."< &arg){
return true;
}
unique_ptr CreateASTConsumer(CompilerInstance &CI,
StringRef InFile){
return unique_ptr (new HKConsumer);
}
};
}
//注册插件
static FrontendPluginRegistry::Add X("HKPlugin", "This is the description of the plugin");
测试插件代码
自己编写的clang插件目录 -isysroot /Applications/Xcode.app/Contents/Deve loper/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulat or12.2.sdk/ -Xclang -load -Xclang 插件(.dylib)路径 -Xclang -add-plugin
-Xclang 插件名 -c 源码路径
测试结果:
自定义clang---属性修饰符copy
在clang的语法分析阶段,判断属性类型为NSString,NSArray,NSDictionay的,是否使用copy修饰,如果不是copy修饰报出警告。
@interface ViewController ()
/** */
@property (nonatomic, strong) NSString *name;
/** */
@property (nonatomic, strong) NSArray *arrs;
@end
我们使用clang的语法分析命令翻译该文件
clang -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/ iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator12.2.sdkS DK -fmodules -fsyntax-only -Xclang -ast-dump ViewController.m
得到的了编译阶段的语法树:
可以看到属性在语法树中被翻译为ObjCPropertyDecl
。我们可以在语法分析的阶段监听ObjCPropertyDecl
这种类型的节点,然后进行判断。想要监听某个类型的节点,我们可以使用MatchFinder
来获取。
class ZFConsumer : public ASTConsumer{
private:
MatchFinder matcher;
ZFMatchCallback callBack;
public:
ZFConsumer() {
matcher.addMatcher(objcPropertyDecl().bind("objcPropertyDecl"), &callBack);
}
//解析完整个文件后被调用
void HandleTranslationUnit(ASTContext &Ctx) {
cout<<"ZF文件解析完毕!"<
为Consumer增加了成员变量matcher,在Consumer的初始化中通过matcher来添加objcPropertyDecl
类型节点的监听。然后在文件解析完的回调方法HandleTranslationUnit
中,为matcher传递ASTContext。另外我们还需要创建回调的对象ZFMatchCallback。
class ZFMatchCallback: public MatchFinder::MatchCallback {
public:
virtual void run(const MatchFinder::MatchResult &Result) {
//通过结果获取到节点。
const ObjCPropertyDecl *propertyDecl = Result.Nodes.getNodeAs("objcPropertyDecl");
if (propertyDecl) {//如果节点有值
//拿到属性的类型
string typeStr = propertyDecl->getType().getAsString();
cout<
监听到objcPropertyDecl
类型的节点后,会回调run
方法。这样我们就可以获取到节点以及节点的类型等信息。
这样进行监听话,还会把引入的头文件的信息全部都给拦截监听了,所以我们需要过滤下,如果是路径包含"/Applications/Xcode.app/"就为系统的头文件中的信息,需要过滤掉。
//判断是否是自己的文件
bool isUserSourceCode(const string filename) {
if (filename.empty()) return false;
// 非Xcode中的源码都认为是用户源码
if (filename.find("/Applications/Xcode.app/") == 0) return false;
return true;
}
//获取文件名称
string filename = CI.getSourceManager().getFilename(propertyDecl->getSourceRange().getBegin()).str();
if (propertyDecl && isUserSourceCode(filename)) {//如果节点有值,并且是用户文件
.......
}
其中的CI为CompilerInstance类型,是通过ZFConsumer传递过来的。
然后我们还需要判断当前的属性是否正确使用了copy
//判断是否应该用copy修饰。
bool isShouldUseCopy(const string typeStr) {
if (typeStr.find("NSString") != string::npos ||
typeStr.find("NSArray") != string::npos ||
typeStr.find("NSDictionary") != string::npos/*...*/) {
return true;
}
return false;
}
//attrKind & ObjCPropertyDecl::OBJC_PR_copy 如果实行修饰符为copy返回true
if (isShouldUseCopy(typeStr) && !(attrKind & ObjCPropertyDecl::OBJC_PR_copy)) {
}
如果该使用copy的地方没有使用copy,使用DiagnosticsEngine诊断引擎进行警告处理
//诊断引擎
DiagnosticsEngine &diag = CI.getDiagnostics();
//Report 报告
diag.Report(propertyDecl->getBeginLoc(),diag.getCustomDiagID(DiagnosticsEngine::Warning, "%0这个地方推荐用Copy"))<
这样我们的clang插件就写的差不多了,使用自定义的clang和clang插件对ViewController.m文件的属性就行语法检测,结果如下:
NSString *应该用copy修饰而没用Copy,发出警告!
demo1/ViewController.m:13:1: warning: NSString *这个地方推荐用Copy
@property (nonatomic, strong) NSString *name;
^
NSArray *应该用copy修饰而没用Copy,发出警告!
demo1/ViewController.m:15:1: warning:
NSArray *这个地方推荐用Copy
@property (nonatomic, strong) NSArray *arrs;
^
2 warnings generated.
最后附上我们自定义的clang插件的完成代码:
#include
#include "clang/AST/AST.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/ASTMatchers/ASTMatchers.h"
#include "clang/Frontend/CompilerInstance.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Frontend/FrontendPluginRegistry.h"
using namespace clang;
using namespace std;
using namespace llvm;
using namespace clang::ast_matchers;
namespace ZFPlugin {
class ZFMatchCallback: public MatchFinder::MatchCallback {
private:
CompilerInstance &CI;
//判断是否是自己的文件
bool isUserSourceCode(const string filename) {
if (filename.empty()) return false;
// 非Xcode中的源码都认为是用户源码
if (filename.find("/Applications/Xcode.app/") == 0) return false;
return true;
}
//判断是否应该用copy修饰。
bool isShouldUseCopy(const string typeStr) {
if (typeStr.find("NSString") != string::npos ||
typeStr.find("NSArray") != string::npos ||
typeStr.find("NSDictionary") != string::npos/*...*/) {
return true;
}
return false;
}
public:
ZFMatchCallback(CompilerInstance &CI):CI(CI) {}
virtual void run(const MatchFinder::MatchResult &Result) {
//通过结果获取到节点。
const ObjCPropertyDecl *propertyDecl = Result.Nodes.getNodeAs("objcPropertyDecl");
//获取文件名称
string filename = CI.getSourceManager().getFilename(propertyDecl->getSourceRange().getBegin()).str();
if (propertyDecl && isUserSourceCode(filename)) {//如果节点有值,并且是用户文件
//拿到属性的类型
string typeStr = propertyDecl->getType().getAsString();
//拿到节点的描述信息
ObjCPropertyDecl::PropertyAttributeKind attrKind = propertyDecl->getPropertyAttributes();
//attrKind & ObjCPropertyDecl::OBJC_PR_copy 如果实行修饰符为copy返回true
if (isShouldUseCopy(typeStr) && !(attrKind & ObjCPropertyDecl::OBJC_PR_copy)) {
cout<getBeginLoc(),diag.getCustomDiagID(DiagnosticsEngine::Warning, "%0这个地方推荐用Copy"))< &arg){
return true;
}
unique_ptr CreateASTConsumer(CompilerInstance &CI,
StringRef InFile){
return unique_ptr (new ZFConsumer(CI));
}
};
}
//注册插件
static FrontendPluginRegistry::Add X("ZFPlugin", "This is the description of the plugin");
Xcode集成自定义插件
前面我们写好了自定义的功能插件,下面我们把插件集成到Xcode中去。
加载插件
打开测试的xcode项目,在Build Settings -> Other C Flags添加如下内容:
-Xclang -load -Xclang (.dylib)插件路径 -Xclang -add-plugin -Xclang ZFPlugin。
设置编译器
-
设置编译器clang为自己的clang。
clang插件需要对应版本的clang去加载,如果版本不一致会导致编译出错。需要再Build Setting中新增两项用户定义的设置
-
分别为CC和CXX。
CC对应的是自己编译的clang路径;
CXX对应的是自己编译的clang++路径;
-
接下来在Build Settings栏目中搜索Index,将Enable Index-While-Building Functionality的Default该为NO。
-
然后可以达到我们的最终目的,使用自定义的clang插件检测我们的代码的语法了。