ऑटो और static_casts - अच्छा अभ्यास

Question

स्कॉट मेयर की किताब प्रभावी आधुनिक C++ में हम, पढ़ सकते हैं कि:

std::vector<bool> features(const Widget& w); 
Widget w; 
… 
bool highPriority = features(w)[5]; 
… 
processWidget(w, highPriority); 

और ऑटो के साथ एक विकल्प

auto highPriority = features(w)[5]; 

जो वजह से, अपरिभाषित व्यवहार का कारण बनता है तथ्य यह है कि features()std::vector<bool> लौटा रहा है, जो opearator[] से मान लौटाते समय प्रॉक्सी ऑब्जेक्ट प्रकार std::vector<bool>::reference का उपयोग करता है।

इस समाधान के लिए auto का उपयोग न करने की सलाह दी जाती है, लेकिन static_casts का उपयोग करना बंद नहीं किया जाता है।

तो स्कॉट Meyers सलाह उपयोग करने के लिए:

auto highPriority = static_cast<bool>(features(w)[5]); 

के बजाय:

bool highPriority = features(w)[5]; 

मेरा प्रश्न है: उन दोनों के बीच कोई वास्तविक अंतर क्या है? मेरी राय में दोनों एक जैसे हैं, क्योंकि दोनों विधियां बिल्कुल वैसे ही कड़ी मेहनत कर रही हैं (फ़ंक्शन फीचर्स में रिटर्न वैल्यू टाइप बदलना चरम उच्च प्राथमिकता को एक अलग प्रकार नहीं बनाता है) और दूसरा लिखने के लिए छोटा है।

Answer 1

आप features के इंटरफेस पसंद नहीं है, तो आप एक सहायक समारोह में कुरूपता को छुपा सकते हैं

bool is_high_priority(const Widget& w) 
{ return features(w)[5]; } 

और अब उम्मीद के रूप में अपने

auto highPriority = is_high_priority(w); 

काम करता है।

Answer 2

features एक समारोह है कि एक std::vector<bool> रिटर्न के साथ

,

auto highPriority = features(w)[5]; 

भंडार एक तार्किक संदर्भ। संग्रहीत वस्तु एक वेक्टर को संदर्भित करती है जो अब मौजूद नहीं है। इसका उपयोग करने के बाद अपरिभाषित व्यवहार होता है।

इसके बजाय करते

bool const highPriority = features(w)[5]; 

या

auto const highPriority = !!features(w)[5]; 

या, के रूप में स्कॉट – सिफारिश की गई है लेकिन यह मेरी स्वाद – एक static_cast का उपयोग के लिए अभी तक बहुत वर्बोज़ है।

संग्रहीत वस्तु अब bool है।

एक ही घोषणा व्यक्त करने के इन तीन तरीकों के बीच कोई कार्यात्मक अंतर नहीं है। केवल अंतर ही गैर-कार्यात्मक हैं: मेरी राय में static_cast की अनावश्यक क्रियाशक्ति, और एक संभावना है कि !! एक सामान्य संकलक से प्रदर्शन के बारे में मूर्खतापूर्ण चेतावनी को दबा सकता है।

Answer 3

जब आप ऑटो का उपयोग करते हैं, तो ऑटो इसे उच्च प्राथमिकता द्वारा लौटाए गए प्रकार के रूप में घटा देता है जो एक बूल का संदर्भ है।बात यह है कि, उच्च प्राथमिकता एक बूल का संदर्भ नहीं देती है लेकिन एक std :: vector :: संदर्भ वस्तु। ('संदर्भ' std :: वेक्टर के अंदर एक नेस्टेड कक्षा है)। std :: vector :: संदर्भ एक "प्रॉक्सी क्लास" है, एक वर्ग जो किसी अन्य प्रकार के व्यवहार को अनुकरण करता है। न केवल यह एक प्रॉक्सी वर्ग है बल्कि एक "अदृश्य" प्रॉक्सी वर्ग है। इस तरह के वर्ग ऑटो के साथ अच्छी तरह से काम नहीं करते हैं। ऑटो अदृश्य प्रॉक्सी वर्ग के प्रकार को सही ढंग से कम नहीं कर सकता है। लेकिन static_cast एक ऊन में उच्च प्राथमिकता रूपांतरण को मजबूर करता है। यह अपरिभाषित व्यवहार से बचाता है।