百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 热门文章 > 正文

使用 LLVM Clang库开发C++语言工具

bigegpt 2024-08-07 17:36 3 浏览

Clang为编写需要程序语法和语义信息的工具提供了基础设施。主要提供了三种方式来使用Clang库

LibClang

是你要使用的接口。只有当你有充分的理由不使用 LibClang 时才考虑其他接口。

使用 LibClang 的典型例子:

  • Xcode
  • Clang Python 绑定

请使用 LibClang 的场景:

  • 想从 C++ 以外的其他语言与 clang 对接
  • 需要一个稳定的接口,并注意向后兼容
  • 想要强大的高级抽象,比如用游标迭代AST,而不想学习Clang的AST的所有细节。

请不要使用LibClang的场景:

想完全控制Clang的AST

LibClang使用示例

使用LibClang的python绑定,pip install libclang

# test.py

import os
import sys
import clang.cindex
from clang.cindex import Config, TypeKind, CursorKind, Index

def traverse_argument(node, arg):
    pass

def traverse_node(node, depth):
    if node.location.file:
        (path, filename) = os.path.split(node.location.file.name)
        if sys.argv[1] == filename:
            try:
                # CursorKind.CONSTRUCTOR excluded: references there are often stored, so not o_ or io_
                if node.kind in [CursorKind.FUNCTION_DECL, CursorKind.CXX_METHOD]:
                    for arg in node.get_arguments():
                        traverse_argument(node, arg)
                kind = str(node.kind)
                print("%s%s %s (%s)" % ("|   " * depth, kind, node.spelling, node.location.line))
            except:
                return
    for n in node.get_children():
        traverse_node(n, depth + 1)


def main():
    index = clang.cindex.Index.create()
    # 指定编译参数
    compile_args = []
    file = sys.argv[1]
    parser = index.parse(sys.argv[1], args=compile_args)
    cursor = parser.cursor
    # 实现同上
    traverse_node(cursor, 0)
    pass


if __name__ == "__main__":
    main()
// test.cpp
#include <stdio.h>
#include <iostream>
#include <string>
#include <vector>

using namespace std;
namespace Print{
    class Print{
    public:
        int print(std::string text){
            std::cout << text << std::endl;
            return 0;
        }

    };

    int print(std::vector<string> texts){
        for(auto text : texts){
            std::cout << text << std::endl;
        }
        return 0;
    }
}

int main() {

    std::vector<std::string> vts = {"Hello World", "nihao"};
    Print::print(vts);
    Print::Print prt;
    std::string text = {"Hello World"};
    prt.print(text);
    return 0;
}

执行python test.py test.cpp

|   CursorKind.USING_DIRECTIVE  (7)
|   |   CursorKind.NAMESPACE_REF std (7)
|   CursorKind.NAMESPACE Print (8)
|   |   CursorKind.CLASS_DECL Print (9)
|   |   |   CursorKind.CXX_ACCESS_SPEC_DECL  (10)
|   |   |   CursorKind.CXX_METHOD print (11)
|   |   |   |   CursorKind.PARM_DECL text (11)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (11)
|   |   |   |   |   CursorKind.TYPE_REF std::string (11)
|   |   |   |   CursorKind.COMPOUND_STMT  (11)
|   |   |   |   |   CursorKind.CALL_EXPR operator<< (12)
|   |   |   |   |   |   CursorKind.CALL_EXPR operator<< (12)
|   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR cout (12)
|   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (12)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (12)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (12)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR text (12)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR text (12)
|   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (12)
|   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (12)
|   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR endl (12)
|   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR endl (12)
|   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (12)
|   |   |   |   |   CursorKind.RETURN_STMT  (13)
|   |   |   |   |   |   CursorKind.INTEGER_LITERAL  (13)
|   |   CursorKind.FUNCTION_DECL print (18)
|   |   |   CursorKind.PARM_DECL texts (18)
|   |   |   |   CursorKind.NAMESPACE_REF std (18)
|   |   |   |   CursorKind.TEMPLATE_REF vector (18)
|   |   |   |   CursorKind.TYPE_REF std::string (18)
|   |   |   CursorKind.COMPOUND_STMT  (18)
|   |   |   |   CursorKind.CXX_FOR_RANGE_STMT  (19)
|   |   |   |   |   CursorKind.VAR_DECL text (19)
|   |   |   |   |   |   CursorKind.CALL_EXPR basic_string (19)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator* (19)
|   |   |   |   |   |   |   |   CursorKind.CALL_EXPR operator* (19)
|   |   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR __begin1 (19)
|   |   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR __begin1 (19)
|   |   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator* (19)
|   |   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator* (19)
|   |   |   |   |   CursorKind.DECL_REF_EXPR texts (19)
|   |   |   |   |   CursorKind.COMPOUND_STMT  (19)
|   |   |   |   |   |   CursorKind.CALL_EXPR operator<< (20)
|   |   |   |   |   |   |   CursorKind.CALL_EXPR operator<< (20)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR cout (20)
|   |   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (20)
|   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (20)
|   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (20)
|   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR text (20)
|   |   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR text (20)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR operator<< (20)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR operator<< (20)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR endl (20)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR endl (20)
|   |   |   |   |   |   |   |   |   CursorKind.NAMESPACE_REF std (20)
|   |   |   |   CursorKind.RETURN_STMT  (22)
|   |   |   |   |   CursorKind.INTEGER_LITERAL  (22)
|   CursorKind.FUNCTION_DECL main (27)
|   |   CursorKind.COMPOUND_STMT  (27)
|   |   |   CursorKind.DECL_STMT  (29)
|   |   |   |   CursorKind.VAR_DECL vts (29)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (29)
|   |   |   |   |   CursorKind.TEMPLATE_REF vector (29)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (29)
|   |   |   |   |   CursorKind.TYPE_REF std::string (29)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   CursorKind.CALL_EXPR vector (29)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (29)
|   |   |   |   |   |   |   |   |   |   CursorKind.INIT_LIST_EXPR  (29)
|   |   |   |   |   |   |   |   |   |   |   CursorKind.STRING_LITERAL "Hello World" (29)
|   |   |   |   |   |   |   |   |   |   |   CursorKind.STRING_LITERAL "nihao" (29)
|   |   |   CursorKind.UNEXPOSED_EXPR  (30)
|   |   |   |   CursorKind.CALL_EXPR print (30)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR print (30)
|   |   |   |   |   |   CursorKind.DECL_REF_EXPR print (30)
|   |   |   |   |   |   |   CursorKind.NAMESPACE_REF Print (30)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (30)
|   |   |   |   |   |   CursorKind.CALL_EXPR vector (30)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR vts (30)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR vts (30)
|   |   |   CursorKind.DECL_STMT  (31)
|   |   |   |   CursorKind.VAR_DECL prt (31)
|   |   |   |   |   CursorKind.NAMESPACE_REF Print (31)
|   |   |   |   |   CursorKind.TYPE_REF class Print::Print (31)
|   |   |   |   |   CursorKind.CALL_EXPR Print (31)
|   |   |   CursorKind.DECL_STMT  (32)
|   |   |   |   CursorKind.VAR_DECL text (32)
|   |   |   |   |   CursorKind.NAMESPACE_REF std (32)
|   |   |   |   |   CursorKind.TYPE_REF std::string (32)
|   |   |   |   |   CursorKind.CALL_EXPR basic_string (32)
|   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (32)
|   |   |   |   |   |   |   CursorKind.STRING_LITERAL "Hello World" (32)
|   |   |   CursorKind.UNEXPOSED_EXPR  (33)
|   |   |   |   CursorKind.CALL_EXPR print (33)
|   |   |   |   |   CursorKind.MEMBER_REF_EXPR print (33)
|   |   |   |   |   |   CursorKind.DECL_REF_EXPR prt (33)
|   |   |   |   |   CursorKind.UNEXPOSED_EXPR  (33)
|   |   |   |   |   |   CursorKind.CALL_EXPR basic_string (33)
|   |   |   |   |   |   |   CursorKind.UNEXPOSED_EXPR text (33)
|   |   |   |   |   |   |   |   CursorKind.DECL_REF_EXPR text (33)
|   |   |   CursorKind.RETURN_STMT  (34)
|   |   |   |   CursorKind.INTEGER_LITERAL  (34)

Clang Plugins

Clang插件允许你在AST上运行额外的动作作为编译的一部分。插件是动态库,在运行时由编译器加载,它们很容易集成到你的编译环境中。

使用Clang插件的典型例子:

  • 为你的项目提供特殊的lint-style警告或错误
  • 从单一的编译步骤中创建额外的构建工件

使用Clang Plugins的场景:

  • 需要你的工具在任何依赖性改变时重新运行
  • 希望你的工具能够生成或破坏一个构建
  • 需要对Clang AST的完全控制

请不要使用Clang插件的场景:

  • 想在你的构建环境之外运行工具
  • 希望完全控制Clang的设置,包括内存中虚拟文件的映射
  • 需要在你的项目中运行一个特定的文件子集,这个子集不一定与任何会触发重建的变化有关

LibTooling

LibTooling是一个C++接口,旨在编写独立的工具,以及集成到运行clang工具的服务中。

使用LibTooling的典型例子:

  • 一个简单的语法检查器
  • 重构工具

使用LibTooling的场景:

  • 想在单个文件或特定的文件子集上运行工具,独立于构建系统之外
  • 希望完全控制 Clang AST
  • 想与 Clang Plugins 共享代码

请不要使用 LibTooling的场景:

  • 想作为依赖关系变化所引发的构建的一部分来运行
  • 希望有一个稳定的接口,这样你就不需要在 AST API 发生变化时修改你的代码了
  • 希望有高水平的抽象,如游标和代码自动完成。
  • 不想用C++编写你的工具

LibTooling 使用示例

下载源码,解压

https://github.com/llvm/llvm-project/releases


进入源码目录,创建build目录并进入,执行cmake命令

cmake -DLLVM_ENABLE_PROJECTS=clang -G "Visual Studio 16 2019" -A x64 -Thost=x64 ..\llvm



找到clang-check工具,基于此文件进行修改,并编译此工具


相关推荐

VS Code上也能玩转Jupyter Notebook,这是一份完整教程

点击上方"码农真经"关注,星标或者置顶22点24分准时推送,第一时间送达来源:公众号机器之心|编辑:真经君码农真经(ID:coder_experience)第115次推文图源:...

看开发一款AR眼镜产品都需要那些东东?

开发AR眼镜应用时,使用的操作系统和编程语言主要取决于目标设备和开发平台。以下是主流AR眼镜的开发系统和语言总结:一、操作系统WindowsHolographic设备:微软HoloLens系列特点:...

ONNX Runtime 黑科技曝光:一行 C++ 代码让 ResNet 起飞,GitHub 已爆星

1.ONNXRuntime简介ONNXRuntime(ORT)是由微软开发的高性能推理引擎,支持跨平台(Windows/Linux/macOS)运行ONNX格式的深度学习模型。其核心优势...

海康工业相机SDK开发介绍

这篇文章,我来介绍一下海康工业相机SDK的使用方法。如果是老手,你可以跳过,如果是新手,可以看看,欢迎拍砖要使用海康的工业相机SDK,要先下载机器视觉工业相机SDKV3.2.0版本Runtime组...

深圳机器视觉相机USB3.0数字相机及千兆网口相机有什么特点?

四元数机器视觉相机的目的是将通过镜头投影到传感器的图像传送到能够储存、分析和(或者)显示的机器设备上。那么深圳机器视觉相机USB3.0数字相机及千兆网口相机有什么特点?相信不少人是有疑问的,今天深圳四...

蚁利智慧工地展厅控制系统:多媒体交互软件及中控系统开发方案

来源:蚁利科技以下是一篇关于隆兰智慧工地安全体验数字展厅多媒体互动软件及中控系统开发技术的技术方案框架,包含核心代码示例和实现思路:---#隆兰智慧工地安全体验数字展厅开发技术方案##一、系统架构...

C#程序员在工控行业到底有没有立足之地

当年忐忑的从互联网卷到工控圈时也一脸懵逼,结果发现咱C#程序员在工控界简直是万金油!今天就用我踩坑几年的经验给你们盘一盘转行路线。一、能撸哪些岗位?上位机开发工程师(工控圈入场券):天天和PLC、传感...

C#一行代码搞定OCR

本文将介绍如何使用C#代码来实现OCR功能。一、在VS中新建一个控制台应用,选择.net框架,.net6.0~8.0均可。创建好的项目如下图,然后在配置管理器中修改活动解决方案平台为x64,以及项目平...

在 C# WinForms 中 OpenCvSharp 进行边缘检测:Laplacian 算子介绍

边缘检测在计算机视觉和图像处理领域中具有非常重要的作用,它是物体识别、特征提取的基础。Laplacian算子是一种经典且常用的边缘检测方法,它对噪声非常敏感,能够很好地检测到图像中的细节和边缘。本文...

C# OpenCV机器视觉:对位贴合

在热闹非凡的手机维修街上,阿强开了一家小小的手机贴膜店。每天看着顾客们自己贴膜贴得歪歪扭扭,不是膜的边缘贴不整齐,就是里面充满了气泡,阿强心里就想:“要是我能有个自动贴膜的神器,那该多好啊,就可以让顾...

C# OpenCV机器视觉:缺陷检测

在一个阳光明媚的早晨,阿强正准备享受他的一杯咖啡,突然接到了老板的电话。“阿强,我们的生产线出现了问题!有几个产品的质量不合格,客户投诉不断!你能不能想办法解决这个问题?”阿强一听,心中一紧,随即灵光...

CHAPTER II 第二章

CHAPTERIICHAPTERII第二章Iresistedalltheway:anewthingforme...

万字图文,将&quot;类加载器&quot;与&quot;双亲委派机制&quot;一网打尽

引子大家想必都有过平时开发springboot项目的时候稍微改动一点代码,就得重启,就很烦网上一般介绍2种方式spring-boot-devtools,或者通过JRebel插件来实现"...

Java:Java中的微服务

  如果你想使用Java中的云原生微服务快速实现大规模可扩展性,那么不需要重新发明轮子。一些创新工具可以帮助你。通过Java培训课程,在Java(软件开发中最常用的编程语言)方面打下坚实的基础,更好地...

&quot;类加载器&quot;与&quot;双亲委派机制&quot;一网打尽

引子大家好,我是呼噜噜,大家想必都有过平时开发springboot项目的时候稍微改动一点代码,就得重启,就很烦网上一般介绍2种方式spring-boot-devtools,或者通过JRebel插件...