सशर्त (कंप्यूटर प्रोग्रामिंग)

कंप्यूटर विज्ञान में, सशर्त (अर्थात, सशर्त कथन, सशर्त अभिव्यक्ति और सशर्त निर्माण) निर्णय लेने के लिए प्रोग्रामिंग भाषा आदेश हैं। विशेष रूप से, सशर्त अलग-अलग संगणना या क्रियाएं करते हैं, जो इस बात पर निर्भर करता है कि प्रोग्रामर-परिभाषित बूलियन डेटा प्रकार 'सशर्त' सही या गलत का मूल्यांकन करता है या नहीं। नियंत्रण प्रवाह के संदर्भ में, निर्णय सदैव कुछ स्थिति के आधार पर नियंत्रण प्रवाह को वरणक्षमतापूर्वक रूप से बदलकर प्राप्त किया जाता है (शाखा भविष्यवाणी के स्थिति  के अतिरिक्त )।

यद्यपि  गतिशील प्रेषण को सामान्यतः  सशर्त निर्माण के रूप में वर्गीकृत नहीं किया जाता है, यह कार्यावधि (प्रोग्राम जीवनचक्र वेरिएबलण) में विकल्पों के बीच चयन करने की  एक और विधि है।

शब्दावली
अनिवार्य प्रोग्रामिंग भाषाओं में, सशर्त कथन (प्रोग्रामिंग) शब्द का सामान्यतः उपयोग किया जाता है, जबकि कार्यात्मक प्रोग्रामिंग में, सशर्त अभिव्यक्ति (प्रोग्रामिंग) या सशर्त निर्माण को प्राथमिकता दी जाती है, क्योंकि इन सभी शब्दों के अलग-अलग अर्थ होते हैं।

If–then(–else)
ई> निर्माण (कभी-कभी कहा जाता है ) कई प्रोग्रामिंग भाषाओं में सामान्य है। यद्यपि  वाक्यविन्यास  भाषा से भाषा में भिन्न होता है, मूल संरचना (स्यूडोकोड रूप में) इस प्रकार दिखती है:

if (बूलियन शर्त) then (परिणामस्वरूप) else (विकल्प) end if

उदाहरण के लिए:

if स्टॉक = 0 then संदेश = नया स्टॉक ऑर्डर करें else संदेश = स्टॉक है end if

उपरोक्त उदाहरण कोड में, (बूलियन शर्त) द्वारा दर्शाया गया भाग एक सशर्त अभिव्यक्ति का गठन करता है, जिसमें आंतरिक मूल्य होता है (उदाहरण के लिए, इसे   या     मानों में से किसी एक द्वारा प्रतिस्थापित किया जा सकता है) परन्तु  इसका कोई आंतरिक अर्थ नहीं है। इसके विपरीत, इस अभिव्यक्ति का संयोजन,   और   इसके समीप, और इसके बाद के परिणाम एक सशर्त कथन का  निर्माण करते हैं, जिसका आंतरिक अर्थ होता है (उदाहरण के लिए, एक सुसंगत तार्किक नियम व्यक्त करना) परन्तु  कोई आंतरिक मूल्य नहीं।

जब एक दुभाषिया (कंप्यूटिंग) एक   पाता है, यह एक बूलियन डेटा प्रकार स्थिति की अपेक्षा करता है - उदाहरण के लिए, , जिसका अर्थ है कि वेरिएबल x में एक संख्या है जो शून्य से अधिक है - और उस  कारक का मूल्यांकन करता है। यदि शर्त    है, निम्नलिखित कथन   निष्पादित किए जाते हैं। else निम्नलिखित शाखा में निष्पादन जारी रहता है - या तो   ब्लॉक (प्रोग्रामिंग)  में (जो सामान्यतः  वैकल्पिक होता है), या यदि    शाखा नहीं है,  तो  के बाद ।

किसी भी शाखा के निष्पादित होने के बाद,  नियंत्रण प्रवाह बिंदु पर वापस आ जाता है।

इतिहास और विकास
प्रारंभिक प्रोग्रामिंग भाषाओं में, विशेष रूप से 1980 के घरेलू कंप्यूटरों में बेसिक की कुछ बोलियाँ, एक   कथन में मात्र    कथन हो सकते हैं (एक शाखा (कंप्यूटर विज्ञान) निर्देश के बराबर)। इसने स्पेगेटी प्रोग्रामिंग के रूप में जानी जाने वाली प्रोग्रामिंग की एक कठिन-से-पढ़ने वाली शैली का नेतृत्व किया, इस शैली के कार्यक्रमों के साथ स्पेगेटी कोड कहा जाता है। फलस्वरूप, संरचित प्रोग्रामिंग, जो (वस्तुतः)  यादृच्छिक  कथनों को एक के अंदर कथन ब्लॉक में डालने की अनुमति देती है, लोकप्रियता में प्राप्त हुआ, जब तक कि यह अधिकांश बेसिक  प्रोग्रामिंग हलकों में भी आदर्श नहीं बन गया। इस प्रकार के तंत्र और सिद्धांत प्राचीन परन्तु  अधिक उन्नत ऐल्गॉल भाषाओं के वर्ग पर आधारित थे, और ऐल्गॉल जैसी भाषाएँ जैसे पास्कल (प्रोग्रामिंग भाषा) और मोडुला -2 ने कई वर्षों तक आधुनिक बेसिक  प्रकार को प्रभावित किया। जबकि यह मात्र    प्रयोग करते हुए ही संभव है कथनों में   प्रोग्राम लिखने के लिए कथन जो स्पेगेटी कोड नहीं हैं और एक संरचित प्रोग्रामिंग भाषा में लिखे गए प्रोग्राम के रूप में ठीक प्रकार  से संरचित और पठनीय हैं, संरचित प्रोग्रामिंग इसे आसान बनाती है और इसे लागू करती है।  संरचित   उपरोक्त उदाहरण जैसे कथन संरचित प्रोग्रामिंग के प्रमुख अवयवों में से एक हैं, और वे c (प्रोग्रामिंग भाषा), जावा (प्रोग्रामिंग भाषा), जावास्क्रिप्ट और मूल दृश्य जैसी सबसे लोकप्रिय उच्च-स्तरीय प्रोग्रामिंग भाषाओं में स्थित हैं।

निलंबित else की समस्या
संकेतशब्द एक विशिष्ट  को योजनाबद्ध करने के लिए बनाया गया है  इसके पूर्व  के कथन, परन्तु   नीडन (कंप्यूटिंग)    कथनों के लिए,  ऐल्गॉल 60 जैसी  क्लासिक प्रोग्रामिंग भाषाओं  को परिभाषित करने के लिए  प्रयत्न करना पड़ा कि किस विशिष्ट कथन को योजनाबद्ध करना है। स्पष्ट सीमाओं के बिना कौन सा कथन कौन सा है, एक    संकेतशब्द पार्स के रूप में नीडन में  किसी भी पूर्ववर्ती  कथन को योजनाबद्ध कर सकता है। if a then if b then s else s2 के रूप में विश्लेषित किया जा सकता है if a then (if b then s) else s 2 या if a then (if b then s else s 2) इस पर निर्भर करता है कि क्या  पूर्व     या दूसरा  से जुड़ा है।  इसे संरचित else समस्या के रूप में जाना जाता है, और भाषा के आधार पर विभिन्न रूपों से हल किया जाता है(सामान्यतः    कथन या   कोष्ठक के माध्यम से)।

else if
का उपयोग करके, कई स्थितियों को जोड़ना संभव है। मात्र प्रथम शर्त का पालन करने वाले कथन जो सत्य पाए जाते हैं, को क्रियान्वित किया जाएगा। अन्य सभी कथनों को छोड़ दिया जाएगा।

if शर्त then -- कथन else शर्त then -- else कथन else शर्त then -- और कथन; ... else -- else कथन; end if;

उदाहरण के लिए, एक दुकान के लिए जो किसी वस्तु पर 30% तक की छूट प्रदान करता है:

if छूट <11% then प्रिंट (आपको $30 का भुगतान करना होगा) और छूट <21% then प्रिंट (आपको $20 का भुगतान करना होगा) और छूट <31% then प्रिंट (आपको $10 का भुगतान करना होगा) end if;

ऊपर दिए गए उदाहरण में, यदि छूट 10% है, तो पूर्व यदि कथन का मूल्यांकन सत्य के रूप में किया जाएगा और आपको $30 का भुगतान करना होगा, तो उसका प्रिंट आउट ले लिया जाएगा। उस पूर्व  यदि कथन के नीचे अन्य  सभी कथनों को छोड़ दिया जाएगा। उदाहरण के लिए एडा (प्रोग्रामिंग भाषा) भाषा में    कथन,अन्य के लिए सिंटैक्टिक चीनी है    के बाद  है। एडा में अंतर इतना ही है कि मात्र एक   की आवश्यकता होती है, यदि  कोई   के बाद    के अतिरिक्त   उपयोग करता है। पीएचपी  इसके धनु कोष्ठक या  अपूर्ण विराम  वाक्यविन्यास  दोनों के लिए   संकेतशब्द उपयोग करता है। पर्ल  बड़ी संख्या में धनुर्कोष्ठक से बचने के लिए संकेतशब्द    प्रदान करता है जो कई     और   कथन के लिए आवश्यक होगा। पायथन (प्रोग्रामिंग भाषा) विशेष     संकेतशब्द का उपयोग करता है क्योंकि संरचना को  धनुर्कोष्ठक के अतिरिक्त  आद्यपर्वतनी  द्वारा निरूपित किया जाता है, इसलिए    और   के  बार-बार उपयोग के लिए प्रत्येक स्थिति के बाद  आद्यपर्वतनी में   वृद्धि की आवश्यकता होगी। बेसिक के कुछ कार्यान्वयन, जैसे विज़ुअल बेसिक,   का भी उपयोग करते हैं। इसी प्रकार, पूर्व  के यूनिक्स शेल (बाद में पॉज़िक्स शेल  वाक्यविन्यास  तक इकट्ठे हुए ) elif का भी उपयोग करते हैं, परन्तु  रिक्त स्थान, लाइन ब्रेक या दोनों के साथ परिसीमन का विकल्प देते हैं।

यद्यपि, कई भाषाओं  जैसे सिमुला (प्रोग्रामिंग भाषा), पास्कल (प्रोग्रामिंग भाषा), बीसीपीएल (प्रोग्रामिंग भाषा) और C (प्रोग्रामिंग भाषा) जो सीधे उत्पन्न हुई हैं,     निर्माण के लिए यह विशेष  वाक्यविन्यास स्थित नहीं है, न ही यह c के कई वाक्यगत  व्युत्पन्न  में स्थित है, जैसे कि जावा (प्रोग्रामिंग भाषा), ईसीएमएस्क्रिप्ट, और इसी प्रकार। यह काम करता है क्योंकि इन भाषाओं में, कोई भी कथन (इस स्थिति  में  ...) एक ब्लॉक संलग्न हुए बिना एक सशर्त  का पालन कर सकता है।

इस डिज़ाइन पसंद की थोड़ी लागत है। प्रत्येक  शाखा प्रभावी रूप से एक अतिरिक्त  नीडन स्तर जोड़ती है। यह संकलक (या जो लोग संकलक लिखते हैं) के लिए नौकरी को जटिल बनाता है, क्योंकि संकलक को  अव्यवस्थिततः रूप से लंबी    श्रृंखलाओं को पुनरावर्ती रूप से विश्लेषण और कार्यान्वित करना चाहिए।

यदि सशर्त के अनुक्रम में सभी पद एक अभिव्यक्ति  के मान का परीक्षण कर रहे हैं (उदाहरण के लिए,   ...   ...  ...), एक विकल्प स्विच कथन है, जिसे  कारक-कथन या चयन-कथन भी कहा जाता है। इसके विपरीत, जिन भाषाओं में स्विच कथन नहीं है, उन्हें अनुक्रम द्वारा निर्मित किया जा सकता है   कथन।

if-then-else भाव
कई भाषाएँ if भाव का समर्थन करती हैं, जो if कथन के समान हैं, परन्तु परिणाम के रूप में एक मान लौटाते हैं। इस प्रकार, वे सच्ची अभिव्यक्तियाँ हैं (जो एक मूल्य का मूल्यांकन करते हैं), कथन नहीं (जो एक मूल्य के संदर्भ में अनुमति नहीं दी जा सकती है)।

अल्गोल वर्ग
ऐल्गॉल 60 और ऐल्गॉल वर्ग के कुछ अन्य सदस्य   को अभिव्यक्ति के रूप में अनुमति देते हैं:

 मायवेरिएबल := if x > 20 then 1 else 2 

लिस्प भाषिका
लिस्प की भाषिका में (प्रोग्रामिंग भाषा)- स्कीम (प्रोग्रामिंग भाषा), रैकेट (प्रोग्रामिंग भाषा) और सामान्य लिस्प– जिनमें से प्रथम ऐल्गॉल से अत्यधिक  प्रेरित था: <वाक्यविन्यास लैंग = योजना> (मायवेरिएबल परिभाषित करें (if (> x 12) 1 2)); 'x' के मान के आधार पर 'मायवेरिएबल ' को 1 या 2 असाइन करता है 
 * योजना

<वाक्यविन्यास प्रकाश लैंग = लिस्प> (चलो ((x 10)) (setq मायवेरिएबल  (if (> x 12) 2 4))); 2 को 'मायवेरिएबल ' असाइन करता है 
 * सामान्य लिस्प

हास्केल
हास्केल (प्रोग्रामिंग भाषा) 98 में, मात्र एक if अभिव्यक्ति है, न if कथन, और   भाग अनिवार्य है, क्योंकि प्रत्येक व्यंजक का कुछ मान होना चाहिए। तर्क जो else भाषाओं में सशर्त के साथ व्यक्त किया जाएगा, सामान्यतः  पुनरावर्ती कार्यों में पैटर्न मिलान के साथ व्यक्त किया जाता है।

क्योंकि हास्केल मन्द मूल्यांकन है, नियंत्रण संरचनाओं को लिखना संभव है, जैसे कि, सामान्य अभिव्यक्ति के रूप में; मन्द मूल्यांकन का अर्थ है कि एक if प्रकार्य मात्र स्थिति और उचित शाखा का मूल्यांकन कर सकता है (जहाँ एक विशुद्ध भाषा तीनों का मूल्यांकन करेगी)। इसे इस प्रकार लिखा जा सकता है:

<वाक्यविन्यास लैंग = हैकेल>

if' :: बूल -> a -> a -> ए if' true x _ = x

if' false _ y = y 

c जैसी भाषाएं
c (प्रोग्रामिंग भाषा) और c -जैसी भाषा में एक विशेष टर्नरी ऑपरेटर होता है(?:)  एक प्रकार्य के साथ सशर्त अभिव्यक्ति के लिए जिसे इस प्रकार के  फर्मा द्वारा वर्णित किया जा सकता है:

इसका अर्थ यह है कि इसे c -जैसी भाषाओं में, if-कथन के विपरीत, भावों में समरेखी किया जा सकता है:

<वाक्यविन्यास प्रकाश लैंग = c >

माय_वेरिएबल = x > 10 ? foo : bar; // c -जैसी भाषाओं में



जिसकी तुलना अल्गोल-वर्ग से की जा सकती है if-then-else भाव (एक कथन के विपरीत) (और इसी प्रकार रूबी और स्काला में, दूसरों के बीच)।

if-कथन का उपयोग करके इसे पूरा करने के लिए, इसमें कोड की एक से अधिक पंक्तियां होंगी ( विशिष्ट लेआउट रूढ़ि के अंतर्गत), और दो बार माय_वेरिएबल का उल्लेख करने की आवश्यकता होगी:

<वाक्यविन्यास प्रकाश लैंग = c >

if (x> 10) माय_वेरिएबल = foo; else माय_वेरिएबल = bar; 

कुछ लोगों का तर्क है कि स्पष्ट if/then कथन को पढ़ना आसान है और यह टर्नरी ऑपरेटर की तुलना में अधिक कुशल कोड के लिए संकलित हो सकता है, जबकि else तर्क देते हैं कि संक्षिप्त अभिव्यक्तियों को पुनरावृत्ति वाली कई पंक्तियों में फैले कथनों की तुलना में पढ़ना आसान है।

छोटा बेसिक
<वाक्यविन्यास लैंग = vbnet>

x = टेक्स्टविंडो। रीडसंख्या

if (x > 10) then TextWindow.WriteLine (मेरे वेरिएबल का नाम 'foo' है।) else TextWindow.WriteLine (मेरे वेरिएबल का नाम 'bar' है।) end if



सबसे पूर्व, जब उपयोगकर्ता प्रोग्राम चलाता है, तो एक कर्सर एक संख्या टंकित करने के लिए पाठक की प्रतीक्षा करता हुआ दिखाई देता है। यदि वह संख्या 10 से अधिक है, तो टेक्स्ट My वेरिएबल का नाम 'foo' रखा गया है। स्क्रीन पर प्रदर्शित होता है। यदि संख्या 10 से छोटी है, तो संदेश My Variable को 'bar' नाम दिया गया है। स्क्रीन पर छपा हुआ है।

विजुअल बेसिक
विज़ुअल बेसिक और कुछ else भाषाओं में, एक प्रकार्य कहा जाता है  प्रदान किया जाता है, जिसका उपयोग सशर्त अभिव्यक्ति के रूप में किया जा सकता है। यद्यपि , यह एक वास्तविक सशर्त अभिव्यक्ति की प्रकार अभ्यास नहीं करता है, क्योंकि true और false दोनों शाखाओं का सदैव मूल्यांकन किया जाता है; यह मात्र इतना है कि उनमें से एक का परिणाम हटा दिया जाता है, जबकि दूसरे का परिणाम IIf प्रकार्य द्वारा वापस कर दिया जाता है।

टीसीएल
टीसीएल में  एक  संकेतशब्द नहीं है, परन्तु  एक प्रकार्य है (टीसीएल में जिसे    कमांड या के रूप में जाना जाता है।) उदाहरण के लिए

<वाक्यविन्यास लैंग = टीसीएल>

if {$x > 10} { put foo! }



2-तर्कों को अस्थायी करने वाले    नामक एक प्रकार्य का आह्वान करता है: पहली शर्त और दूसरी सच्ची शाखा। दोनों तर्कों को तार के रूप में पारित किया जाता है (टीसीएल में धनु कोष्ठक के भीतर सब कुछ एक स्ट्रिंग है)।

उपरोक्त उदाहरण में प्रकार्य को कॉल करने से पूर्व  कारक का मूल्यांकन नहीं किया जाता है। इसके अतिरिक्त,    के कार्यान्वयन प्रकार्य एक स्ट्रिंग मान के रूप में स्थिति प्राप्त करता है और कॉलर्स स्कोप में अभिव्यक्ति के रूप में इस स्ट्रिंग का मूल्यांकन करने के लिए उत्तरदायी है।

ऐसा अभ्यास   और   कमांड  का उपयोग करने से संभव है:
 * Uplevel टीसीएल प्रक्रियाओं के रूप में नए नियंत्रण निर्माणों को लागू करना संभव बनाता है (उदाहरण के लिए, टीसीएल प्रक्रिया के रूप में निर्माण को लागू करने के लिए uplevel का उपयोग किया जा सकता है)।

क्योंकि  निश्चित एक प्रकार्य है यह एक मान भी देता है:
 * कमांड से पुनरावृत्ति मूल्य उस बॉडी स्क्रिप्ट का परिणाम है जिसे निष्पादित किया गया था, या एक रिक्त स्ट्रिंग if कोई अभिव्यक्ति  गैर शून्य नहीं था और कोई बॉडीएन नहीं था।

रस्ट
रस्ट में (प्रोग्रामिंग भाषा),   सदैव एक अभिव्यक्ति है। यह जो भी शाखा निष्पादित की जाती है, या इकाई प्रकार के मूल्य का मूल्यांकन करता है   if कोई शाखा निष्पादित नहीं की जाती है। यदि कोई शाखा वापसी मूल्य प्रदान नहीं करती है, तो वह  डिफ़ॉल्ट रूप से    का  मूल्यांकन करती है। यह सुनिश्चित करने के लिए   अभिव्यक्ति का प्रकार संकलन समय पर जाना जाता है, प्रत्येक शाखा को उसी प्रकार के मान का मूल्यांकन करना चाहिए। इस कारण से, एक  शाखा प्रभावी रूप से अनिवार्य है जब तक कि अन्य शाखाएँ इसका मूल्यांकन नहीं करतीं, क्योंकि    बिना     सदैव डिफ़ॉल्ट रूप से का     मूल्यांकन कर सकता है।

<वाक्यविन्यास प्रकाश लैंग = रस्ट >

// x के मान के आधार पर माय_वेरिएबल को कुछ मान असाइन करें

माना माय_वेरिएबल = if x > 20 { 1 } else { 2 };

// यह संस्करण संकलित नहीं होगा क्योंकि 1 और के विभिन्न प्रकार हैं

माना माय_वेरिएबल = if x > 20 { 1 };

// आवश्यकता  न होने पर मूल्यों को छोड़ा जा सकता है if x> 20 { Println! (x 20 से अधिक है); }



अंकगणित if
फोरट्रान 77 तक, फोरट्रान भाषा में एक अंकगणित if  कथन है जो  त्रिभाजन  (गणित)   x < 0, x = 0, x > 0के आधार पर गणना किए गए IF और एक  कारक कथन के बीच में है।    फोरट्रान में यह सबसे प्रथम सशर्त कथन था:

<वाक्यविन्यास लैंग = फोरट्रान>

if (ई) लेबल 1, लेबल 2, लेबल 3



जहां e कोई संख्यात्मक अभिव्यक्ति है (आवश्यक नहीं कि एक पूर्णांक); यह इसके बराबर है

<वाक्यविन्यास लैंग = फोरट्रान>

IF (e.LT. 0) GOTO लेबल1

if (ई। ईक्यू। 0) गोटो लेबल2

गोटो लेबल3



क्योंकि यह अंकगणितीय IF एकाधिक के बराबर है  कथन जो कहीं भी जा सकते हैं, इसे एक असंरचित नियंत्रण कथन माना जाता है, और यदि अधिक संरचित कथनों का उपयोग किया जा सकता है तो इसका उपयोग नहीं किया जाना चाहिए। अभ्यास में यह देखा गया है कि अधिकांश अंकगणितीय   कथनों ने निम्नलिखित कथनों को एक या दो लेबल के साथ संदर्भित किया।

आईबीएम 704 कंप्यूटर पर फोरट्रान के मूल कार्यान्वयन में यह एकमात्र सशर्त नियंत्रण कथन था। उस कंप्यूटर पर टेस्ट-एंड-शाखा ऑप-कोड में उन तीन अवस्थाओं के लिए तीन पते थे। else कंप्यूटरों में पिछले अंकगणितीय परिचालनों से जुड़े सकारात्मक, शून्य, नकारात्मक, सम, अतिप्रवाह, कैरी जैसे फ्लैग रजिस्टर होंगे और 'शाखा यदि संचायक नकारात्मक' तो 'शाखा यदि संचायक शून्य' या इसी प्रकार के निर्देशों का उपयोग करेंगे। ध्यान दें कि अभिव्यक्ति का मूल्यांकन मात्र एक बार किया जाता है, और पूर्णांक अंकगणित जैसे स्थितियों में जहां अतिप्रवाह हो सकता है, अतिप्रवाह या कैरी फ्लैग पर भी विचार किया जाएगा।

स्मॉलटॉक
में वस्तु-उन्मुख कार्यान्वयन

else भाषाओं के विपरीत, स्मॉलटाक में सशर्त कथन एक भाषा निर्माण नहीं है बल्कि कक्षा में परिभाषित किया गया है  एक सार विधि के रूप में जो दो पैरामीटर लेती है, क्लोजर (कंप्यूटर विज्ञान) दोनों।   दो उपवर्ग हैं,   और , जो दोनों विधि को परिभाषित करते हैं,   मात्र प्रथम क्लोजर निष्पादित करना,   मात्र दूसरा क्लोजर निष्पादित करना। <वाक्यविन्यास लैंग = स्मॉलटॉक> वार = शर्त ifTrue: ['foo'] ifFalse: ['bar'] 

जावास्क्रिप्ट
जावास्क्रिप्ट c  वाक्यविन्यास  भाषाओं या समान के समान if-else कथन का उपयोग करता है। आरक्षित if  संकेतशब्द और बाएं धनु कोष्ठक के बीच कोष्ठक के भीतर एक बूलियन मान स्वीकार किया जाता है।

<वाक्यविन्यास लैंग = जावास्क्रिप्ट>

if (गणित.यादृच्छिक <0.5) { कंसोल.लॉग (आपको हेड्स मिल गए!); } else { कंसोल.लॉग (आपको पूंछ मिल गई!); }



उपरोक्त उदाहरण   की सशर्त लेता है जो 0 और 1 के बीच एक यादृच्छिक फ़्लोट मान 0.5 से अधिक होने पर    आउटपुट करता है। कथन कंसोल के लिए    या    आउटपुट के बीच  यादृच्छिक रूप से चयन करने के लिए इसका उपयोग करता है । Else और else-if कथनों को उनके पूर्ववर्ती कथन के धनु कोष्ठक के बाद जितनी बार आवश्यक हो, उतनी बार श्रृंखलित किया जा सकता है, जैसा कि नीचे दिखाया गया है:

<वाक्यविन्यास लैंग = जावास्क्रिप्ट>

वर x = गणित यादृच्छिक ;

if (x <1/3) { कंसोल.लॉग (एक व्यक्ति जीता!); } और if (x <2/3) { कंसोल.लॉग (दो लोग जीते!); } else { कंसोल.लॉग (यह तीन प्रकार से टाई है!); }



लैम्ब्डा गणना
लैम्ब्डा गणना में, यदि-then-else सशर्त की अवधारणा को अभिव्यक्तियों का उपयोग करके व्यक्त किया जा सकता है: true = λx. λy. x false = λx. λy. y ifTheNelse = (λc. λx. λy. (c x y)) ध्यान दें: ifThenElse बाएँ और दाएँ सशर्त के रूप में दो कार्य करता है; निश्चित चुने गए प्रकार्य को कॉल करने के लिए ifThenElse के परिणाम के लिए एक रिक्त टपल पास करना आवश्यक है, elseथा ifThenElse कॉल किए बिना प्रकार्य ऑब्जेक्ट को वापस कर देगा।
 * 1) सत्य दो तर्क तक लेता है और एक बार दोनों प्रदान किए जाने के बाद ( विच्छेदन देखें), यह दिया गया प्रथम तर्क देता है।
 * 2) असत्य दो तर्क तक लेता है और एक बार दोनों प्रदान किए जाने के बाद ( विच्छेदन देखें), यह दिया गया दूसरा तर्क देता है।
 * 3) ifThenElse तीन तर्क तक लेता है और एक बार सभी प्रदान किए जाने के बाद, यह पूर्व  तर्क के लिए दूसरे और तीसरे तर्क दोनों को पारित करता है (जो एक ऐसा प्रकार्य है जो दो तर्क देता है, और परिणाम उत्पन्न करता है)। हम आशा करते हैं कि ifThenElse मात्र एक तर्क के रूप में सत्य  या असत्य ले, जो दोनों दिए गए दो तर्कों को उनके अधिमानित एकल तर्क के लिए प्रोजेक्ट करते हैं, जो फिर लौटाया जाता है।

ऐसी प्रणाली में जहां संख्याओं को परिभाषा के बिना उपयोग किया जा सकता है (जैसे लिस्प, परंपरागत पत्र गणित, आदि), उपरोक्त को नीचे एक बंद के रूप में व्यक्त किया जा सकता है:

<वाक्यविन्यास प्रकाश लैंग = लिस्प> ((λtrue। λfalse। λifthenelseथा। (यदिफिरelseथा true 2 3) )(λx. λy. x)(λx. λy. y)(λc. λl. λr. c l r)) 

यहाँ, True, False, और ifTheNelse अपनी-अपनी परिभाषाओं से बंधे हैं जो उनके ब्लॉक के end में उनके क्षेत्र में पारित हो जाते हैं।

इसके लिए एक कार्यशील जावास्क्रिप्ट सादृश्य (दृढ़ता के लिए एकल वेरिएबल के मात्र कार्यों का उपयोग करके) है:

<वाक्यविन्यास प्रकाश लैंग = जावास्क्रिप्ट> वर संगणना परिणाम = ((_true => _false => _ifThenElse => _ifThenelse(_true)(2)(3) ) (x => y => x) (x => y => y) ( c => x => y => c (x) (y))); 

उपरोक्त कोड बहु-परिवर्तनीय कार्यों के साथ इस प्रकार दिखता है:

<वाक्यविन्यास प्रकाश लैंग = जावास्क्रिप्ट> वर संगणना परिणाम = ((_true, _false, _ifThenElse) =>    _ifThenelse(_true, 2, 3) ) ((x, y) => x, (x, y) => y, ( c, x, y) => c (x, y)); </वाक्यविन्यास हाइलाइट>

प्रणाली के बिना पूर्व के उदाहरण का एक और संस्करण जहां संख्याएँ ग्रहण की जाती हैं, नीचे है।

प्रथम उदाहरण दिखाता है कि प्रथम शाखा ली जा रही है, जबकि दूसरा उदाहरण दिखाता है कि दूसरी शाखा ली जा रही है।

<वाक्यविन्यास प्रकाश लैंग = लिस्प> ((λtrue। λfalse। λifthenelse (if thenelse true (λFirstBranch. FirstBranch) (λSecondBranch. SecondBranch)) )(λx. λy. x)(λx. λy. y)(λc. λl. λr. c l r))

((λtrue। λfalse। λifthenelse (ifफिरelseथा false (λFirstBranch. FirstBranch) (λSecondBranch. SecondBranch)) )(λx. λy. x)(λx. λy. y)(λc. λl. λr. c l r)) </वाक्यविन्यास हाइलाइट>

स्मॉलटाक अपने true और false अभ्यावेदन के लिए एक समान विचार का उपयोग करता है, जिसमें True और False एकल ऑब्जेक्ट होते हैं जो संदेशों को ifTrue/ifFalse अलग विधि से प्रतिक्रिया देते हैं।

हास्केल अपने बूलियन प्रकार के लिए इस यथार्थ मॉडल का उपयोग करता था, परन्तु लेखन के समय, अधिकांश हास्केल प्रोग्राम सिंटैक्टिक चीनी का उपयोग करते हैं यदि a तो b और c निर्माण जो ifThenelse के विपरीत नहीं होता है जब तक कि रचना नहीं करता है या तो किसी else प्रकार्य में  आच्छादित है या इस पृष्ठ के हास्केल अनुभाग में दिखाए गए अनुसार पुन: कार्यान्वित किया गया है।

कारक और स्विच कथन
स्विच कथन (कुछ भाषाओं में, कारक कथन या बहुमार्गीय शाखा) निर्दिष्ट स्थिरांक के साथ दिए गए मान की तुलना करते हैं और मिलान के पूर्व  स्थिरांक के अनुसार अनुयोजन करते हैं। यदि कोई मिलान सफल नहीं होता है तो सामान्यतः  एक डिफ़ॉल्ट अनुयोजन ('else', 'elseथा') करने का प्रावधान है। स्विच कथन अनुकूलन संकलक की अनुमति दे सकते हैं, जैसे  लुकअप तालिका । गतिशील भाषाओं में, स्थिति  निरंतर अभिव्यक्तियों तक सीमित नहीं हो सकते हैं, और पैटर्न मिलान तक विस्तारित हो सकते हैं, जैसा कि दाईं ओर खोल स्क्रिप्ट उदाहरण में है, जहां '*)' किसी भी स्ट्रिंग से मेल खाने वाली नियमित अभिव्यक्ति के रूप में डिफ़ॉल्ट  कारक को लागू करता है।

पैटर्न मिलान
पैटर्न मिलान को if-then-else, और कारक कथन दोनों के विकल्प के रूप में देखा जा सकता है। यह कई प्रोग्रामिंग भाषाओं में कार्यात्मक प्रोग्रामिंग सुविधाओं के साथ उपलब्ध है, जैसे कि वोल्फ्राम भाषा, एमएल (प्रोग्रामिंग भाषा) और कई else। यहाँ OCaml भाषा में लिखा गया एक सरल उदाहरण है: <वाक्यविन्यास प्रकाश लैंग = ओकैमल> फलों का मिलान करें </वाक्यविन्यास हाइलाइट> पैटर्न मिलान की शक्ति संक्षिप्त रूप से न मात्र क्रियाओं बल्कि मूल्यों को डेटा के पैटर्न से मिलान करने की क्षमता है। यहाँ हास्केल (प्रोग्रामिंग भाषा) में लिखा गया एक उदाहरण है जो इन दोनों विशेषताओं को दिखाता है: <वाक्यविन्यास लैंग = हैकेल> नक्शा _ [] = [] नक्शा एफ (एच: टी) = एफ एच: नक्शा एफ टी </वाक्यविन्यास हाइलाइट> यह कोड एक प्रकार्य मैप को परिभाषित करता है, जो दूसरे तर्क (एक सूची) के प्रत्येक अवयव के लिए प्रथम तर्क (एक प्रकार्य) लागू करता है, और परिणामी सूची देता है। इस स्थिति में संभव दो प्रकार के तर्कों के लिए दो पंक्तियाँ प्रकार्य की दो परिभाषाएँ हैं - एक जहाँ सूची रिक्त है (बस एक रिक्त सूची लौटाएँ) और दूसरी शर्त जहाँ सूची रिक्त नहीं है।
 * सेब -> कुक पाई
 * नारियल -> dango_mochi पकाएं
 * केला -> मिश्रण ;;

पैटर्न मिलान विशुद्धी से सदैव एक विकल्प निर्माण नहीं बोल रहा है, क्योंकि हास्केल में मात्र एक विकल्प लिखना संभव है, जिसे सदैव मिलान करने की गारंटी दी जाती है - इस स्थिति में, इसे पसंद निर्माण के रूप में उपयोग नहीं किया जा रहा है, परन्तु बस एक विधि  के रूप में नामों को मूल्यों से बाँधने के लिए। यद्यपि , यह अक्सर उन भाषाओं में एक विकल्प निर्माण के रूप में उपयोग किया जाता है जिनमें यह उपलब्ध है।

हैश-आधारित सशर्त
ऐसी प्रोग्रामिंग भाषाओं में जिनमें साहवेरिएबल्य सरणियाँ या तुलनीय डेटा संरचनाएँ हैं, जैसे कि पायथन (प्रोग्रामिंग भाषा), पर्ल, पीएचपी या उद्देश्य c, सशर्त असाइनमेंट को लागू करने के लिए उनका उपयोग करना मुहावरेदार है। <वाक्यविन्यास लैंग = अजगर> पालतू जानवर = इनपुट (उस पालतू जानवर का प्रकार दर्ज करें जिसे आप नाम देना चाहते हैं:) ज्ञात_पेट्स = { कुत्ता : फिदो, बिल्ली : म्याऊं, पक्षी : ट्वीटी, } my_name = ज्ञात_पालतू जानवर [पालतू जानवर] </वाक्यविन्यास हाइलाइट>

जिन भाषाओं में अनाम प्रकार्य होते हैं या जो एक प्रोग्रामर को एक नामित प्रकार्य को एक वेरिएबल संदर्भ में निर्दिष्ट करने की अनुमति देते हैं, एक प्रेषण तालिका के रूप में हैश का उपयोग करके सशर्त प्रवाह को लागू किया जा सकता है।

भविष्यवाणी
सशर्त शाखा निर्देशों का एक विकल्प शाखा भविष्यवाणी है। प्रिडिक्शन एक निर्देश सेट वास्तुकला फीवेरिएबल है जो कंट्रोल फ्लो को संशोधित करने के अतिरिक्त निर्देशों को सशर्त रूप से निष्पादित करने में सक्षम बनाता है।

चॉइस प्रणाली क्रॉस रेफरेंस
यह तालिका प्रत्येक भाषा के नवीनतम भाषा विनिर्देश को संदर्भित करती है। जिन भाषाओं में विनिर्देश नहीं है, उनके लिए नवीनतम आधिकारिक तौर पर जारी कार्यान्वयन को संदर्भित किया जाता है।

1. This refers to pattern matching as a distinct conditional construct in the programming language – as opposed to mere string pattern matching support, such as regular expression support.

2. An #ELIF directive is used in the preprocessor sub-language that is used to modify the code before compilation; and to include other files.

3. The often-encountered in the C family of languages, and in COBOL and Haskell, is not a language feature but a set of nested and independent if then else statements combined with a particular source code layout. However, this also means that a distinct else–if construct is not really needed in these languages.

4. In Haskell and F#, a separate constant choice construct is unneeded, because the same task can be done with pattern matching.

5. In a Ruby construct, regular expression matching is among the conditional flow-control alternatives available. For an example, see this Stack Overflow question.

6. SQL has two similar constructs that fulfill both roles, both introduced in SQL-92. A "searched " expression CASE WHEN cond1 THEN expr1 WHEN cond2 THEN expr2 [...] ELSE exprDflt END works like, whereas a "simple " expression: CASE expr WHEN val1 THEN expr1 [...] ELSE exprDflt END works like a switch statement. For details and examples see Case (SQL).

7. Arithmetic is obsolescent in Fortran 90.

8. Pattern matching was added in Ruby 3.0. Some pattern matching constructs are still experimental.

यह भी देखें

 * शाखा (कंप्यूटर विज्ञान)
 * सशर्त संकलन
 * निष्पादन विकल्प बनाने के दूसरे विधि के लिए गतिशील प्रेषण
 * इतिहास और ऐतिहासिक संदर्भों के लिए मैकार्थी औपचारिकतावाद
 * नामित शर्त
 * रिलेशनल ऑपरेटर
 * टेस्ट (यूनिक्स)
 * योदा की शर्त
 * सशर्त चाल

बाहरी संबंध

 * IF NOT (ActionScript 3.0) video
 * IF NOT (ActionScript 3.0) video