त्रिगुट सशर्त और असाइनमेंट ऑपरेटर पूर्वता

Question

मैं प्रत्यक्ष असाइनमेंट और त्रिगुट सशर्त ऑपरेटरों पूर्वता लेकर संदेह में हूँ:

#include<stdio.h> 
int main(void) 
{ 
    int j, k; 

    j = k = 0; 
    (1 ? j : k) = 1; // first 
    printf("%d %d\n", j, k); 

    j = k = 0; 
    1 ? j : k = 1; // second 
    printf("%d %d\n", j, k); 
    return 0; 
} 

मैं उत्पादन होने की अपेक्षा करेंगे:

1 0 
1 0 

लेकिन यह होने वाला:

1 0 
0 0 

प्लस मैं इस चेतावनी मिलती है:

main.cpp: 20: चेतावनी: बयान कोई प्रभाव नहीं

लाइन मैं दूसरे के रूप में टिप्पणी की है के बारे में जो है।

चूंकि प्रत्यक्ष असाइनमेंट ऑपरेटर के पास टर्नरी सशर्त ऑपरेटर की तुलना में कम प्राथमिकता है, इसलिए मुझे उम्मीद थी कि रेखाएं पहले और दूसरे के बराबर होंगी। लेकिन हां यह मामला नहीं है।

मैंने कोशिश की इस के साथ जी ++ --version (उबंटू 4.4.3-4ubuntu5) 4.4.3

Answer 1

C/C++ भाषा में ऑपरेटर पूर्वता परिभाषित नहीं में एक टेबल या संख्या से, लेकिन एक व्याकरण द्वारा। सशर्त ऑपरेटर के लिए व्याकरण C++0x draft अध्याय 5.16 सशर्त ऑपरेटर [expr।cond]:

 
conditional-expression: 
    logical-or-expression 
    logical-or-expression ? expression : assignment-expression 

this one तरह पूर्वता तालिका इसलिए सही है जब आप doublecolon की बाईं ओर काम का उपयोग है, लेकिन जब सही पक्ष पर इस्तेमाल नहीं किया। इस असमानता का कारण क्या है मुझे कोई जानकारी नहीं है। यह एक ऐतिहासिक कारण हो सकता है: सी में सशर्त परिणाम लालसा नहीं था, इसलिए इसे कुछ निर्दिष्ट करने का कोई मतलब नहीं था, और उस समय कोष्ठक के बिना असाइनमेंट को स्वीकार करने की इजाजत दी जा सकती थी।

Answer 2

दूसरी पंक्ति के बराबर है:

1 ? (j) : (k = 1); 

वह उसी के रूप में:

j; 

वह उसी के रूप में:

; 

कुंजी यह है कि टर्नरी सशर्त ऑपरेटर के दो ऑपरेशंस अभिव्यक्ति हो सकते हैं, इसलिए ऑपरेटर प्राथमिकता यहां प्रासंगिक नहीं है। यह बस इतना है कि दूसरा ऑपरेंड असाइनमेंट अभिव्यक्ति k = 1 है।

Answer 3

दूसरे मामले में,

1 ? j : k = 1; 

के रूप में मूल्यांकन किया जाता है:

(1) ? (j) : (k = 1); 

और के बाद से एक true को मूल्यांकन करता है, अभिव्यक्ति j जो कुछ नहीं करता है के लिए मूल्यांकन करता है।

Answer 4

(1 ? j : k) = 1; 

, के बराबर है

if(true) j = 1; 
else k = 1; 

और,

1 ? j : k = 1; 

के बराबर है,

if(true) j; // warning: statement has no effect 
else k = 1;