ऑपरेटर टी से डीडिंग कॉन्स()

Question

समस्या यह है कि विभिन्न कंपाइलर अलग आउटपुट (क्लैंग/जीसीसी) उत्पन्न करता है और इसलिए मुझे लगता है कि यह उपयोग अपरिभाषित व्यवहार है। हालांकि मेरा लक्ष्य संदर्भ निर्दिष्ट करते समय const को कम करना है।

साथ आउटपुट:
बजना-3.6 ->not const
जीसीसी-4.8.4 ->const

#include <iostream> 
#include <type_traits> 

struct AnyReference { 

    template <typename RT> AnyReference(RT &a_var) : _ptr(&a_var) {} 

    template <typename T> operator T &() const 
    { 
     if (std::is_const<T>::value) { 
      std::cout << "const\n"; 
     } 
     else { 
      std::cout << "not const\n"; 
     } 
     return *reinterpret_cast<T *>(_ptr); 
    } 
    void *_ptr; 
}; 

int main() 
{ 
    int i(5); 
    AnyReference a(i); 
    const int &c = a; 
} 

Answer 1

एक संभावना यह बेन वाइट के विचार पर आधारित

struct AnyReference { 

    template <typename RT> AnyReference(RT &a_var) : _ptr(&a_var) {} 

    template <typename T> operator T &() const { return operatorTand<T>(); } 

    template <typename T> operator const T &() const 
    { 
     return operatorTand<const T>(); 
    } 

    private: 
    template <typename T> T &operatorTand() const 
    { 
     if (std::is_const<T>::value) { 
      std::cout << "const\n"; 
     } 
     else { 
      std::cout << "not const\n"; 
     } 
     return *reinterpret_cast<T *>(_ptr); 
    } 

    void *_ptr; 
};