从运算符T&()中推导出const

Question

问题是不同的编译器产生不同的输出(clang/gcc),因此我认为这种用法是未定义的行为.但是我的目标是const在分配参考时推断.

输出:
clang-3.6 - > not const
gcc-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

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