💆🏻 📦 🤣 PHP में तार्किक तुलना की विशेषताएं 🙄 🌺 🛌

4 अप्रैल को, PHP में तुलना ऑपरेटरों के संचालन के बारे में स्टैकओवरफ़्लो पर एक प्रश्न उत्पन्न हुआ । लगभग तुरंत, उन्हें एक विस्तृत जवाब मिला। निश्चित रूप से कई लोगों के लिए यह एक दिलचस्प विषय है।

सवाल

PHP अपने प्रकार की कास्टिंग के लिए प्रसिद्ध है। मैंने तुलनात्मक तर्क की मूल बातों की तलाश में बहुत समय बिताया।

उदाहरण के लिए: यदि $a > $b सत्य है और $b > $c सत्य है, तो क्या इसका अर्थ यह है कि $a > $c भी सत्य है?

सबसे सरल तर्क द्वारा निर्देशित, मैं मान सकता हूं कि यह अभिव्यक्ति भी सच है, हालांकि मैं वास्तव में इस मामले में PHP पर भरोसा नहीं करता हूं। क्या कोई मुझे एक उदाहरण दे सकता है जिसमें यह कथन गलत होगा?

मुझे "अधिक" और "कम" ऑपरेटरों के काम में भी दिलचस्पी है। जब अभिव्यक्ति समाप्त हो जाती है तो तुलना परिवर्तन का परिणाम होगा:

 # precondition: if ($a === $b) { throw new Exception( 'both are strictly equal, can not compare strictly for greater or smaller' ); } ($a > $b) !== ($b > $a)

अधिकांश प्रकार के संयोजनों के लिए, तुलनात्मक रूप से कम / अधिक संचालकों के संचालन का दस्तावेजीकरण नहीं किया जाता है।

जवाब है

कुछ बिंदुओं पर PHP में तुलना ऑपरेटर विहित परिभाषा से भिन्न होता है:

समानता का संबंध चिंतनशील, सममित और सकर्मक होना चाहिए:

PHP में == ऑपरेटर चिंतनशील नहीं है , यानी $a == $a हमेशा सच नहीं होता है:
```
 var_dump(NAN == NAN); // bool(false) 
```
नोट: यह तथ्य कि NAN की तुलना हमेशा झूठी होती है, PHP की विशेषता नहीं है। यह व्यवहार IEEE 754 मानक में फ़्लोटिंग-पॉइंट संख्याओं ( स्टैकओवरफ़्लो पर स्पष्टीकरण ) का प्रतिनिधित्व करने के प्रारूप के लिए परिभाषित किया गया है;
ऑपरेटर == सममित है , अर्थात $a == $b और $b == $a हमेशा $b == $a समान $b == $a हैं;
== संचालक सकर्मक नहीं है , यानी $a == $b और $b == $c अर्थ यह नहीं है कि $a == $c :
```
 var_dump(true == "a"); // bool(true) var_dump("a" == 0); // bool(true) var_dump(true == 0); // bool(false) 
```

संबंध <= / >= प्रतिबिंबित नहीं होना चाहिए, एंटीसिमेट्रिक और सकर्मक:

PHP में <= संचालक चिंतनशील नहीं है , अर्थात् , अभिव्यक्ति $a <= $a हमेशा सत्य नहीं होता है ( == लिए उदाहरण देखें);
ऑपरेटर <= एंटीसिममेट्रिक नहीं है , अर्थात, अभिव्यक्तियों की सच्चाई $a <= $b और $b <= $a मतलब यह नहीं है कि $a == $b :
```
 var_dump(NAN <= "foo"); // bool(true) var_dump("foo" <= NAN); // bool(true) var_dump(NAN == "foo"); // bool(false) 
```
ऑपरेटर <= सकर्मक नहीं है , अर्थात, भावों की सच्चाई $a <= $b और $b <= $c अर्थ यह नहीं है कि $a <= $c (उदाहरण == ऑपरेटर के लिए == है)।
ऑपरेटर <= पूर्ण नहीं है , अर्थात, दोनों $a <= $b और $b <= $a गलत हो सकते हैं:
```
 var_dump(new stdClass <= new DateTime); // bool(false) var_dump(new DateTime <= new stdClass); // bool(false) 
```

सख्त असमानता का संबंध < / > प्रति-विरोधी, असममित और सकर्मक होना चाहिए:

PHP में < ऑपरेटर एंटी-रिफ्लेक्सिव है , यानी $a < $a हमेशा गलत है। यह PHP 5.4 के बाद से प्रासंगिक है। INF < INF पिछले संस्करणों में सच है;
ऑपरेटर < असममित नहीं है , अर्थात, $a < $b अर्थ यह नहीं है कि !($b < $a) सत्य है ( <= लिए उदाहरण देखें);
ऑपरेटर < सकर्मक नहीं है , अर्थात, $a < $b और $b < $c की सच्चाई का अर्थ यह नहीं है कि $a < $c भी सत्य है:
```
 var_dump(-INF < 0); // bool(true) var_dump(0 < TRUE); // bool(true) var_dump(-INF < TRUE); // bool(false) 
```
अतिरिक्त रूप से: ऑपरेटर < ट्रिकोटोमस नहीं है , अर्थात, भाव $a < $b , $b < $a और $a == $b गलत हो सकते हैं (उदाहरण <= लिए समान है);
अतिरिक्त रूप से: ऑपरेटर < को वापस लौटाया जा सकता है, अर्थात, ऐसे मामले हैं जब $a < $b , $b < $c और $c < $a सत्य हैं:
```
 var_dump(INF < []); // bool(true) var_dump([] < new stdClass); // bool(true) var_dump(new stdClass < INF); // bool(true) 
```
नोट: यह उदाहरण एक चेतावनी उत्पन्न करता है "क्लास स्टैडक्लास की वस्तु को स्तर नोटिस में परिवर्तित नहीं किया जा सकता है"।

आप लेख PHP दु: ख 52 - तुलना ऑपरेटरों में कुछ अद्भुत रेखांकन पा सकते हैं।

और अंत में, मैं यह नोट करना चाहता हूं कि PHP में दो समानताएं (लगभग सभी चीजों के विपरीत) की गारंटी है क्योंकि दुभाषिया उन्हें एक रूप में लाता है:

 ($a > $b) == ($b < $a) ($a >= $b) == ($b <= $a)

UPD: दूसरा जवाब

PHP में (संस्करण 5.5.0beta2 के लिए प्रासंगिक) कोई सख्त तुलना नहीं है == या <== प्रकार की जाँच के साथ, लेकिन अधिक / कम तुलना करने से पहले प्रकारों की तुलना करने के कई तरीके हैं:

चर प्रकारों की तुलना करें if ( gettype($a)===gettype($b) ) ...
स्पष्ट रूप से वांछित प्रकार के चर डाले if ( (string)$a===(string)$b ) ...
टाइप हेरफेर का उपयोग करें if ( ($a.'')===($b.'') ) ...

निम्नलिखित पर भी ध्यान दें:

फ्लोटिंग-पॉइंट नंबरों की सीमित परिशुद्धता है;
स्थिरांक NAN और INF प्रकार के होते हैं;
INF से INF की तुलना करना गणितीय रूप से गलत है;
ई-संकेतन में संख्या एक प्रकार की फ्लोट है, भले ही वे छोटे हों;
PHP_INT_MAX से अधिक पूर्णांक स्वचालित रूप से फ़्लोटिंग पॉइंट संख्या में परिवर्तित हो जाते हैं;
सिस्टम द्वारा परिभाषित सीमा के बाहर फ्लोटिंग-पॉइंट नंबर INF होते हैं;
अघोषित चर रिटर्न NULL;
असाइन किए जाने पर, 0 से शुरू होने वाले पूर्णांक ऑक्टल से दशमलव में बदल दिए जाते हैं;
जब एक स्ट्रिंग एक पूर्णांक के लिए डाली जाती है, तो यह अपने अग्रणी शून्य को खो देता है।

कुछ विशिष्ट तुलना

असामान्य रूप से

  $a VS. $b $a>$b $a<$b $a<=$b $a>=$b $a==$b $a===$b float(NAN) float(-INF) false false false false false false float(NAN) float(0) false false false false false false float(NAN) float(1) false false false false false false float(NAN) float(INF) false false false false false false float(NAN) float(NAN) false false false false false false float(NAN) int(-1) false false false false false false float(NAN) int(0) false false false false false false float(NAN) int(1) false false false false false false

अनुवादक का ध्यान: ऊपर दिए गए उत्तर में कहा गया है कि NAN के साथ कोई भी तुलना झूठी है, इसलिए यहां कुछ भी असामान्य नहीं है।

समान लेकिन समान नहीं

  $a VS. $b $a>$b $a<$b $a<=$b $a>=$b $a==$b $a===$b NULL(NULL) array() false false true true true false NULL(NULL) bool(false) false false true true true false NULL(NULL) float(0) false false true true true false NULL(NULL) int(0) false false true true true false NULL(NULL) str('') false false true true true false array() bool(false) false false true true true false bool(false) float(0) false false true true true false bool(false) int(0) false false true true true false str('') bool(false) false false true true true false bool(false) str('0') false false true true true false float(-INF) bool(true) false false true true true false bool(true) float(1) false false true true true false float(INF) bool(true) false false true true true false float(NAN) bool(true) false false true true true false bool(true) int(-1) false false true true true false bool(true) int(1) false false true true true false bool(true) str("\0") false false true true true false bool(true) str('+') false false true true true false bool(true) str('-') false false true true true false bool(true) str('01') false false true true true false bool(true) str('1') false false true true true false bool(true) str('false') false false true true true false str('text') bool(true) false false true true true false str('true') bool(true) false false true true true false int(0) float(0) false false true true true false str("\0") float(0) false false true true true false str('') float(0) false false true true true false str('+') float(0) false false true true true false str('-') float(0) false false true true true false str('0') float(0) false false true true true false str('false') float(0) false false true true true false str('text') float(0) false false true true true false str('true') float(0) false false true true true false int(1) float(1) false false true true true false float(1) str('01') false false true true true false float(1) str('1') false false true true true false str("\0") int(0) false false true true true false str('') int(0) false false true true true false str('+') int(0) false false true true true false str('-') int(0) false false true true true false int(0) str('0') false false true true true false str('false') int(0) false false true true true false str('text') int(0) false false true true true false str('true') int(0) false false true true true false int(1) str('01') false false true true true false int(1) str('1') false false true true true false str('1') str('01') false false true true true false

और एक ही समय में अधिक से अधिक?

  $a VS. $b $a>$b $a<$b $a<=$b $a>=$b $a==$b $a===$b float(NAN) str("\0") true true true true false false float(NAN) str('') true true true true false false float(NAN) str('+') true true true true false false float(NAN) str('-') true true true true false false float(NAN) str('0') true true true true false false float(NAN) str('01') true true true true false false float(NAN) str('1') true true true true false false float(NAN) str('false') true true true true false false float(NAN) str('text') true true true true false false float(NAN) str('true') true true true true false false

हूबहू

  $a VS. $b $a>$b $a<$b $a<=$b $a>=$b $a==$b $a===$b NULL(NULL) NULL(NULL) false false true true true true float(-INF) float(-INF) false false true true true true float(INF) float(INF) false false true true true true

कम या ज्यादा

  $a VS. $b $a>$b $a<$b $a<=$b $a>=$b $a==$b $a===$b NULL(NULL) bool(true) false true true false false false float(-INF) NULL(NULL) true false false true false false NULL(NULL) float(1) false true true false false false float(INF) NULL(NULL) true false false true false false float(NAN) NULL(NULL) true false false true false false NULL(NULL) int(-1) false true true false false false NULL(NULL) int(1) false true true false false false NULL(NULL) str("\0") false true true false false false NULL(NULL) str('+') false true true false false false NULL(NULL) str('-') false true true false false false NULL(NULL) str('0') false true true false false false NULL(NULL) str('01') false true true false false false NULL(NULL) str('1') false true true false false false NULL(NULL) str('false') false true true false false false NULL(NULL) str('text') false true true false false false NULL(NULL) str('true') false true true false false false array() bool(true) false true true false false false float(-INF) array() false true true false false false array() float(0) true false false true false false array() float(1) true false false true false false float(INF) array() false true true false false false float(NAN) array() false true true false false false array() int(-1) true false false true false false array() int(0) true false false true false false array() int(1) true false false true false false array() str("\0") true false false true false false str('') array() false true true false false false array() str('+') true false false true false false array() str('-') true false false true false false array() str('0') true false false true false false array() str('01') true false false true false false array() str('1') true false false true false false array() str('false') true false false true false false array() str('text') true false false true false false array() str('true') true false false true false false bool(true) bool(false) true false false true false false float(-INF) bool(false) true false false true false false float(1) bool(false) true false false true false false float(INF) bool(false) true false false true false false float(NAN) bool(false) true false false true false false bool(false) int(-1) false true true false false false int(1) bool(false) true false false true false false bool(false) str("\0") false true true false false false bool(false) str('+') false true true false false false bool(false) str('-') false true true false false false bool(false) str('01') false true true false false false str('1') bool(false) true false false true false false bool(false) str('false') false true true false false false str('text') bool(false) true false false true false false str('true') bool(false) true false false true false false bool(true) float(0) true false false true false false bool(true) int(0) true false false true false false str('') bool(true) false true true false false false bool(true) str('0') true false false true false false float(-INF) float(0) false true true false false false float(-INF) float(1) false true true false false false float(INF) float(-INF) true false false true false false float(-INF) int(-1) false true true false false false float(-INF) int(0) false true true false false false float(-INF) int(1) false true true false false false float(-INF) str("\0") false true true false false false float(-INF) str('') false true true false false false float(-INF) str('+') false true true false false false float(-INF) str('-') false true true false false false float(-INF) str('0') false true true false false false float(-INF) str('01') false true true false false false float(-INF) str('1') false true true false false false float(-INF) str('false') false true true false false false float(-INF) str('text') false true true false false false float(-INF) str('true') false true true false false false float(1) float(0) true false false true false false float(INF) float(0) true false false true false false float(0) int(-1) true false false true false false int(1) float(0) true false false true false false float(0) str('01') false true true false false false str('1') float(0) true false false true false false float(INF) float(1) true false false true false false float(1) int(-1) true false false true false false float(1) int(0) true false false true false false float(1) str("\0") true false false true false false str('') float(1) false true true false false false float(1) str('+') true false false true false false float(1) str('-') true false false true false false float(1) str('0') true false false true false false float(1) str('false') true false false true false false str('text') float(1) false true true false false false str('true') float(1) false true true false false false float(INF) int(-1) true false false true false false float(INF) int(0) true false false true false false float(INF) int(1) true false false true false false float(INF) str("\0") true false false true false false float(INF) str('') true false false true false false float(INF) str('+') true false false true false false float(INF) str('-') true false false true false false float(INF) str('0') true false false true false false float(INF) str('01') true false false true false false float(INF) str('1') true false false true false false float(INF) str('false') true false false true false false float(INF) str('text') true false false true false false float(INF) str('true') true false false true false false int(0) int(-1) true false false true false false int(1) int(-1) true false false true false false str("\0") int(-1) true false false true false false str('') int(-1) true false false true false false str('+') int(-1) true false false true false false str('-') int(-1) true false false true false false str('0') int(-1) true false false true false false int(-1) str('01') false true true false false false str('1') int(-1) true false false true false false str('false') int(-1) true false false true false false str('text') int(-1) true false false true false false str('true') int(-1) true false false true false false int(1) int(0) true false false true false false int(0) str('01') false true true false false false str('1') int(0) true false false true false false int(1) str("\0") true false false true false false str('') int(1) false true true false false false int(1) str('+') true false false true false false int(1) str('-') true false false true false false int(1) str('0') true false false true false false int(1) str('false') true false false true false false str('text') int(1) false true true false false false str('true') int(1) false true true false false false str('') str("\0") false true true false false false str('+') str("\0") true false false true false false str('-') str("\0") true false false true false false str("\0") str('0') false true true false false false str("\0") str('01') false true true false false false str('1') str("\0") true false false true false false str('false') str("\0") true false false true false false str('text') str("\0") true false false true false false str('true') str("\0") true false false true false false str('') str('+') false true true false false false str('') str('-') false true true false false false str('') str('0') false true true false false false str('') str('01') false true true false false false str('') str('1') false true true false false false str('') str('false') false true true false false false str('') str('text') false true true false false false str('') str('true') false true true false false false str('-') str('+') true false false true false false str('+') str('0') false true true false false false str('+') str('01') false true true false false false str('1') str('+') true false false true false false str('false') str('+') true false false true false false str('text') str('+') true false false true false false str('true') str('+') true false false true false false str('-') str('0') false true true false false false str('-') str('01') false true true false false false str('1') str('-') true false false true false false str('false') str('-') true false false true false false str('text') str('-') true false false true false false str('true') str('-') true false false true false false str('0') str('01') false true true false false false str('1') str('0') true false false true false false str('false') str('0') true false false true false false str('text') str('0') true false false true false false str('true') str('0') true false false true false false str('false') str('01') true false false true false false str('text') str('01') true false false true false false str('true') str('01') true false false true false false str('1') str('false') false true true false false false str('text') str('1') true false false true false false str('true') str('1') true false false true false false str('text') str('false') true false false true false false str('true') str('false') true false false true false false str('true') str('text') true false false true false false

$ A> $ b> $ c के उदाहरण जिसमें $ a सबसे अधिक $ c पर है

 A<C : float(NAN) > str('a') > str('') A<C : float(NAN) > str('a') > str('1') A<C : float(NAN) > str('a') > str('A') A<C : float(NAN) > str('a') > str('0') A<C : float(NAN) > str('1') > str('') A<C : float(NAN) > str('1') > str('0') A<C : float(NAN) > str('A') > str('') A<C : float(NAN) > str('A') > str('1') A<C : float(NAN) > str('A') > str('0') A<C : float(NAN) > str('0') > str('') A==C : str('') > float(NAN) > NULL(NULL) A===C : str('') > float(NAN) > str('') A<C : str('') > float(NAN) > str('a') A<C : str('') > float(NAN) > str('1') A==C : str('') > float(NAN) > bool(false) A<C : str('') > float(NAN) > str('A') A<C : str('') > float(NAN) > str('0') A==C : str('') > float(-INF) > NULL(NULL) A==C : str('') > float(-INF) > bool(false) A==C : str('') > int(-1) > NULL(NULL) A==C : str('') > int(-1) > bool(false) A==C : str('') > float(-1) > NULL(NULL) A==C : str('') > float(-1) > bool(false) A==C : array() > float(NAN) > NULL(NULL) A==C : array() > float(NAN) > bool(false) A==C : array() > float(INF) > NULL(NULL) A==C : array() > float(INF) > bool(false) A==C : array() > float(-INF) > NULL(NULL) A==C : array() > float(-INF) > bool(false) A==C : array() > str('a') > NULL(NULL) A==C : array() > str('a') > bool(false) A==C : array() > int(1) > NULL(NULL) A==C : array() > int(1) > bool(false) A==C : array() > float(1) > NULL(NULL) A==C : array() > float(1) > bool(false) A==C : array() > str('1') > NULL(NULL) A==C : array() > str('1') > bool(false) A==C : array() > str('A') > NULL(NULL) A==C : array() > str('A') > bool(false) A==C : array() > str('0') > NULL(NULL) A==C : array() > int(-1) > NULL(NULL) A==C : array() > int(-1) > bool(false) A==C : array() > float(-1) > NULL(NULL) A==C : array() > float(-1) > bool(false) A===C : str('a') > float(NAN) > str('a') A<C : str('a') > str('') > float(NAN) A<C : str('a') > str('1') > float(NAN) A==C : str('a') > str('1') > int(0) A==C : str('a') > str('1') > float(0) A<C : str('a') > str('A') > float(NAN) A<C : str('a') > str('0') > float(NAN) A==C : bool(true) > str('') > float(NAN) A==C : bool(true) > str('') > float(-INF) A==C : bool(true) > str('') > int(-1) A==C : bool(true) > str('') > float(-1) A==C : bool(true) > array() > float(NAN) A==C : bool(true) > array() > float(INF) A==C : bool(true) > array() > float(-INF) A==C : bool(true) > array() > str('a') A==C : bool(true) > array() > int(1) A==C : bool(true) > array() > float(1) A==C : bool(true) > array() > str('1') A==C : bool(true) > array() > str('A') A==C : bool(true) > array() > int(-1) A==C : bool(true) > array() > float(-1) A==C : bool(true) > int(0) > float(-INF) A==C : bool(true) > int(0) > int(-1) A==C : bool(true) > int(0) > float(-1) A==C : bool(true) > str('0') > float(NAN) A==C : bool(true) > str('0') > float(-INF) A==C : bool(true) > str('0') > int(-1) A==C : bool(true) > str('0') > float(-1) A==C : bool(true) > float(0) > float(-INF) A==C : bool(true) > float(0) > int(-1) A==C : bool(true) > float(0) > float(-1) A==C : int(1) > str('a') > str('1') A==C : int(1) > str('A') > str('1') A==C : float(1) > str('a') > str('1') A==C : float(1) > str('A') > str('1') A<C : str('1') > float(NAN) > str('a') A===C : str('1') > float(NAN) > str('1') A<C : str('1') > float(NAN) > str('A') A<C : str('1') > str('') > float(NAN) A<C : str('1') > str('0') > float(NAN) A<C : str('A') > float(NAN) > str('a') A===C : str('A') > float(NAN) > str('A') A<C : str('A') > str('') > float(NAN) A<C : str('A') > str('1') > float(NAN) A==C : str('A') > str('1') > int(0) A==C : str('A') > str('1') > float(0) A<C : str('A') > str('0') > float(NAN) A==C : int(0) > float(-INF) > NULL(NULL) A==C : int(0) > float(-INF) > bool(false) A==C : int(0) > int(-1) > NULL(NULL) A==C : int(0) > int(-1) > bool(false) A==C : int(0) > float(-1) > NULL(NULL) A==C : int(0) > float(-1) > bool(false) A<C : str('0') > float(NAN) > str('a') A<C : str('0') > float(NAN) > str('1') A==C : str('0') > float(NAN) > bool(false) A<C : str('0') > float(NAN) > str('A') A===C : str('0') > float(NAN) > str('0') A==C : str('0') > float(-INF) > bool(false) A<C : str('0') > str('') > float(NAN) A==C : str('0') > int(-1) > bool(false) A==C : str('0') > float(-1) > bool(false) A==C : float(0) > float(-INF) > NULL(NULL) A==C : float(0) > float(-INF) > bool(false) A==C : float(0) > int(-1) > NULL(NULL) A==C : float(0) > int(-1) > bool(false) A==C : float(0) > float(-1) > NULL(NULL) A==C : float(0) > float(-1) > bool(false)

मजेदार स्ट्रिंग तुलना: 'Queen' > 'King' > 'Jack' > 'Ace'

तुलना के लिए PHP में टाइप तुलना तालिका भी देखें:

isset() और is_null()
अगर () और खाली ()
== और === में अंतर

वह कोड जिसने गिट हब पर सूचियां बनाईं
PHP संस्करणों में अंतर: http://3v4l.org/MAfDu

PHP में तार्किक तुलना की विशेषताएं

सवाल

जवाब है

UPD: दूसरा जवाब

कुछ विशिष्ट तुलना

More articles: