Сопоставление переменных аргументов шаблона с помощью AST Matcher

У меня есть следующий пример кода.

template<class T, class... Args>
T add(T first, Args... rest) {
    return first + add(rest...);
}

int add(int a, int b) {
    return a + b;
}

Когда я запускаю его через clang-check -ast-dump, я получаю следующее дерево.

FunctionDecl 0x4df0b08 <tmp.cpp:2:1, line:4:1> line:2:3 add 'T (T, Args...)'
|-ParmVarDecl 0x4df0928 <col:7, col:9> col:9 referenced first 'T'
|-ParmVarDecl 0x4df09f8 <col:16, col:24> col:24 referenced rest 'Args...' pack
`-CompoundStmt 0x4df0dd0 <col:30, line:4:1>
  `-ReturnStmt 0x4df0dc0 <line:3:5, col:31>
    `-BinaryOperator 0x4df0da0 <col:12, col:31> '<dependent type>' '+'
      |-DeclRefExpr 0x4df0cd0 <col:12> 'T' lvalue ParmVar 0x4df0928 'first' 'T'
      `-CallExpr 0x4df0d78 <col:20, col:31> '<dependent type>'
        |-UnresolvedLookupExpr 0x4df0cf0 <col:20> '<overloaded function type>' lvalue (ADL) = 'add' 0x4df0ba8
        `-PackExpansionExpr 0x4df0d58 <col:24, col:28> '<dependent type>' lvalue
          `-DeclRefExpr 0x4df0d38 <col:24> 'Args' lvalue ParmVar 0x4df09f8 'rest' 'Args...'

FunctionDecl 0x4df0f60 <tmp.cpp:6:1, line:8:1> line:6:5 add 'int (int, int)'
|-ParmVarDecl 0x4df0e00 <col:9, col:13> col:13 used a 'int'
|-ParmVarDecl 0x4df0e80 <col:16, col:20> col:20 used b 'int'
`-CompoundStmt 0x4df10b0 <col:23, line:8:1>
  `-ReturnStmt 0x4df10a0 <line:7:5, col:16>
    `-BinaryOperator 0x4df1080 <col:12, col:16> 'int' '+'
      |-DeclRefExpr 0x4df1010 <col:12> 'int' lvalue ParmVar 0x4df0e00 'a' 'int'
      `-DeclRefExpr 0x4df1030 <col:16> 'int' lvalue ParmVar 0x4df0e80 'b' 'int'

Я хотел бы написать сопоставитель для первого случая, когда один из аргументов функции является вариативным. Из справочника по AST Matcher я обнаружил, что существует isVariadic сопоставитель, хотя, как говорится в документации,

Example matches f, but not g or h. The function i will not match, even when
compiled in C mode.
  void f(...);
  void g(int);
  template <typename... Ts> void h(Ts...);
  void i();

Есть ли способ сопоставить объявление функции с переменным параметром и дополнительно связать объявление с переменным параметром с некоторым узлом? Я хотел бы сделать что-то вроде functionDecl(has(parmVarDecl(hasType(packExpansionType().bind("parameter_type"))))), но кажется, что это невозможно, так как нет сопоставителя packExpansionType. Я что-то упустил здесь?


c++ clang clang-tidy clang-static-analyzer clang-ast-matchers
person oranji    schedule 18.03.2021    source источник
comment
isVariadic для C-многоточия (стиль printf).   -  person Jarod42    schedule 19.03.2021
comment
hasAnyTemplateArgument кажется первым шагом.   -  person Jarod42    schedule 19.03.2021
comment
Я хочу, чтобы здесь соответствовал стиль вариативных аргументов С++, поэтому я знаю, что isVariadic не будет работать. AFAIK hasAnyTemplateArgument соответствует специализации шаблона, когда я хочу соответствовать исходному объявлению.   -  person oranji    schedule 19.03.2021

Ответы (1)


arrow_upward
0
arrow_downward

Для дальнейшего использования я нашел решение этой проблемы. На самом деле можно определить пользовательские сопоставители внутри проверки.

namespace {
    const AstTypeMatcher<PackExpansionType> packExpansionType;
    const internal::VariadicDynCastAllOfMatcher<Stmt, PackExpansionExpr> packExpansionExpr;
}

// You can also use the macros from ASTMatchersMacros.h

...
person oranji    schedule 26.03.2021