g++警告：无符号表达式的比较 < 0 始终为假

Question

为了编译我的 C++ 代码，我使用 -W 标志，这会导致警告：

警告：无符号表达式的比较

0 始终为假

我相信这被认为是一个错误，并在 GCC 4.3 版本上修复，但我使用的 GCC 4.1

代码显然在这里有问题：

void FieldGroup::generateCreateMessage (const ApiEvent::GroupData &data, omsgstream &result) const {
  dblog << debug;

  // Write out the data fields we care about, in the order they were specified
  for (size_t index = 0; index < fields.size(); ++index) {
    size_t esIndex = clsToES[index];
    if (esIndex < 0 || esIndex >= data.fields.length()) {
      ostringstream buf;
      buf << "Invalid field " << index << " (index in ES data set " << esIndex << ", " << data.fields.length() << " fields returned)";
      throw InvalidDataException (buf.str());
    }
    fields[index].writeData (data.fields[esIndex], result);
  }
}

警告我得到：

dbtempl.cpp: 在成员函数 'void ECONZ::FieldGroup::generateCreateMessage(const nz::co::econz::eventServer::ApiEvent::GroupData&, ECONZ::omsgstream&) const' 中： dbtempl.cpp:480: 警告：无符号表达式的比较 < 0 始终为假

我怎样才能阻止这些警告出现？我不想删除 -W 标志。

Answer 1

您正在测试正值是否低于 0。

size_t 是无符号的，因此至少为 0。

这种情况永远不会发生，编译器只需删除测试即可优化问题。此警告是为了告诉您，因为如果有人这样做，则可能是一个错误。

对于你的情况，你可能只是删除测试，应该没问题。

Answer 2

size_t 是无符号整数类型。因此，编译器认为比较 <; 0 将始终为 false（标准确实指定了发生溢出时 2 的补码换行）。您应该去掉该比较，因为它是无操作的（并且编译器可能不会为其生成任何代码）。

无符号整数，声明为无符号，应遵循算术模 2n 的法则，其中 n 是数字
该特定大小的整数的值表示中的位数。⁴⁶

以及相应的脚注：

46) 这意味着无符号
算术不会溢出，因为
无法表示的结果
结果无符号整数类型是
对 1 进行模减
大于最大值
可以用结果表示
无符号整数类型。

Answer 3

修改字符esIndex < 0 ||

这部分代码对机器来说完全没有意义，这就是编译器警告你的原因 - “你打算做别的事情吗？”。

Answer 4

我怎样才能阻止这些警告的出现？我不想删除 -W 标志。

:|

只要更正你的代码，警告就会消失……这就是这个想法……

警告是为了帮助你生成正确、更干净、更高效的代码。