C++ 检查显式返回

在 C++ 中，在函数中没有显式的 return 语句是合法的。然而，在一些情况下，这可能意味着有缺陷的代码。由于代码的可读性，维护和调试请使用显式返回。在这个文章中，我们将了解如何检查到缺失的显式返回，并避免这种情况的出现。

问题的描述

假设我们有一个简单的函数，例如下面的一个函数：

int foo(int x) {
  if (x > 0) {
    return 1;
  }
}

这个函数的目标是返回一个整数。如果 x > 0 不正确，则返回一个无效的值。

上面的函数有一个问题：如果 x <= 0，则没有 return 语句。虽然这在 C++ 中是合法的，但是这段代码可能含有缺陷。当你调用一个没有显式 return 语句的函数时，你将面临错误或者是未定义的行为。

检测缺失的显式返回

许多工具可以检测到C ++代码中的漏返回错误。两个最常用的工具是 Clang 和 GCC。这两个工具提供了一个特定的变量属性可以用来检查函数中是否有显式的返回值语句。

可以通过将 __attribute__((warn_unused_result)) 和 [[nodiscard]] 添加到函数声明中来检测函数是否有显式的返回声明。

例如，上面的代码片段可以如下所示：

[[nodiscard]] int foo(int x) __attribute__((warn_unused_result)) {
  if (x > 0) {
    return 1;
  }
}

避免缺失的显式返回

为了避免缺失的显式返回，我们可以采用几种方法来确保程序的正确性：

1. 将编译器的警告开启

编译器可以检测到未显式返回的函数。因此，我们应该开启编译器的相关警告。在 GCC 中，可以使用 -Wall -Werror -Wextra -Wpedantic 选项来开启所有警告。在 Clang 中，可以使用 -Weverything -Wno-c++98-compat -Werror 来开启所有警告。

2. 使用断言

我们可以使用 assert 来检查我们是否在预期的情况下得到了返回值。如果一些条件不正确，函数将关闭并终止程序。

int foo(int x) {
  assert(x > 0);
  return 1;
}

结论

今天我们了解了在 C++ 中显式返回的重要性。我们讨论了如何检查函数是否有显式的返回声明，并提供了一些避免缺失显式返回的方法。确保代码的可读性，维护和调试，我们应该尽量使用显式返回。