क्या Bjarne ADL के इस उदाहरण के बारे में गलत है, या क्या मेरे पास कंपाइलर बग है?

Question 1

मैं C ++ प्रोग्रामिंग लैंग्वेज, 4th एडिशन ( Bjarne Stroustrup द्वारा ) के बारे में पढ़ रहा हूँतर्क पर निर्भर-देखने। यहाँ बोली (26.3.6, अतिशयोक्तिपूर्ण ADL) है:

तर्क-निर्भरता देखने (अक्सर ADL के रूप में संदर्भित) वर्बोसिटी (14.2.4) से बचने के लिए बहुत उपयोगी है। उदाहरण के लिए:
#include <iostream>

int main()
{
    std::cout << "Hello, world" << endl; // OK because of ADL
}
तर्क-निर्भर लुकअप के बिना, endlमैनिपुलेटर नहीं मिलेगा। यह, संकलक नोटिस के रूप में करने के लिए कि पहले तर्क <<एक है ostreamमें परिभाषित किया std। इसलिए, यह खोजता endlहै stdऔर इसे (में <iostream>) पाता है ।

और यहाँ संकलक द्वारा उत्पादित परिणाम (C ++ 11 मोड):

prog.cpp: In function ‘int main()’:
prog.cpp:4:36: error: ‘endl’ was not declared in this scope
 std::cout << "Hello, world" << endl;
                                ^

या तो यह कंपाइलर या किताब में एक बग है। मानक क्या कहता है?

अपडेट करें:

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

Question 2

यह संकलक में बग नहीं है। ADL का उपयोग कार्यों को देखने के लिए किया जाता है न कि तर्कों के लिए । operator<<एडीएल के माध्यम से यहां पाया जाने वाला कार्य मापदंडों std::coutऔर (क्या होना चाहिए) को देखकर है std::endl।

Question 3

यह कहने वालों के लिए यह टाइपो नहीं है। या तो बज़्ने ने गलती की या कंपाइलर ने इसे गलत बताया। ओपी द्वारा पोस्ट एक के बाद पैराग्राफ पढ़ता है

तर्क-निर्भर लुकअप के बिना, एंडल मैनिपुलेटर नहीं मिलेगा। जैसा कि यह है, संकलक ने नोटिस किया कि << का पहला तर्क एसटीडी में परिभाषित एक ओस्ट्रीम है। इसलिए, यह एसटीडी में एंडल के लिए दिखता है और इसे (में <iostream>) पाता है ।

Question 4

यह पुस्तक में एक टाइपो है क्योंकि अन्य लोग पहले ही बता चुके हैं। हालाँकि, इस पुस्तक का क्या मतलब है, यह हमें लिखना होगा

std::operator<<(std::cout, "Hello, world").operator<<(std::endl);

ADL के बिना। यही बज्ने का मतलब क्रिया से है।

मुझे सही साबित होना है। जैसा कि लाचलैन ईस्टन बताते हैं, यह टाइपो नहीं है, बल्कि पुस्तक में एक गलती है। मेरे पास इस पुस्तक तक पहुंच नहीं है, इसलिए मैं उस अनुच्छेद को नहीं पढ़ सका और इसे स्वयं महसूस कर सका। मैंने बज्ने को यह गलती बताई है ताकि वह इसे सुधार सके।

मजेदार। ऐसा ही उदाहरण विकिपीडिया और पर है

ध्यान दें कि std::endlयह एक फ़ंक्शन है लेकिन इसे पूर्ण योग्यता की आवश्यकता है, क्योंकि इसका उपयोग एक तर्क के रूप में किया जाता है operator<<( std::endlयह फ़ंक्शन पॉइंटर है, फ़ंक्शन कॉल नहीं है)।

इसमें कोई शक नहीं, यह पुस्तक में एक गलती है। फिर भी उदाहरण से std::operator<<(std::cout, "Hello, world").operator<<(std::endl);पता चलता है कि ADL कैसे क्रिया को कम करने में मदद करता है।

मेरी गलती को इंगित करने के लिए gx_ का धन्यवाद ।

Question 5

संकेत "तर्क-निर्भर लुकअप" नाम में है।

यह अयोग्य फ़ंक्शन नामों के लिए खोज है, जो तर्कों के आधार पर काम करता है ।

यह तर्क के लिए देखने के साथ कुछ नहीं मिला है।

बज्ने चूक।

Question 6

मेरे पास पुस्तक नहीं है, लेकिन यह पुस्तक में एक त्रुटि प्रतीत होती है, तथ्य यह है कि यह नामस्थान योग्यताधारी गायब है इसका ADL से कोई लेना-देना नहीं है। यह होना चाहिए std::endl।

Question 7

हां, यह एक त्रुटि है - उदाहरण बीमार है और इसका संकलन नहीं किया जाना चाहिए। ADL फ़ंक्शन कॉल अभिव्यक्तियों को लागू करने वाले अयोग्य सूची नामों पर लागू होता है। endlदेखने के लिए एक आईडी-अभिव्यक्ति का प्रयास है std::endl। endlएक फ़ंक्शन कॉल अभिव्यक्ति पेश नहीं करता है इसलिए तर्क-निर्भर लुकअप का उपयोग इसके लिए नहीं किया जाता है, केवल अयोग्य लुकअप का उपयोग किया जाता है, इसलिए यह std::endlइच्छित के रूप में नहीं मिलेगा ।

एक सरल और सही उदाहरण होगा:

#include <vector>

int main()
{
    std::vector<int> x, y;
    swap(x,y); // calls std::swap due to ADL
}

सारांश में, f(x,y,z)एक अयोग्य आईडी (जैसे ) के साथ एक फ़ंक्शन कॉल (जैसे ) से fपहले देखा जाता है, पहले फ़ंक्शन (जैसे x,y,z) के मापदंडों का विश्लेषण उनके प्रकार को निर्धारित करने के लिए किया जाता है। प्रकारों के आधार पर संबद्ध नामस्थानों की एक सूची बनाई जाती है (उदाहरण के लिए प्रकार की परिभाषा का संलग्न नामस्थान एक संबद्ध नामस्थान है)। इन नामस्थानों को तब फ़ंक्शन के लिए अतिरिक्त रूप से खोजा जाता है।

बज्ने के उदाहरण का उद्देश्य std::operator<<फ़ंक्शन के एडीएल को दिखाना है , और नहीं std::endl। इसके लिए एक अतिरिक्त समझ की आवश्यकता होती है कि अतिभारित ऑपरेटर वास्तव में फ़ंक्शन कॉल अभिव्यक्तियाँ हैं, इसलिए x << yइसका मतलब है operator<<(x,y), और operator<<एक अयोग्य नाम है, और इसलिए ADL इस पर लागू होता है। LHS का प्रकार std::ostreamइतना stdसंबद्ध नाम स्थान है, और इसलिए std::operator<<(ostream&, ...)पाया जाता है।

सुधरी हुई कमेंट्री पढ़नी चाहिए:

तर्क-निर्भर लुकअप के बिना, नामस्थान <<में ओवरलोड ऑपरेटर stdनहीं मिलेगा। जैसा कि यह है, संकलक ने नोटिस किया कि << का पहला तर्क एसटीडी में परिभाषित एक ओस्ट्रीम है। इसलिए, यह <<std में ऑपरेटर की तलाश करता है और इसे (में <iostream>) पाता है ।