我想区分 &、* 和值之间的模板转换运算符:
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
由于value
的类型是 int
,因此创建模板转换为模板参数引用类型没有意义。如果类型不是 int
,则会出现试图将int
对象强制引用到某种其他类型的引用的语义错误。
将引用转换重新定义为正确的类型:
constexpr operator int&()
{
return value;
}
constexpr operator const int&() const
{
return value;
}