فحص إنشاءات القوالب التي أنشأها المترجم في لغة C

في لغة C، تسمح وظائف وفئات القالب بإعادة استخدام التعليمات البرمجية عن طريق تحديد الوظائف العامة التي يمكن متخصصة لأنواع مختلفة. لفهم التعليمات البرمجية التي تم إنشاؤها بواسطة المترجم لإنشاء مثيل للقالب، من المفيد أن يكون لديك رؤية لهذه الوظائف أو الفئات التي تم إنشاء مثيل لها.

قدرة الطباعة AST لـ Clang

أداة واحدة ما يوفر هذه الرؤية هو ميزة الطباعة Abstract Syntax Tree (AST) في Clang، وهو مترجم يستخدم على نطاق واسع لـ C . يمثل AST التمثيل الداخلي للتعليمات البرمجية قبل التجميع، بما في ذلك التعليمات البرمجية التي تم إنشاؤها لإنشاء مثيلات القالب.

لطباعة AST التي تم إنشاء مثيل لها لقالب C، قم باستدعاء Clang باستخدام علامة -Xclang -ast-print مع العلامة علامة -fsyntax فقط لمنع الترجمة الفعلية.

على سبيل المثال، ضع في اعتبارك الكود التالي:

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 .