قراءة المدخلات بإحكام

الحدّ، مرة أخرى

أثبت الدرس المدخلات والمخرجات والأخطاء ثلاث حقائق عن std::cin >> n: القراءة تتوقف، دون أن تستهلكه، عند أول محرف لا يمكن أن يواصل العدد؛ وإن لم تفلح في قراءة أي محرف، دخل المجرى في حالة الخطأ ولم تعد أي قراءة لاحقة تفعل شيئًا؛ وif (std::cin) يتيح معرفة ما إذا فشل شيء. وأضاف الدرس الحلقات أن الشرط while (std::cin >> value) ينتهي سواء انتهى الإدخال أو وصل معطى غير صالح. غير أن البرنامج، بهذه الأدوات، يكتشف أن شيئًا ما قد ساء، لكنه لا يعرف ما هو ولا يستطيع أن يفعل شيئًا سوى الاستسلام.

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