संबंध और तर्क

सारांश

शर्त एक ऐसा व्यंजक है जिसका मान सत्य या असत्य होता है। यह पाठ अध्ययन करता है कि C++ में शर्तें कैसे बनाई जाती हैं: छह संबंधपरक संक्रियक, जो दो मानों की तुलना करते हैं और एक bool देते हैं; तीन तार्किक संयोजक, &&, || और !, जो शर्तों को तर्क के संयोजन, वियोजन और निषेध की तरह जोड़ते हैं; और वह प्राथमिकता जो उन्हें आपस में और अंकगणित के सापेक्ष क्रम में रखती है। यह उन दो विशेषताओं का भी अध्ययन करता है जिनमें C++ गणितीय लेखन से अलग हो जाती है: शृंखला 1 < x < 5, जो कंपाइल होती है पर वह अर्थ नहीं रखती जो दिखता है, और शॉर्ट-सर्किट गणना, जिसके कारण && और || के दूसरे संकार्य की गणना नहीं होती जब पहला परिणाम तय कर चुका हो, और इससे किसी जोखिम भरी संक्रिया की रक्षा की जा सकती है। अंत में यह डी मॉर्गन के नियमों से संयुक्त शर्तों के निषेध को, सत्यता सारणियों से जाँचकर, और अपने केंद्रीय उदाहरण को लेता है: अधिवर्ष की शर्त और उसका निषेध। इस इकाई में अभी निर्णय नहीं हैं: शर्तों की गणना होती है और वे true या false के रूप में छापी जाती हैं, और पाठ निर्णय उन्हें प्रोग्राम को नियंत्रित करने में लगाएगा।