قيود القالب في C: ما وراء قيود C#

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

تنفيذ C 11

لا يدعم C أصلاً قيود القالب، ولكن قدم أحدث معيار (C 11) static_assert مع std::is_base_of كحل بديل. يسمح لك هذا بفرض قيود أثناء الترجمة من خلال التحقق مما إذا كانت معلمة القالب ترث من فئة أساسية محددة.

مثال:

ضع في اعتبارك رمز C 11 التالي:

#include 

template
class YourClass {

    YourClass() {
        // Compile-time check
        static_assert(std::is_base_of::value, "type parameter of this class must derive from BaseClass");

        // ...
    }
};

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

يوفر هذا الأسلوب وظائف مشابهة لقيود C# العامة ولكنه خاص بـ C 11 ويتطلب استخدام static_assert وstd::is_base_of.