clang-tidy学习笔记-1

1.clang-query 文件目录 -p json文件目录(用于调用clang-query 工具对匹配器语法进行验证)

2.match functionDecl(isExpansionInMainFile())(用于匹配主文件中的函数节点)

3. 匹配器的工作步骤

3.1 通过匹配表达式描述一项具体任务中感兴趣的抽象语法树

3.2 匹配器匹配到抽象语法树具体节点并将节点绑定到指定字符串上

3.3 在回调函数中对匹配到的节点进行处理

3.4 示例：functionDecl(hasName("test_checkWhileLoopCondition")).bind("funcDecl")将匹配的functionDecl节点绑定到字符串“funcDecl”

4. AST匹配器的类型

节点匹配器:匹配特定节点

eg: objcPropertyDecl() ：匹配 OC 属性声明节点(如@interface Foo)

缩小匹配器：匹配具有相应属性的节点

eg: hasName()：用于匹配具有指定名称的节点

hasAttr()：匹配具有指定属性的节点

遍历匹配器：允许在节点之间递归匹配

eg：hasAncestor()：匹配祖先节点

hasDescendant()：匹配后代节点

5.遍历模式

当使用 C++ API 时，例如在 clang-tidy 检查中，traverse() 匹配器用于设置模式：

Finder->addMatcher(traverse(TK_IgnoreUnlessSpelledInSource,returnStmt(hasReturnArgument(integerLiteral(equals(0))))), this);

6.节点匹配器

节点匹配器是匹配器表达式的核心——它们指定预期的节点类型。每个匹配表达式都以一个节点匹配器开始，然后可以使用缩小或遍历匹配器进一步细化。

为方便起见，所有节点匹配器都采用任意数量的参数并隐式充当 allOf 匹配器。

节点匹配器是唯一支持bind（“id”）调用的匹配器，用于将匹配的节点绑定到给定的字符串，稍后将从匹配回调中检索。

7.缩小匹配器

缩小匹配器匹配当前节点上的某些属性，从而缩小要匹配的当前类型的节点集。

有特殊的逻辑缩小匹配器（allOf、anyOf、anything 和unless）允许用户创建更强大的匹配表达式

8.遍历匹配器

遍历匹配器指定与当前节点可达的其他节点的关系。

注意，有特殊的遍历匹配器（has、hasDescendant、forEach 和 forEachDescendant）适用于所有节点，并允许用户编写更通用的匹配表达式。

m decl(has(functionDecl(hasName("test_FloatEqualChecker"))))

9.举例说明

recordDecl(hasName("Foo"), isDerivedFrom("Bar"))

recordDecl 、hasName 、isDerivedFrom都属于 clang matcher 提供给我们的功能函数。

recordDecl用来匹配类、结构体、联合体声明的节点

hasName 可以知道它是用来匹配具有指定名称的节点

isDerivedFrom(xxx) 是匹配从 xxx 派生的类

缩小定位的方位，匹配所有类、结构体、联合体声明的节点中名称为 Foo 的节点且必须是从 Bar 派生出来的节点

recordDecl(anyOf(hasName("Foo"), isDerivedFrom("Bar")))

allOf(A, B) 标识 A 与 B 要同时成立才可以（类似 & ）

unless(A) 匹配 A 不成立的节点（类似 ! ）

anyOf(A,B) 标识A与B任一成立即可 (类似 or)

10.实际截图

// 基类 class Animal { // eat() 函数 // sleep() 函数 };

//派生类 class Dog : public Animal { // bark() 函数 };

m cxxRecordDecl()

m cxxRecordDecl(hasName("Dog"))

m cxxRecordDecl(allOf(hasName("Dog"), isDerivedFrom("Animal")))

11.其他语句

首先将程序代码设置如下

使用m functionDecl(isMain())语句进行匹配，结果如下

随后将程序更改为

调用m decl(has(functionDecl(hasName("test_FloatEqualChecker"))))对程序进行检测

将程序修改为

使用m binaryOperator(hasOperatorName("=="))进行匹配

clang-tidy学习笔记-1相关推荐

源码状态机_LLVM学习笔记(1)--初探源码
一直耳闻LLVM相比于GCC: well documented 架构灵活,前后端解耦符合龙书的讲解昨天读到了一篇虽然概括却很周到的llvm入门导引陈钦霖:LLVM Pass入门导引zhuanla ...
C语言学习笔记-P1 初识C语言（1）
C语言学习笔记-P1 初识C语言(1) P1 初识C语言(1) 一.什么是C语言 1.定义 2.发展二.第一个C语言程序 Hello World 三.数据类型四.变量,常量未完待续!!! P1 ...
《C Primer Plus》学习笔记—第9章
目录 <C Primer Plus>学习笔记第9章函数 1.复习函数 1.引入 2.创建并使用简单的函数:程序lethead1.c 3.分析程序 4.函数参数 1.程序lethead2 ...
OPENMP学习笔记（1）——简介，模型，运行
OPENMP学习笔记(1)--简介,模型,运行简介: OpenMP的英文全称是Open Multiprocessing,一种应用程序接口(API,即Application Program Inter ...
ggplot2学习笔记7：通过图层逐层构建图形
Build a Plot Layer by Layer 5.1 介绍(Introduction) ggplot2背后的一个关键思想是,它允许轻松地迭代,一次一层地构建一个复杂的绘图.每个图层可以来自不 ...
golang学习笔记（基础篇）
LCY~~Golang学习笔记一.Go语言开发环境 ##安装Go开发包以及VsCode Go开发包与vscode配置安装教程网址:https://www.liwenzhou.com/posts/Go ...
C语言学习笔记-入门整合篇(十万字长文)
(该篇学习内容全部来自于C语言中文网, 本篇内容仅仅是简易学习笔记 , 以自己的理解+网站部分描述结合+个人补充,并不适合编程初学者观看!!! 需要有一定的编程基础) 数据在内存中存储内存条包含了上 ...
Go Web学习笔记（Gin和Gorm）
本人在学长的推荐下,之后就要用Go开发后端啦!之前已经把go的基础语法过了一遍,现在学习Gin和Gorm框架,特此记录一下,也希望对你们有帮助,当然因为本人是Go新手,所以有写的不对的地方尽情指教,谢 ...
Modern C++ 学习笔记——C++函数式编程
往期精彩: Modern C++ 学习笔记--易用性改进篇 Modern C++ 学习笔记 -- 右值.移动篇 Modern C++ 学习笔记 -- 智能指针篇 Modern C++ 学习笔记 -- ...
Makefile学习笔记07|编译静态库并通过ifeq语句
Makefile学习笔记07|编译静态库并通过ifeq语句希望看到这篇文章的朋友能在评论区留下宝贵的建议来让我们共同成长,谢谢. 这里是目录本篇与上一篇有较多联系,有兴趣的可以先看上一 ...

clang-tidy学习笔记-1

clang-tidy学习笔记-1相关推荐

最新文章

热门文章