类中的布尔方法''控件可能到达非无效函数的结尾''

Question

所以，我有一个名为 Vuelo 的类，它有一个方法可以将乘客添加到飞机航班中，我必须检查乘客 id 是否已经在数组中（数组最初是全零)，我还必须检查是否有足够的空间来添加其他乘客（最多 10 人）

bool Vuelo :: agregarPasajero(int id)
{
   int i = 0;

for(int iC = 0; iC < 10; iC++)
{
    if (listaPasajeros[iC] == id)
    {
        i++;
        return false;
    }
}

if(i == 0)
{
    if(cantidadPasajeros >= 10)
    {
        return false;
    }
    else
    {
        return true;
        cantidadPasajeros++;
    }
  }
 }

Answer 1

如果 i 不为零，则无需任何类型的 return 语句即可到达函数的末尾。由于您声明该函数始终返回 bool，因此您应该为这种情况提供一个。

现在，您可能知道我在那个地方永远不会为零，但其逻辑相当复杂（我在第一次阅读时错过了它），并且不能指望编译器意识到实际上没有控制流到达函数末尾而不遇到返回的机会。在这种情况下，最好添加一个虚拟返回。

如果您删除虚假的i == 0 测试，您可能会侥幸逃脱没有虚拟回报。那时 i 必然总是为零，因为如果它曾经增加，函数会立即返回 false。

语句cantidadPasajeros++; 永远不会被执行，因为它位于return 语句之后。任何半途而废的编译器也会对此发出警告。