C - 检查一个变量是否是许多选项中的 *none* 的最简洁方法？

Question

背景：

通常，我们开发人员必须检查单个变量是否至少是多个选项之一。例如，

if ( (data == 125) || (data == 500) || (data == 750) )
{
    /* ... do stuff ...*/
}

建议 here（尽管是用 C# 编写的）提供了一个优雅的解决方案，可以像这样使用 switch 语句，

switch ( data )
{
    case 125:
    case 500:
    case 750:
        /* ... do stuff ...*/
        break;

    default:
        /* ... do nothing ... */
        break;
}

这适用于“或”条件，但对于否定的“或”条件则很难看，如下所示，

if ( !( (data == 125) || (data == 500) || (data == 750) ) )
{
    /* ... do stuff ...*/
}

可以写成

switch ( data )
{
    case 125:
    case 500:
    case 750:
        /* ... do nothing ... */
        break;

    default:
        /* ... do stuff ...*/
        break;

}

而且看起来有点老套。

问题：

是否有更简洁的方法来检查单个变量是否没有多个选项，例如上面的否定“或”条件？

参考资料：

• C++ Most efficient way to compare a variable to multiple values?
• C#Comparing a variable to multiple values

Answer 1

我认为后者很好。

不过，您可以将其形式化得更好：

static bool in_sprawling_set(int data)
{
  switch ( data )
  {
    case 125:
    case 500:
    case 750:
        return true;
  }
  return false;
}

然后你想在哪里工作：

if(!in_sprawling_set(data))
{
  /* do the work, not in set */
}

这将“集合”逻辑置于其自己的函数中，使其具有适度的自我记录性，并且由于! 变得更加突出并且最终的if 非常易读，因此实际使用位置更加清晰（“如果不在庞大的集合中”）。

注意：如果值的数量真的很大，我可能会使用预排序数组和二进制搜索，而不是巨大的switch。我意识到一个足够聪明的编译器可以自己完成这种转换，但是一个巨大的switch 的可读性会相当低（特别是如果你想每行只放一个case）。搜索有bsearch()：

static int cmp_int(const void *ap, const void *bp)
{
  const int a = *(const int *) ap, b = *(const int *) bp;
  return a < b ? -1 : a > b;
}

static bool in_sprawling_set(int data)
{
  static const int values[] = { 125, 500, 750 };
  return bsearch(&data, values, sizeof values / sizeof *values, sizeof *values, cmp_int) != 0;
}

有很多样板，但您可以看到列出实际值的部分（唯一会随着更多值的添加而增长的部分）更加紧凑。

Answer 2

你总是可以使用德摩根定律来简化表达式，而不是否定条件

if (data != 125 && data != 500 && data != 750) ...

Answer 3

有没有更简洁的方法来检查单个变量是否不是许多选项中的一个？

switch() 语句当然是一个很好的解决方案。

作为替代方案，如果产品没有溢出，代码可以使用单个分支测试：

unsigned data = foo();
if ( (data - 125) * (data - 500) * (data - 750) ) {
  /* ... do stuff as long as data is not 125, 500  or 750 ...*/
}

如果它更清楚 - 不是真的，它比switch() 快吗？ 它有潜力。