Проверка экземпляров шаблонов, сгенерированных компилятором, в C.

В C функции и классы шаблонов допускают повторное использование кода путем определения общих функций, которые могут быть специализированные для разных типов. Чтобы понять код, сгенерированный компилятором для создания экземпляра шаблона, полезно иметь представление об этих созданных функциях или классах.

Возможность печати AST Clang

Один инструмент Эту видимость обеспечивает функция печати абстрактного синтаксического дерева (AST) Clang, широко используемого компилятора для C. AST представляет собой внутреннее представление кода перед компиляцией, включая сгенерированный код для создания экземпляров шаблона.

Чтобы распечатать экземпляр AST для шаблона C, вызовите Clang с флагом -Xclang -ast-print вместе с флагом -Xclang -ast-print -fsyntax-only флаг для предотвращения фактической компиляции.

Например, рассмотрим следующий код:

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

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

Чтобы просмотреть AST для этого кода, выполните следующую команду:

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

Пример вывода

Вывод будет содержать AST, включая созданный экземпляр функции add:

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);
}

В этом выводе экземпляр функции add показан как специализация шаблона, указывающая конкретный тип (int), для которого была сгенерирована функция.

Заключение

Возможность печати AST в Clang предоставляет полезный способ проверки кода, сгенерированного компилятором, на предмет создания экземпляров шаблона. Это может оказаться неоценимым для понимания деталей реализации, отладки и оптимизации кода на основе шаблонов на C.