转换运算符重载

Question

我想区分 &、* 和值之间的模板转换运算符：

struct S
{
    template <class T>
    constexpr operator T()
    {
        return value;
    }
    template <class T>
    constexpr operator T&()
    {
        return value;
    }
    template <class T>
    constexpr operator T*()
    {
        return &value;
    }
    int value;
} s{5};

int main()
{
    uint32_t ui = s; // error:  error C2440: 'initializing': cannot convert from 'S' to 'uint32_t
}

如果我删除 constexpr operator T&() 代码编译并且 ui = s 调用 constexpr operator T() 运算符。但是为什么？

当我将显式说明符添加到这些函数时，我也会遇到奇怪的行为。

看起来转换运算符的行为与正常重载不同。有人可以解释一下吗？

PS: 我用的是 VS2017

Answer 1

由于 value 是 int 类型，创建到模板参数引用类型的模板转换没有意义。如果类型不是 int，则在尝试将 int 对象强制为其他类型的引用时会出现语义错误。

将引用转换重新定义为正确的类型：

constexpr operator int&()
{
    return value;
}
constexpr operator const int&() const
{
    return value;
}

转换运算符重载

Conversion operator overloading

c++

overloading

function-templates

conversion-operator