“警告：并非所有控制路径都返回值”是什么意思？ (C++)

Question

我得到的确切警告是

warning C4715: "spv::Builder::makeFpConstant": not all control paths return a value

而spv::Builder::makeFpConstant 是

Id Builder::makeFpConstant(Id type, double d, bool specConstant)
{
        assert(isFloatType(type));

        switch (getScalarTypeWidth(type)) {
        case 16:
                return makeFloat16Constant(d, specConstant);
        case 32:
                return makeFloatConstant(d, specConstant);
        case 64:
                return makeDoubleConstant(d, specConstant);
        }

        assert(false);
}

谁能帮帮我？

Answer 1

assert 不算作控制流逻辑。这只是一个“记录”合同检查。在发布版本中它甚至不会发生！它只是一个调试工具。

因此，如果标量类型宽度不是 16、32 或 64，则剩下的函数会省略 return 语句。这意味着您的程序具有未定义的行为。警告告诉您，您需要在 所有 情况下返回某些内容，即使您认为其他情况不会在运行时发生。

在这种情况下，如果您通过switch 而不返回，我可能会抛出一个异常——这可能会像任何其他异常情况一样被处理。如果您不希望出现异常，另一种方法是自己调用std::terminate（这是断言最终将在调试版本中执行的操作）。

但是，终止是一种核选项，您真的不希望您的程序在生产中终止；您希望它通过您现有的异常处理渠道发出正确的诊断消息，以便当您的客户报告错误时，他们可以说“显然 makeFpConstant 得到了一个它没有预料到的值”并且您知道该怎么做。如果您不想将函数名称泄露给客户，那么您至少可以挑选一些只有您的团队/企业知道的“秘密”故障代码（并在内部记录下来！）。

不过，在调试版本中终止通常很好，所以也请留下 assert！或者只是依靠您现在拥有的异常，如果您没有捕获它，无论如何都会导致终止。

我可能会这样写函数：

Id Builder::makeFpConstant(
   const Id type,
   const double d,
   const bool specConstant
)
{
   assert(isFloatType(type));

   const auto width = getScalarTypeWidth(type);
   switch (width) {
      case 16: return makeFloat16Constant(d, specConstant);
      case 32: return makeFloatConstant(d, specConstant);
      case 64: return makeDoubleConstant(d, specConstant);
   }

   // Shouldn't get here!
   throw std::logic_error(
      "Unexpected scalar type width "
      + std::to_string(width)
      + " in Builder::makeFpConstant"
   );
}

Answer 2

嗯，警告信息准确地说明了问题所在。

如果NDEBUG 已定义（即asserts 被禁用）并且cases 均未使用，则控件在任何return 语句之前到达函数末尾（这导致未定义行为）。