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