سلوك غير متناسق لـ static_assert مع معلمات قالب غير نوع عبر المترجمين

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

على وجه التحديد، مقتطف التعليمات البرمجية التالي:

template 
struct Hitchhiker {
  static_assert(sizeof(answer) != sizeof(answer), "Invalid answer");
};

template 
struct Hitchhiker {};

يتصرف بشكل مختلف على Clang وGC عند محاولة تعطيل إنشاء مثيل القالب العام باستخدام static_assert. يؤدي Clang إلى خطأ التأكيد حتى عندما لا يتم إنشاء مثيل للقالب، في حين أن دول مجلس التعاون الخليجي تثير الخطأ فقط عند إنشاء مثيل بقيمة معلمة أخرى غير 42.

لفهم التناقض، دعنا نستكشف القسم ذي الصلة من معيار C ( [temp.res]/8):

If no valid specialization can be generated for a template, and that template is not instantiated, the template is ill-formed, no diagnostic required.

وفقًا لهذه القاعدة، فإن القالب الأساسي Hitchhiker غير صحيح لأنه لا يمكن إنشاء تخصص صالح. وعلى هذا النحو، ليس من الضروري إصدار تشخيص. ومع ذلك، اختار Clang توفير تشخيص على الرغم من عدم وجود متطلبات.

إذا كانت النية هي تقييد إنشاء مثيل لـ 42 فقط، فإن النهج الموصى به هو حذف تعريف القالب العام على النحو التالي:

template 
struct Hitchhiker {};