ثلاث أخطاء في مُجمِّع C++: قصة ميزات مُبهمة

يروي المهندس الكبير مايكل جيبسون قصة اكتشافه لخطأ في مُجمِّع clang++ ناتج عن دمج ثلاث ميزات نادرة الاستخدام في لغة C++. أثناء تنفيذ تأكيد REACHABLE في مجموعة أدوات تطوير البرامج الخاصة به بلغة C++، استخدم المُبدء الثابت، ومعلمات القالب غير المُحددة النوع، ومسافات الأسماء المُجهولة. ومع ذلك، أدى خط أنابيب التحسين الجديد في clang++ 17+ إلى تعارض مع هذا المزيج، مما أدى إلى أخطاء في إزالة الازدواجية للرموز. يبرز هذا الأمر خطر الأخطاء المُبهمة الناتجة عن تفاعلات الميزات غير المعتادة في الأنظمة المعقدة، ويُظهر قوة الاختبار الآلي في الكشف عن مثل هذه المشاكل.