फ़ंक्शन टेम्पलेट शीर्ष-स्तरीय कॉन्स के साथ घोषित पैरामीटर को संशोधित करता है: क्लैंग बग?

Question

नीचे दिया गया कोड ArchLinux पर clang 3.8.1-1 पर सही ढंग से संकलित करता है।

क्या यह clang बग है?

gcc इस पर सही चेतावनी/त्रुटि जारी करें।

template <class T> 
struct BugReproducer{ 
    using size_type = typename T::size_type; 

    int bug1(size_type count); 
    int bug2(size_type count) const; 
    static int bug3(size_type count); 
}; 

template <class T> 
int BugReproducer<T>::bug1(size_type const count){ 
    // this is a bug. must be not allowed 
    count = 5; 

    // return is to use the result... 
    return count; 
} 

template <class T> 
int BugReproducer<T>::bug2(size_type const count) const{ 
    // same for const method 
    count = 5; 
    return count; 
} 

template <class T> 
int BugReproducer<T>::bug3(size_type const count){ 
    // same for static method 
    count = 5; 
    return count; 
} 



struct DummyVector{ 
    using size_type = int; 
}; 



int main(){ 
    using BugRepr = BugReproducer<DummyVector>; 

    BugRepr reproducer; 

    auto a = reproducer.bug1(1); 
    auto b = reproducer.bug2(1); 
    auto c = BugRepr::bug3(1); 

    // return is to use the result... 
    return a + b + c; 
} 

यहाँ मैं कैसे संकलन:

[nmmm@zenbook HM3]$ clang x.cc -std=c++11 -lstdc++ -Wall -Wpedantic -Wconversion 

clang और c++14 - एक ही परिणाम।

[nmmm@zenbook HM3]$ clang x.cc -std=c++14 -lstdc++ -Wall -Wpedantic -Wconversion 

यहाँ जीसीसी उत्पादन होता है:

[nmmm@zenbook HM3]$ gcc x.cc -std=c++11 -lstdc++ -Wall -Wpedantic -Wconversion 
x.cc: In instantiation of ‘int BugReproducer<T>::bug1(BugReproducer<T>::size_type) [with T = DummyVector; BugReproducer<T>::size_type = int]’: 
x.cc:46:28: required from here 
x.cc:13:8: error: assignment of read-only parameter ‘count’ 
    count = 5; 
    ~~~~~~^~~ 
x.cc: In instantiation of ‘int BugReproducer<T>::bug2(BugReproducer<T>::size_type) const [with T = DummyVector; BugReproducer<T>::size_type = int]’: 
x.cc:47:28: required from here 
x.cc:22:8: error: assignment of read-only parameter ‘count’ 
    count = 5; 
    ~~~~~~^~~ 
x.cc: In instantiation of ‘static int BugReproducer<T>::bug3(BugReproducer<T>::size_type) [with T = DummyVector; BugReproducer<T>::size_type = int]’: 
x.cc:48:20: required from here 
x.cc:29:8: error: assignment of read-only parameter ‘count’ 
    count = 5; 
    ~~~~~~^~~ 

Answer 1

हाँ, यह बजना में एक बग है; https://llvm.org/bugs/show_bug.cgi?id=30365 पर दायर किया गया।

बग की प्रकृति है कि एक वर्ग टेम्पलेट सदस्य समारोह परिभाषा के बाहर दिखाई दे रहा ([class.mfct]/1) वर्ग टेम्पलेट, एक पैरामीटर के प्रकार के वर्ग टेम्पलेट मापदंडों पर निर्भर के साथ, बजना का उपयोग करता है है परिभाषा के पैरामीटर प्रकार के बजाय घोषणापत्र का पैरामीटर प्रकार जहां वे शीर्ष सीवी-योग्यता में भिन्न होते हैं। सरलीकृत उदाहरण:

template<class T> struct A { void f(typename T::U); }; 
template<class T> void A<T>::f(typename T::U const i) { i = 1; } 
struct X { using U = int; }; 
int main() { A<X>{}.f(0); } 

प्रति

[dcl.fct]/5 A<X>::f की परिभाषा के भीतर i के प्रकार int const (Use of 'const' for function parameters) है:

5 - [...] के उत्पादन के बाद पैरामीटर प्रकारों की सूची, किसी भी शीर्ष-स्तरीय सीवी-क्वालीफायर पैरामीटर प्रकार को संशोधित करते समय फ़ंक्शन प्रकार बनाते समय हटा दिया जाता है। [...] [नोट: यह परिवर्तन पैरामीटर के प्रकारों को प्रभावित नहीं करता है। [...] - अंत नोट]