带有返回的 if 语句代码样式

Question

假设我有这个功能：

inline bool fileExists(const char *name) {
  FILE *file;
  if (fopen_s(&file, name, "r") == 0)
  {
    fclose(file);
    return true;
  } else {
    return false;
  }
}

上面那个好还是这个更好？

inline bool fileExists(const char *name) {
  FILE *file;
  if (fopen_s(&file, name, "r") == 0)
  {
    fclose(file);
    return true;
  }

  return false;
}

编译时有区别吗？

Answer 1

这主要是见仁见智。 IMO 第二种形式更好，因为它总是提供返回值。如果您修改函数以在 else 子句中执行不同的操作，您可能会忘记添加返回值。在上面的示例中，生成的代码是相同的。

Answer 2

效率不是问题，不是。一个半体面的编译器会知道该怎么做。而对于这个简单的功能，逻辑上应该是一样的。但是对于更大的函数，逻辑更多，第二个稍微好一点，因为它保证函数总是返回。

要么这样，要么更喜欢单点返回（这不一定适用于这里，因为函数相对较小）。这可以帮助编译器生成更好、更高效的代码，在某些情况下（多个返回语句会阻碍 RVO）：

inline bool fileExists(const char *name) {
  FILE *file;
  bool exists = false;
  if (fopen_s(&file, name, "r") == 0)
  {
    fclose(file);
    exists = true;
  }
  return exists;
}

Answer 3

不，编译器的语义分析，以及之后的优化器，都会产生相同的目标代码。

Answer 4

在这种特殊情况下，绝对不是问题。 fopen 将花费几微秒（除非包含实际文件的目录没有被缓存，在这种情况下它是几毫秒），并且您担心是否有额外的跳转 - 这可能是 4-6 个时钟周期。

一般来说，我更喜欢“一个返回声明”，但它有时会变得很混乱，在这种情况下，我更喜欢你的第二个选项。几乎总是，代码会变成这样，因为“编译器”也更喜欢单个退出点：

bool fileExists(const char *name) {
  FILE *file;
  bool ret_val;
  if (fopen_s(&file, name, "r") == 0)
  {
    fclose(file);
    ret_val = true;
    goto end;
  }
  ret_val = false
end:
  return ret_val;
}

有时，如果代码非常复杂——尤其是如果代码“一开始很简单”然后变得复杂，编译器会从一个函数获得多个返回点，但上述情况是相当典型的。 [我不建议你在代码中使用goto'。编译器完全有能力发挥作用]

哦，我怀疑在这种情况下使用 inline 并不会对性能产生太大影响。