एक फ़ंक्शन पैरामीटर सूची में एक अनियंत्रित चर गुजर रहा है अच्छी तरह से परिभाषित?</p> <pre><code>void bar(bool b, double f) { if (b){ double g = f; } } void foo() { double f; bool b = false; bar(b, f); } </code></pre> <p>वहाँ किसी भी अपरिभाषित व्यवहार यहाँ है:

Question

मैं कुछ कोड है जो अनिवार्य रूप निम्नलिखित करने पर निर्भर करता है? मुझे संदेह है कि ऐसा हो सकता है क्योंकि f से bar पास करते समय मैं अनियंत्रित double की मान प्रतिलिपि ले रहा हूं। उस ने कहा, मैं पास double का उपयोग नहीं कर रहा हूं हालांकि if ब्लॉक नहीं चलाया जाएगा।

इसके अलावा, सब कुछ ठीक है अगर मैं संदर्भ द्वारा double पारित करने के लिए थे होगा:

void bar(bool b, double& f) 

तो मैं एक uninitialised चर नहीं "का उपयोग" कर रहा हूँ, लेकिन बस में यह जिक्र कर रहा हूँ।

Answer 1

हां, व्यवहार अपरिभाषित है। आप फ़ंक्शन पैरामीटर सूची में इसे पास करते समय अनियंत्रित double की मान प्रतिलिपि ले रहे हैं।

संदर्भ द्वारा उत्तीर्ण अच्छी तरह परिभाषित है क्योंकि आप जो भी कर रहे हैं वह double के संदर्भ में बाध्यकारी है। बेशक, उस संदर्भ को एक्सेस करने का व्यवहार अपरिभाषित होगा।

N4140:

[dcl.init]

12 ... एक अनिश्चित मूल्य एक मूल्यांकन द्वारा निर्मित है, तो व्यवहार निम्नलिखित मामलों को छोड़कर अपरिभाषित है:

(अप्रयुक्त संकीर्ण चरित्र प्रकार से संबंधित अप्रासंगिक पाठ छोड़ा गया)