将 BitmaskType 与零进行比较的正确方法？

Question

根据BitmaskType 概念，实现必须确保以下语句的格式正确：（列于§17.5.2.1.3.4）

如果表达式 X & Y 不为零，则在对象 X 中设置值 Y。

其中 X 和 Y 是概念类型 BitmaskType。

在 gcc 4.7 中尝试以下简单代码 sn-p 时出现模板推导错误：

#include <future>

int main() {
    (std::launch::async & std::launch::async) != 0;
}

错误：

error: no match for 'operator!=' in '(std::launch)1 != 0'
... followed by tons of deduction errors

这是 gcc 中的一个错误，还是我只是在这里出错了？如果是，执行此类检查的正确方法是什么？

我已经检查了 gcc 错误列表，但找不到任何涵盖该主题的内容。

Answer 1

enum 类的成员并不意味着隐式转换为 int，反之亦然。您可以确保将位掩码类型转换为 int 或使用 enum 类的零值。我认为后者更可取：

(std::launch::async & std::launch::async) != std::launch()

（我还在按位 and 操作周围添加了括号，因为它比比较具有更高的优先级，并且按位 and 具有位掩码类型的布尔值并没有多大意义）。

最简单的查看方法是 7.2 [enum.dcl] 第 9 段：

...请注意，没有为作用域枚举提供此隐式枚举到 int 的转换：...

但是，这属于非规范性示例。跟踪标准中作用域规则的规则可能需要排除所有允许转换并且目前不太喜欢这个练习的情况。