Inspecionando instanciações de modelo geradas pelo compilador em C

Em C , funções e classes de modelo permitem a reutilização de código definindo funcionalidades genéricas que podem ser especializado para diferentes tipos. Para entender o código gerado pelo compilador para uma instanciação de modelo, é útil ter visibilidade dessas funções ou classes instanciadas.

Capacidade de impressão AST do Clang

Uma ferramenta que fornece essa visibilidade é o recurso de impressão Abstract Syntax Tree (AST) do Clang, um compilador amplamente usado para C . O AST representa a representação interna do código antes da compilação, incluindo o código gerado para instanciações de modelo.

Para imprimir o AST instanciado para um modelo C, invoque Clang com o sinalizador -Xclang -ast-print junto com o -fsyntax-only sinalizador para evitar a compilação real.

Por exemplo, considere o seguinte código:

template  T add(T a, T b) {
    return a   b;
}

void tmp() {
    add(10, 2); // Call the template with int specialization
}

Para visualizar o AST deste código, execute o seguinte comando:

$ clang   -Xclang -ast-print -fsyntax-only test.cpp

Exemplo de saída

A saída conterá o AST, incluindo a função add instanciada:

template  T add(T a, T b) {
    return a   b;
}
template int add(int a, int b) {
    return a   b;
}
void tmp() {
    add(10, 2);
}

Nesta saída, a função add instanciada é mostrada como uma especialização de modelo, indicando o tipo específico (int) para o qual a função foi gerada.

Conclusão[ O recurso de impressão AST do &&&]