असमानता के लिए वैक्टर की तुलना वेक्टर तत्वों पर केवल समानता ऑपरेटर का उपयोग करें। क्यूं कर?

Question

दोनों मेरी compilers (छ ++ और बजना) इस संकलन नहीं होगा:

#include <vector> 

struct A { 
    friend bool operator!=(A const& a1, A const& a2) { return false; } 
}; 

int main() 
{ 
    std::vector<A> v1, v2; 
    return (v1 != v2); 
} 

त्रुटि जा रहा है कि stl_algobase.h में कहीं !(*__first1 == *__first2) अमान्य है।

दूसरे शब्दों में, यह मौजूदा ऑपरेटर को पूरी तरह अनदेखा कर रहा है! = A का। यह कहने की जरूरत नहीं है कि अगर मैं operator== परिभाषित करता हूं तो यह संकलित करता है और काम करता है।

क्या यह मानक के अनुसार होना चाहिए?

यदि हां, तो क्यों?

Answer 1

ऐसा इसलिए है क्योंकि the comparison operatorsEqualityComparable या LessThanComparable प्रकार चाहते हैं।

केवल == और < के साथ, आप बराबर !=, <=, >=, और > प्राप्त कर सकते हैं। दूसरे शब्दों में, केवल 2 ऑपरेटरों को लागू करने से, आप सभी 6 तुलना (यह मानते हुए मैं तर्क में कोई गलती नहीं की है) प्राप्त कर सकते हैं:

(a != b) is !(a == b) 
(a <= b) is !(b < a) 
(a >= b) is !(a < b) 
(a > b) is (b < a) 

मानक कंटेनर आम तौर पर इस का उपयोग करें, और का उपयोग करेगा operator== और operator< जब प्रकार के लिए तुलना कर रहे हैं।

तो हाँ, ऐसा होना चाहिए जैसा कि होना चाहिए।

प्रश्न के दूसरे भाग के रूप में (क्यों), मैं वास्तव में पूरी तरह से यकीन नहीं क्यों अन्य ऑपरेटरों यदि उपलब्ध हो तो उपयोग नहीं किया जाता रहा हूँ।