Поиск анонимных перечислений с помощью libclang

Question

Есть ли способ обнаружить анонимные перечисления, используя libclang, не полагаясь на текст в написании имени?

Привязки python к libclang включают в себя функциональность, позволяющую определить, являются ли структуры или объединения C/C++ анонимными, используя clang.cindex.Cursor.is_anonymous, который в конечном итоге вызывает clang_Cursor_isAnonymous.

Следующий пример демонстрирует проблему.

import sys
from clang.cindex import *

def nodeinfo(n):
    return (n.kind, n.is_anonymous(), n.spelling, n.type.spelling)

idx = Index.create()

# translation unit parsed correctly
tu = idx.parse(sys.argv[1], ['-std=c++11'])
assert(len(tu.diagnostics) == 0)

for n in tu.cursor.walk_preorder():
    if n.kind == CursorKind.STRUCT_DECL and n.is_anonymous():
        print nodeinfo(n)
    if n.kind == CursorKind.UNION_DECL and n.is_anonymous():
        print nodeinfo(n)
    if n.kind == CursorKind.ENUM_DECL:
        if n.is_anonymous():
            print nodeinfo(n)
        else:
            print 'INCORRECT', nodeinfo(n)

Который при запуске на sample.cpp

enum
{
    VAL = 1
};

struct s
{
    struct {};
    union
    {
        int x;
        float y;
    };
};

дает:

INCORRECT (CursorKind.ENUM_DECL, False, '', '(anonymous enum at sample1.cpp:1:1)')
(CursorKind.STRUCT_DECL, True, '', 's::(anonymous struct at sample1.cpp:8:5)')
(CursorKind.UNION_DECL, True, '', 's::(anonymous union at sample1.cpp:9:5)')

Answer 1

К несчастью clang_Cursor_isAnonymous работает только со структурами и объединениями, как вы можете видеть из исходного кода clang в tools / libclang / CXType.cpp

unsigned clang_Cursor_isAnonymous(CXCursor C){
  if (!clang_isDeclaration(C.kind))
    return 0;
  const Decl *D = cxcursor::getCursorDecl(C);
  if (const RecordDecl *FD = dyn_cast_or_null<RecordDecl>(D))
    return FD->isAnonymousStructOrUnion();
  return 0;
}

Итак, отступление к conf.lib.clang_Cursor_isAnonymous в clang.cindex.Cursor.is_anonymous не делает ничего нового, так как тип курсора уже проверен по FIELD_DECL (что верно только для структур и объединений)

def is_anonymous(self):
        """
        Check if the record is anonymous.
        """
        if self.kind == CursorKind.FIELD_DECL:
            return self.type.get_declaration().is_anonymous()
        return conf.lib.clang_Cursor_isAnonymous(self)

Вы можете попытаться извлечь идентификатор текущего элемента (n в вашем примере) и проверить, существует ли он или является нулевым