从运营商T＆amp;（）中推导出const

Question

问题是不同的编译器产生不同的输出（clang / gcc），因此我认为这种用法是未定义的行为。但是我的目标是在分配引用时推断const。

输出：
clang-3.6 - ＆gt; not const
gcc-4.8.4 - ＆gt; 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

基于Ben Voight的想法的一种可能性

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;
};