Question

我正在尝试使用 libclang python绑定来解析我的c ++源文件。我无法获得宏的值或扩展宏。
这是我的示例c ++代码

#define FOO 6001
#define EXPAND_MACR \
        int \
        foo = 61
int main()
{
    EXPAND_MACR;
    cout <<  foo;
    return 0;
}

这是我的python脚本

import sys
import clang.cindex

def visit(node):
    if node.kind in (clang.cindex.CursorKind.MACRO_INSTANTIATION,   clang.cindex.CursorKind.MACRO_DEFINITION):           
    print 'Found %s Type %s DATA %s Extent %s [line=%s, col=%s]' % (node.displayname, node.kind, node.data, node.extent, node.location.line, node.location.column)
for c in node.get_children():
    visit(c)

if __name__ == '__main__':
    index = clang.cindex.Index.create()
    tu = index.parse(sys.argv[1], options=clang.cindex.TranslationUnit.PARSE_DETAILED_PROCESSING_RECORD)
    print 'Translation unit:', tu.spelling
    visit(tu.cursor)

这是我从clang回来的信息：

Found FOO Type CursorKind.MACRO_DEFINITION DATA <clang.cindex.c_void_p_Array_3 object at 0x10b86d950> Extent <SourceRange start <SourceLocation file 'sample.cpp', line 4, column 9>, end <SourceLocation file 'sample.cpp', line 4, column 17>> [line=4, col=9]
Found EXPAND_MACR Type CursorKind.MACRO_DEFINITION DATA <clang.cindex.c_void_p_Array_3 object at 0x10b86d950> Extent <SourceRange start <SourceLocation file 'sample.cpp', line 6, column 9>, end <SourceLocation file 'sample.cpp', line 8, column 11>> [line=6, col=9]
Found EXPAND_MACR Type CursorKind.MACRO_INSTANTIATION DATA <clang.cindex.c_void_p_Array_3 object at 0x10b86d950> Extent <SourceRange start <SourceLocation file 'sample.cpp', line 12, column 2>, end <SourceLocation file 'sample.cpp', line 12, column 13>> [line=12, col=2]

如果您观察我的python脚本， node.data 会发出

DATA <clang.cindex.c_void_p_Array_3 object at 0x10b86d950>

我可以阅读clang＆amp ;;返回的范围数据然后将文件从开始解析为结束位置以获取值。我想知道是否存在更好的获取宏值的方法？我想直接得到宏（ 6001 ）的值（不使用Extent）。我怎么能得到它？
另外 EXPAND_MACR 希望获得int foo = 61

我已经看过这些帖子：union＆amp; Link-1。
任何帮助将受到高度赞赏

Answer 1

不，使用扩展区的逐行扩展似乎是提取（扩展宏）的唯一方法。

我怀疑问题在于，当libclang看到你的代码时，预处理器已经删除了宏 - 你在AST中看到的节点更像是注释而不是真正的节点。

#define FOO 6001
#define EXPAND_MACR \
        int \
        foo = 61
int main()
{
    EXPAND_MACR;
    return 0;
}

真的是AST

TRANSLATION_UNIT sample.cpp
  +-- ...  *some nodes removed for brevity* 
  +--MACRO_DEFINITION FOO
  +--MACRO_DEFINITION EXPAND_MACR
  +--MACRO_INSTANTIATION EXPAND_MACR
  +--FUNCTION_DECL main
     +--COMPOUND_STMT 
        +--DECL_STMT 
        |  +--VAR_DECL foo
        |     +--INTEGER_LITERAL 
        +--RETURN_STMT 
           +--INTEGER_LITERAL

这相当于仅运行预处理程序（并告诉它为您提供所有预处理程序指令的列表）。你可以通过运行来看到类似的东西：

clang -E -Wp,-dD src.cc

给出了：

# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "src.cc" 2
#define FOO 6001
#define EXPAND_MACR int foo = 61


int main()
{
    int foo = 61;
    return 0;
}

Answer 2

一种解决方法是使用所有宏创建另一个文件

Example.hpp

#include "header_with_macro_ABC.h"

auto abc = ABC:

然后您可以再次解析此头文件以提取变量声明，然后使用evaluate methods获取值。

专业人士：无需编写自己的表达式解析器。缺点：需要创建并解析另一个文件。

此方法在许多情况下可能不可行，但对我来说，这是我必须解析ffigen（Dart的绑定生成器）的所有宏的原因。

展开宏和＆amp;检索宏值

2 个答案: