Início / user-469280

Chris's questions

Martin Hope
Chris
Asked: 2025-04-25 09:17:22 +0800 CST
  • 6

Estou tentando associar varDecl()uma especialização de modelo a tipos de um determinado nome. Por exemplo:

template <typename T>
class C { };

C<char> var;

Gostaria de combinar varquando o argumento do modelo for char. O comparador que estou usando até agora:

m varDecl(hasType(classTemplateSpecializationDecl(
    hasAnyTemplateArgument(templateArgument(
        # TODO: match type with the name 'char'
    ).bind("template_param"))
).bind("var")))

Saída de clang-query:

Binding for "template_param":
TemplateArgument type 'char'
`-BuiltinType 0x13203c6b0 'char'

Binding for "var":
ClassTemplateSpecializationDecl 0x1538906f0 <var_test.cpp:3:1, line:4:11> col:7 class C definition implicit_instantiation
|-DefinitionData pass_in_registers empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init
| |-DefaultConstructor exists trivial constexpr defaulted_is_constexpr
| |-CopyConstructor simple trivial has_const_param implicit_has_const_param
| |-MoveConstructor exists simple trivial
| |-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param
| |-MoveAssignment exists simple trivial needs_implicit
| `-Destructor simple irrelevant trivial needs_implicit
|-TemplateArgument type 'A'
| `-RecordType 0x15386ca80 'A'
|   `-CXXRecord 0x15386c9f0 'A'
|-CXXRecordDecl 0x1538909c8 <col:1, col:7> col:7 implicit class C
|-CXXConstructorDecl 0x153890a88 <col:7> col:7 implicit used constexpr C 'void () noexcept' inline default trivial
| `-CompoundStmt 0x153891030 <col:7>
|-CXXConstructorDecl 0x153890c40 <col:7> col:7 implicit constexpr C 'void (const C<A> &)' inline default trivial noexcept-unevaluated 0x153890c40
| `-ParmVarDecl 0x153890d70 <col:7> col:7 'const C<A> &'
`-CXXConstructorDecl 0x153890e50 <col:7> col:7 implicit constexpr C 'void (C<A> &&)' inline default trivial noexcept-unevaluated 0x153890e50
  `-ParmVarDecl 0x153890f80 <col:7> col:7 'C<A> &&'

Coisas que tentei:

        refersToType(builtinType(hasName("char")))

Não funciona:

3:22: Error building matcher builtinType.
3:34: Incorrect type for arg 1. (Expected = Matcher<BuiltinType>) != (Actual = Matcher<NamedDecl>)

refersToDeclaration(decl())também não parece combinar com nada.

c++
Martin Hope
Chris
Asked: 2024-12-20 02:14:41 +0800 CST
  • 7

Fundo

Os tipos C++ incorporados não têm tamanhos definidos (apenas um tamanho mínimo), então exigimos que todos os tipos inteiros usem typedefs explicitamente definidos para que o tamanho seja o mesmo em todas as plataformas, compiladores e arquiteturas de CPU. A única exceção a isso é size_t, considerando que são os tipos de retorno de operações comuns como std::vector::size().

Então, estamos procurando maneiras de detectar via clang-tidy quando o uso de size_tcausaria um aviso de "conversão estreita" no MSVC em arquiteturas x86.

O Problema

Dada uma função como esta:

template <typename T>
void foo()
{
  int64_t i{0};
  T v = i;
}

Estou tentando diferenciar quando o varDeclfor vé criado por uma chamada para foo<size_t>()em oposição ao não problemático foo<uint64_t>().

O dump AST para o acima no Compiler Explorer :

|-FunctionTemplateDecl <line:4:1, line:9:1> line:5:6 foo
| |-TemplateTypeParmDecl <line:4:11, col:20> col:20 referenced typename depth 0 index 0 T
| |-FunctionDecl <line:5:1, line:9:1> line:5:6 foo 'void ()'
| | `-CompoundStmt <line:6:1, line:9:1>
| |   |-DeclStmt <line:7:3, col:16>
| |   | `-VarDecl <col:3, col:15> col:12 referenced v 'uint64_t':'unsigned long' listinit
| |   |   `-InitListExpr <col:13, col:15> 'uint64_t':'unsigned long'
| |   |     `-ImplicitCastExpr <col:14> 'uint64_t':'unsigned long' <IntegralCast>
| |   |       `-IntegerLiteral <col:14> 'int' 3
| |   `-DeclStmt <line:8:3, col:12>
| |     `-VarDecl <col:3, col:11> col:5 var 'T' cinit
| |       `-DeclRefExpr <col:11> 'uint64_t':'unsigned long' lvalue Var 0xcf7fc88 'v' 'uint64_t':'unsigned long'
| `-FunctionDecl <line:5:1, line:9:1> line:5:6 used foo 'void ()' implicit_instantiation
|   |-TemplateArgument type 'unsigned long'
|   | `-BuiltinType 'unsigned long'
|   `-CompoundStmt <line:6:1, line:9:1>
|     |-DeclStmt <line:7:3, col:16>
|     | `-VarDecl <col:3, col:15> col:12 used v 'uint64_t':'unsigned long' listinit
|     |   `-InitListExpr <col:13, col:15> 'uint64_t':'unsigned long'
|     |     `-ImplicitCastExpr <col:14> 'uint64_t':'unsigned long' <IntegralCast>
|     |       `-IntegerLiteral <col:14> 'int' 3
|     `-DeclStmt <line:8:3, col:12>
|       `-VarDecl <col:3, col:11> col:5 var 'unsigned long' cinit
|         `-ImplicitCastExpr <col:11> 'uint64_t':'unsigned long' <LValueToRValue>
|           `-DeclRefExpr <col:11> 'uint64_t':'unsigned long' lvalue Var 0xcf8a3a8 'v' 'uint64_t':'unsigned long'

O que eu tentei

Posso ver que há uma instanciação do modelo de função sob o FunctionTemplateDeclnó, e parecia que substTemplateTypeParmType() e hasReplacementType()eram uma combinação promissora para obter o tipo de varDecl, assim:

m varDecl(
  hasType(substTemplateTypeParmType(
    hasReplacementType(qualType())
  ))
)

...entretanto, o tipo de substituição já foi "desaçucarado" naquele ponto, e perde o size_tnome da declaração. Isso apesar do fato de a documentação dos SubstTemplateTypeParmTypeestados:

Eles são usados ​​somente para registrar que um tipo foi originalmente escrito como um parâmetro de tipo de modelo; portanto, eles nunca são canônicos.

...e a ​​classe especificamente tem métodos isSugared()e desugar(), o que me leva a crer que o tipo deve ser adoçado ainda com o size_ttypedef.

(Talvez eu esteja errado ao supor que o tipo totalmente desaçucarado é o tipo "canônico"?)

O que estou perguntando

Minhas suposições de que SubstTemplateTypeParmTypeo tipo açucarado ainda deve retornar estão incorretas?

Existe uma maneira de percorrer de varDecl, voltar para FunctionTemplateDecl, obter a especialização que foi usada e obter o tipo com açúcar de lá?

c++