1

找不到与我的案例相关的答案，所以我将尝试解释我的情况：

我有以下代码：

enum Flags {
    OnlySpaces      = 1 <<  0,

    valComment      = 1 <<  1,
    valCommentBlock = 1 <<  2,
    valLabelName    = 1 <<  3,
    valVariableName = 1 <<  4,
    valFunctionName = 1 <<  5,

    invSyntax       = 1 << 32,

    fInVarLab       = valLabelName|valVariableName,
    fInIdentifier   = valLabelName|valVariableName|valFunctionName,
    fInCommentBlock = OnlySpaces|valCommentBlock,

    initState       = OnlySpaces|fInIdentifier|valComment,
};

int lexStatus = initState;

for (int i = 0; sc.More(); sc.Forward(), i++) {

    if (sc.atLineStart) {
        if (lexStatus & fInCommentBlock != fInCommentBlock) // Here is the problem
            sc.SetState(DEFAULT);

        lexStatus = initState;
    }
 ... // More code
 }

我的代码用于对文档进行词法分析，并且仅当我不在评论块中时才尝试执行操作。问题是，当我不在评论中时，上面的语句会返回完全相反的结果......

以下语句正确地完成了工作，但似乎相当违反直觉：

if (lexStatus & fInCommentBlock == fInCommentBlock)

所以问题是：

  • 为什么？为什么它的行为与我的预期完全相反？

由于运算符优先级if ((lexStatus & fInCommentBlock) != fInCommentBlock)修复了问题

  • 我正在接近正确的方式吗？
  • 有没有更好的办法？
  • 有没有办法确保每个标志都有不同的价值？

添加最后一个问题是因为出于某种原因lexStatus & fInCommentBlock，即使我没有在代码中的任何位置设置它们，也设置了一些位......

在此先感谢您的帮助！

4

1 回答 1

4

要解决您的第一个问题：您的问题是运算符优先级和对位运算符如何工作的理解。

if (lexStatus & fInCommentBlock == fInCommentBlock)

这仅对您有用，因为==优先级高于&所以fInCommentBlock == fInCommentBlock总是正确的，因此与 相同lexStatus & 1，与 相同lexStatus & OnlySpaces。lexStatus == initState当因为initState包含标志时，这将是正确的OnlySpaces。

有没有更好的办法？

您希望将按位比较抽象为一两个辅助函数。

int LexStatus_Is(int flags) { return (lexStatus & flags) == flags; }
int LexStatus_IsNot(int flags) { return (lexStatus & flags) != flags; }

然后你可以写：

if (LexStatus_IsNot(fInComment))

这会更直观。

于 2012-11-03T00:09:48.190 回答