7

我有以下使用 clang-c API 的代码。

#include <iostream>
#include <string>
#include <clang-c/Index.h>

CXChildVisitResult printVisitor(CXCursor cursor, CXCursor parent, CXClientData client_data) 
{       
    CXCursor cursor1 = clang_getCursorReferenced(cursor);

    CXType type = clang_getCursorType(cursor1);
    CXCursorKind kind = clang_getCursorKind(cursor1);
    CXString str = clang_getTypeSpelling(type);
    CXString str1 = clang_getCursorSpelling(cursor1);
    std::string cstr = clang_getCString(str);
    std::string cstr1 = clang_getCString(str1);

    if(type.kind != 0 && kind == CXCursorKind::CXCursor_FunctionDecl)
    {
        std::cout << "Declaration!\n" << "type is: " << cstr << std::endl;
        std::cout << "name is: " << cstr1 << std::endl;
    }

    return CXChildVisit_Recurse;
}

int main (int argc, char** argv)
{
 CXIndex index = clang_createIndex (
         false, // excludeDeclarationFromPCH
         true   // displayDiagnostics
 );
 CXTranslationUnit unit = clang_parseTranslationUnit (
         index,                           // CIdx
         "main1.cpp",                      // source_filename
         argv + 1 ,                        // command_line_args
         argc - 1 ,                        // num_command_line_args
         0,                                // unsave_files
         0,                                // num_unsaved_files
         CXTranslationUnit_None           // options
 );
 if (unit != 0 )
         std::cout << "Translation unit successfully created" << std::endl;
 else
         std::cout << "Translation unit was not created" << std::endl;

 CXCursor rootCursor = clang_getTranslationUnitCursor(unit);

    clang_visitChildren(rootCursor, printVisitor, NULL);


 clang_disposeTranslationUnit(unit);
 clang_disposeIndex(index);
}

此代码解析以下内容。

double getSum(double a, float b)
{
    return a + b;
}

int main(void)
{
    int a = 5;
    float b = 6;
    double c = a + b;
    return getSum(c, b);
}

当程序运行时，我看到以下内容。

    Translation unit successfully created
    Declaration!
    type is: double (double, float)
    name is: getSum
    Declaration!
    type is: int ()
    name is: main
    Declaration!
    type is: double (double, float)
    name is: getSum
    Declaration!
    type is: double (double, float)
    name is: getSum
    Declaration!
    type is: double (double, float)
    name is: getSum
    Declaration!
    type is: double (double, float)
    name is: getSum

为什么我得到这么多的声明getSum()，而在代码中我只有一个声明？

4

2 回答 2

5

当您使用 时clang_getCursorReferenced，您将获得CXCursor在当前位置引用的。例如，函数声明引用自身，并被相应的函数调用引用。因此，在您的示例中，您将获得对函数声明的每个引用（函数声明本身或函数调用）的正匹配。

现在另一件事是，每个都CXCursor代表 AST 的一部分，要么是叶子，要么是带有子部分的更复杂的部分。例如，在遍历 AST 时，您会依次找到以下游标：

  • return getSum (c, b)
  • getSum (c, b)
  • getSum

所有这些游标都引用了getSum函数声明，我的猜测是这些游标会触发对getSum.

您可以通过调用来检查源代码的哪一部分对应于当前光标clang_getCursorExtent

于 2013-12-03T20:49:30.043 回答
3

我从未使用过 clang，但根据CXCursor 的文档，似乎只要光标位于函数中的某个位置（我想可能会得到特殊处理） ，它CXCursorKind总是会出现。这可以解释为什么您有多个关于.DeclarationmainSum

我的猜想基于 的定义CXCursorKind，在此处找到：

enum CXCursorKind {
  /* Declarations */
  /**
   * \brief A declaration whose specific kind is not exposed via this
   * interface.
   *
   * Unexposed declarations have the same operations as any other kind
   * of declaration; one can extract their location information,
   * spelling, find their definitions, etc. However, the specific kind
   * of the declaration is not reported.
   */
...
}
于 2013-11-29T08:13:23.830 回答