क्या क्लास टेम्पलेट कक्षा टेम्पलेट गैर-निर्भर सदस्य चर में आवश्यक है?

Question

मुझे संकलित त्रुटि मिली "त्रुटि: 'टेम्पलेट' कीवर्ड का उपयोग 'foo' को एक आश्रित टेम्पलेट नाम के रूप में करने के लिए करें" जब मैं टिप्पणी पंक्ति पर निम्न कोड संकलित करता हूं। (test4)

कोड के सभी अन्य हिस्सों को सफलतापूर्वक संकलित किया गया है।

#include <tuple> 

struct my { 
    template <typename T> 
    void foo() {} 
}; 

void test1() { 
    my m; 
    auto tr = std::forward_as_tuple(m); 
    auto& t0 = std::get<0>(tr); 
    t0.foo<int>(); 
} 

template <typename T> 
struct test2 { 
    void method() { 
     my m; 
     auto tr = std::forward_as_tuple(m); 
     auto& t0 = std::get<0>(tr); 
     t0.foo<int>(); 
    } 
}; 

template <typename T> 
struct test3 { 
    void method() { 
     m.foo<int>(); 
    } 
    my m; 
}; 

template <typename T> 
struct test4 { 
    void method() { 
     auto tr = std::forward_as_tuple(m); 
     auto& t0 = std::get<0>(tr); 
     t0.foo<int>();   // error: use 'template' keyword to treat 'foo' as a dependent template name 
     t0.template foo<int>(); // OK 
    } 
    my m; 
}; 

template <typename T> 
struct test5 { 
    void method() { 
     std::tuple<my> tr = std::forward_as_tuple(m); 
     auto& t0 = std::get<0>(tr); 
     t0.foo<int>(); 
    } 
    my m; 
}; 

template <typename T> 
struct test6 { 
    void method() { 
     auto tr = std::forward_as_tuple(m); 
     my& t0 = std::get<0>(tr); 
     t0.foo<int>(); 
    } 
    my m; 
}; 


int main() { 
    test1(); 
    test2<int>().method(); 
    test3<int>().method(); 
    test4<int>().method(); 
    test5<int>().method(); 
    test6<int>().method(); 
} 

test4 एक वर्ग टेम्पलेट है लेकिन मीटर गैर निर्भर प्रकार है।

मैंने जीसीसी और क्लैंग को संकलित करने की कोशिश की। जीसीसी 7.1.0 त्रुटियों की रिपोर्ट नहीं करते हैं, लेकिन क्लैंग 4.0 और बाद में संकलन त्रुटि की रिपोर्ट करते हैं।

त्रुटि

https://wandbox.org/permlink/HTSBJMD2kXwfWObl (बजना 4.0) https://wandbox.org/permlink/BcUT8gtaFxwC41c5 (बजना HEAD)

कोई त्रुटि

https://wandbox.org/permlink/GjIvZa3i5HB8uh6w (जीसीसी 7.1.0)

कौन सा सही व्यवहार है?

Answer 1

मैं आपके संदेह से सहमत होने जा रहा हूं। यह वास्तव में एक झुकाव बग है।

template आवश्यक है यदि केवल t0 एक आश्रित नाम है। विशेष रूप से, यह आवश्यक है यदि t0T पर निर्भर करता है। और में T है।

अब, t0my m पर निर्भर करता है, और वहाँ एक my::foo<T> है, लेकिन वह एक अलग दायरे में एक असंबंधित T है। इसके अतिरिक्त, t0my::foo<T> पर निर्भर नहीं है।