这是一个按位归约运算符。|a & b意味着您将逻辑或应用于a（产生单个位）的所有位，然后对该位和 进行逻辑与b。当是单个位|a时无效。a

尽管如此，将逐位归约应用于单个位值是很常见的。一种典型情况是自动生成的代码，其中的实际宽度a可能取决于配置。另一种可能性是这是a曾经有几个位的遗留代码。当a变成一个位值时，这条线在技术上仍然是正确的，所以现在不需要的归约运算符被保留了。