समारोह टेम्पलेट में आश्रित नाम लुकअप: बजना को खारिज कर दिया, जीसीसी स्वीकार करता

Question

निम्नलिखित टुकड़ा पर विचार करें:

struct X { }; 

namespace foo { 
    template <class T> 
    void bar() { T{} < T{}; } 

    void operator<(const X&, const X&) {} 
} 

int main() { 
    foo::bar<X>(); 
} 

बजना इस कोड को खारिज कर दिया, जीसीसी यह स्वीकार करता है। क्या यह एक जीसीसी बग है या यह एक क्लैंग बग है?

Answer 1

जीसीसी गलत है क्लैंग सही है। तथ्य यह है कि जीसीसी ने आपके द्वारा दिखाए गए अमान्य कोड को निगल लिया है, जिसका भी CLANG के संगतता पृष्ठ here में उल्लेख किया गया है।

अयोग्य नाम निम्नलिखित तरीकों से देखे जाते हैं।

1. कंपाइलर उस दायरे में अयोग्य लुकअप आयोजित करता है जहां नाम लिखा गया था। टेम्पलेट के लिए, इसका अर्थ यह है कि लुकअप उस बिंदु पर किया जाता है जहां टेम्पलेट परिभाषित किया गया है, जहां यह तत्काल नहीं है। चूंकि operator< इस बिंदु पर अभी तक घोषित नहीं किया गया है, अयोग्य लुकअप इसे नहीं मिलेगा।
2. यदि नाम को फ़ंक्शन की तरह कहा जाता है, तो संकलक तर्क-निर्भर लुकअप (एडीएल) भी करता है। (कभी-कभी अयोग्य लुकअप एडीएल को दबा सकता है; अधिक जानकारी के लिए [basic.lookup.argdep] अनुच्छेद 3 देखें।) एडीएल में, कंपाइलर कॉल के सभी तर्कों के प्रकारों को देखता है। जब इसे कक्षा के प्रकार मिलते हैं, तो वह उस वर्ग के नामस्थान में नाम देखता है; नतीजा यह है कि उन नामस्थानों में यह सभी घोषणाएं मिलती हैं, साथ ही अयोग्य लुकअप से घोषणाएं भी होती हैं। हालांकि, संकलक एडीएल नहीं करता है जब तक कि यह सभी तर्क प्रकारों को जानता न हो।

Answer 2

मेरा मानना ​​है कि यह एक जीसीसी बग है, जिसे 70099 के रूप में दायर किया गया है। [Temp.dep.res] से:

निर्भर नामों को हल करने के लिए, निम्न स्रोतों से नाम माना जाता है:
(1.1) - घोषणा कि टेम्पलेट की परिभाषा के बिंदु पर दिखाई दे रहे हैं।
(1.2) - तत्काल संदर्भ (14.6.4.1) और परिभाषा संदर्भ से दोनों फ़ंक्शन तर्कों के प्रकार से जुड़े नामस्थानों से घोषणाएं।

foo::operator<() टेम्पलेट की परिभाषा के बिंदु पर दिखाई नहीं देता है, और समारोह तर्क से एक संबद्ध नाम स्थान में नहीं है (X के जुड़े नाम स्थान सिर्फ वैश्विक नामस्थान :: है)। तो मुझे लगता है कि जीसीसी foo::operator< ढूंढना गलत है और कोड को अस्वीकार करने के लिए क्लैंग सही है।