我写了一个简单的Flags
类,但我的运算符定义面临问题。看起来我依赖于一些不存在的隐式转换规则。
enum class SomeEnum { ONE, TWO, THREE };
template<typename Enum>
class Flags {
Flags(const Flags& f) { };
Flags(Enum e) { };
Flags& operator |=(Flags<Enum> f) {
//...;
return *this;
}
};
template<typename Enum>
Flags<Enum> operator |(Enum a, Flags<Enum> b) { return b | a; }
template<typename Enum>
Flags<Enum> operator |(Flags<Enum> a, Enum b) { return a |= b; }
int main() {
Flags<SomeEnum> flags = SomeEnum::ONE | SomeEnum::TWO;
return 0;
}
编译时出现此错误:
implicit.cpp: In function ‘int main()’:
implicit.cpp:26:40: error: no match for ‘operator|’ (operand types are ‘SomeEnum’ and ‘SomeEnum’)
Flags<SomeEnum> flags = SomeEnum::ONE | SomeEnum::TWO;
我的理解是,SomeEnum
之一s 隐式转换为 Flags<Enum>
,然后传递给正确的运算符(operator)。我缺少什么规则?
编辑:
我看过https://stackoverflow.com/questions/9787593
,但建议的解决方案(非成员 friend 运营商)没有解决我的问题。
我确实删除了全局定义并添加了这些成员:
friend Flags operator |(Enum a, Flags b) { return b | a; }
friend Flags operator |(Flags a, Enum b) { return a |= b; }
但错误仍然相同( live demo )。
最佳答案
为了知道SomeEnum
可转换为Flags<SomeEnum>
它已经必须推断出 Enum
模板参数为 SomeEnum
,但它无法从参数中推断出这一点,因为它们都不匹配 Flags<Enum>
.
即模板参数推导必须在检查到另一种类型的转换之前进行。
您可以调整函数,以便只有一个参数参与参数推导:
template<typename T> struct nondeduced { using type = T; }
template<typename Enum>
Flags<Enum> operator |(Enum a, Flags<typename nondeduced<Enum>::type> b)
或等效的:
template<typename E> struct FlagType { using type = Flags<E>; }
template<typename Enum>
Flags<Enum> operator |(Enum a, typename FlagType<Enum>::type b);
这使用 Enum
模板参数在非推导上下文中,因此仅使用另一个参数进行推导。
但是这样做之后,您现在的重载不明确,因为编译器无法知道您是否想要转换第一个参数,还是第二个参数。
您需要添加一个需要两个 SomeEnum
的重载类型,并执行到 Flags<SomeEnum>
的转换明确地。如果枚举类型应该与 operator|
一起使用那么它应该定义该运算符本身。
另一个不涉及更改枚举类型的选项是添加一个帮助器,将枚举器变成 Flags
对象:
template<typename Enum>
inline Flags<Enum> flags(Enum e) { return Flags<Enum>(e); }
那么你可以说SomeEnum::TWO | flags(SomeEnum::TWO)
这避免了歧义。
关于c++ - 隐式转换未按预期工作,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47230960/