"-1 >> 5;" है सी में अनिश्चित व्यवहार?

Question

C11 §6.5.7 अनुच्छेद 5:

E1 >> E2 का परिणाम E1 सही-स्थानांतरित E2 बिट पदों है। यदि E1 एक अहस्ताक्षरित प्रकार है या यदि E1 एक हस्ताक्षरित प्रकार और एक गैर नकारात्मक मान होता है, परिणाम का मूल्य E1/2*^E2 की भागफल के अभिन्न अंग है। यदि E1 पर एक हस्ताक्षरित प्रकार और नकारात्मक मान है, परिणामी मान कार्यान्वयन-परिभाषित है।

लेकिन, viva64 संदर्भ दस्तावेज कहते हैं:

int B; 
B = -1 >> 5; // unspecified behavior 

मैं GCC पर इस कोड को भाग गया और यह हमेशा एक निर्गम -1 दे रहा है।

तो, मानक मान लें कि "E1 एक हस्ताक्षरित प्रकार और एक नकारात्मक मूल्य होता है, तो परिणामस्वरूप मूल्य कार्यान्वयन परिभाषित किया गया है", लेकिन उस दस्तावेज़ का कहना है कि -1>>5;अनिर्दिष्ट व्यवहार है।

तो, -1>>5; सी में अनिर्दिष्ट व्यवहार है? क्या सही है?

Answer 1

दोनों सही हैं। कार्यान्वयन परिभाषित व्यवहार एक विशेष प्रकार का अनिर्दिष्ट व्यवहार है।

the C standard की धारा 3.4.1 जो परिभाषित करता है "कार्यान्वयन से परिभाषित व्यवहार" हवाला देते हुए:

कार्यान्वयन से परिभाषित व्यवहार

अनिर्दिष्ट व्यवहार जहां प्रत्येक कार्यान्वयन दस्तावेजों कैसे पसंद किया जाता है

उदाहरण कार्यान्वयन से परिभाषित व्यवहार का एक उदाहरण टी है जब उच्च हस्ताक्षरित पूर्णांक को स्थानांतरित किया जाता है तो वह उच्च-आदेश बिट का प्रसार करता है।

खंड 3.4.4 से

"अनिर्दिष्ट व्यवहार" को परिभाषित करने:

अनिर्दिष्ट व्यवहार एक अनिर्दिष्ट मूल्य की

उपयोग या अन्य व्यवहार जहां इस अंतर्राष्ट्रीय मानक दो प्रदान करता है या अधिक संभावनाएं और लागू करता है जिस पर कोई और आवश्यकता नहीं है जिस पर किसी भी उदाहरण

उदाहरण अनिर्दिष्ट व्यवहार का एक उदाहरण वह क्रम है जिसमें किसी फ़ंक्शन के तर्कों का मूल्यांकन किया जाता है।

जीसीसी के लिए, आपको हमेशा वही उत्तर मिल जाएगा क्योंकि ऑपरेशन कार्यान्वित किया गया है।

पर हस्ताक्षर किए पूर्णांकों पर कुछ बिटवाइज़ आपरेशन के परिणामों (C90 6.3, C99 और सी 11 6.5): यह संकेत विस्तार

के माध्यम से नकारात्मक संख्या का सही पारी GCC documentation से लागू करता है। जहां से साइन बिट सर्वाधिक महत्व मूल्य थोड़ा ऊपर तुरंत माना जाता है दोनों हस्ताक्षर और मूल्य बिट्स सहित मूल्य, के प्रतिनिधित्व पर

बिटवाइज़ ऑपरेटर्स काम करते हैं। हस्ताक्षर >> साइन एक्सटेंशन द्वारा नकारात्मक संख्याओं पर कार्य करता है।

सी भाषा के लिए एक विस्तार के रूप में, जीसीसी अक्षांश C99 और सी 11 में दिया उपयोग नहीं करता है केवल हस्ताक्षर किए << के रूप में अपरिभाषित के कुछ पहलुओं के इलाज के लिए। हालांकि, -fsanitize=shift (और -fsanitize=undefined) ऐसे मामलों का निदान करेंगे। उन्हें निदान भी किया जाता है जहां स्थिर अभिव्यक्तियों की आवश्यकता होती है।

Answer 2

"निर्दिष्ट व्यवहार" और "कार्यान्वयन परिभाषित" विरोधाभासी नहीं है। इसका मतलब यह है कि सी मानक निर्दिष्ट नहीं करता है कि क्या होने की आवश्यकता है, और विभिन्न कार्यान्वयन वे "सही" मान सकते हैं।

एक संकलक पर चल रहा है इसे कई बार और एक ही परिणाम हो रही है केवल इसका मतलब है कि विशेष संकलक-सा है। आप एक अलग संकलक पर अलग-अलग परिणाम प्राप्त कर सकते हैं।