क्यों एडीएल std :: के साथ सही फ़ंक्शन को हल नहीं करता है

Question

मैं एक टेम्पलेट फ़ंक्शन को कोड करने का प्रयास कर रहा हूं जो एक एडीएल का उपयोग करता है जो get को संरचना/श्रेणी (tuple -esque) के सदस्यों को लाने के लिए हल करता है।

#include <iostream> 
#include <utility> 
#include <tuple> 

int main() { 
    auto tup = std::make_tuple(1, 2); 
    std::cout << get<0>(tup) << std::endl; 
} 

मैं क्योंकि जो संरचित बाइंडिंग प्रस्ताव (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4659.pdf §11.5.3) कैसे get struct से तत्वों को लाने के लिए प्रयोग किया जाता है के बारे में कहते हैं की यह कर रहा हूं। यह कहता है कि गैर-सदस्य get का उपयोग संरचनाओं के भीतर तत्वों को लाने के लिए किया जाता है।

मैं मान लिया है कि कोड से ऊपर, संकलन होगा क्योंकि ADL कारण होगा get समारोह std नाम स्थान में लिए देखा जा करने के लिए (क्योंकि यह तर्क है प्रकार std::tuple<int, int>, जो std में है की है), जहां यह पाया की जाएगी। लेकिन, मुझे एक त्रुटि मिलती है। क्या कोई यहां सही दृष्टिकोण की व्याख्या कर सकता है और उपरोक्त कोड क्यों काम नहीं करता है? इस मामले में एडीएल कैसे हो सकता है?

Answer 1

समस्या अंततः टेम्पलेट्स है:

std::cout << get<0>(tup) << std::endl; 
//   ~~~~ 

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

using std::get; 
std::cout << get<0>(tup) << std::endl; // now, OK 

यहां तक ​​कि अगर यह होता है कुछ भी नहीं:

template <class T> void get(); 

int main() { 
    auto tup = std::make_tuple(1, 2); 
    std::cout << get<0>(tup) << std::endl; 
} 

संरचित बाध्यकारी शब्दों को स्पष्ट रूप से ऊपर get तर्क पर निर्भर देखने का उपयोग कर लगता है, इसलिए यह जरूरत से बचा जाता है get नामित पहले से दिखाई समारोह टेम्पलेट के लिए, [dcl.struct.bind] से:

यू nqualified-आईडीget वर्ग के सदस्य पहुंच देखने से E के दायरे में ऊपर देखा है, और है कि अगर कम से कम एक घोषणा पाता है, प्रारंभकर्ता e.get<i>() है। अन्यथा, प्रारंभकर्ता get<i>(e) है, जहां get संबंधित नामस्थानों में देखा गया है। किसी भी मामले में, get<i> को टेम्पलेट-आईडी के रूप में व्याख्या किया गया है। [नोट: सामान्य अयोग्य लुकअप नहीं किया जाता है। - अंत नोट]

नोट कुंजी है। अगर हमने अयोग्य लुकअप किया था, तो हम बस असफल हो जाएंगे।

Answer 2

तर्क आश्रित लुकअप for function templates where an explicit template argument is given समान तरीके से काम नहीं करता है।

हालांकि एक समारोह कॉल ADL भले ही साधारण देखने में कुछ भी नहीं, स्पष्ट रूप से निर्धारित टेम्पलेट तर्क के साथ एक समारोह टेम्पलेट के लिए एक समारोह कॉल पाता है के माध्यम से हल किया जा सकता की आवश्यकता साधारण द्वारा पाया टेम्पलेट की एक घोषणा है कि वहाँ देखने

मूल रूप से, वहाँ अयोग्य देखने एक टेम्पलेट समारोह को खोजने के लिए किसी तरह की जरूरत है (अन्यथा, यह में सिंटेक्स त्रुटि एक अज्ञात नाम एक से कम चरित्र के बाद का सामना करने के लिए है)। फिर, एडीएल लात मार सकता है (क्योंकि नाम get तब टेम्पलेट के रूप में जाना जाता है)। Cppreference एक उदाहरण देता है:

namespace N1 { 
    struct S {}; 
    template<int X> void f(S); 
} 
namespace N2 { 
    template<class T> void f(T t); 
} 
void g(N1::S s) { 
    f<3>(s);  // Syntax error (unqualified lookup finds no f) 
    N1::f<3>(s); // OK, qualified lookup finds the template 'f' 
    N2::f<3>(s); // Error: N2::f does not take a non-type parameter 
       //  N1::f is not looked up because ADL only works 
       //    with unqualified names 
    using N2::f; 
    f<3>(s); // OK: Unqualified lookup now finds N2::f 
      //  then ADL kicks in because this name is unqualified 
      //  and finds N1::f 
} 

संरचित बाइंडिंग एक विशेष मामला है, ADL सक्षम के साथ।

निम्नलिखित संदर्भों में ADL-केवल देखने (अर्थात, केवल जुड़े नामस्थान में देखने है) होता है:

• गैर सदस्य के देखने कार्यों शुरू करते हैं और द्वारा सीमा-के लिए प्रदर्शन किया सिरे लूप अगर सदस्य लुकअप
• टेम्पलेट त्वरण बिंदु से निर्भर नाम लुकअप विफल रहता है।
• गैर सदस्य समारोह के देखने टपल की तरह प्रकार के लिए संरचित बाध्यकारी घोषणा द्वारा किया जाता हो

^{जोर जोड़ा}