在调用 C 函数的其他非抛出内联函数上添加 noexcept？

Question

我已经为一些 C 库实现了 C++ 绑定。库 API 调用可能会失败，但显然不能抛出任何东西；就这个问题而言，我的绑定都是内联的。

现在，对于我的大多数内联函数/方法，编译器可以确定不能抛出异常；例如，假设我有：

bool foo() { 
    auto result = wrapped_lib_foo(); 
    return some_constexpr_nothrow_cond(result); 
}

我应该用noexcept标记这些函数/方法吗？

注意事项：

• 不是Should I use noexcept for simple functions that obviously cannot throw? 的骗子，因为在这种情况下编译器不知道函数是否可以抛出；对于 C 函数 - 它确实知道。
• 更笼统的问题When should I really use noexcept? 的答案可能相互矛盾，此外，接受的答案来自 5 年前，并说“现在说还为时过早”。

Answer 1

即使wrapped_lib_foo 是extern "C" 函数，编译器也无法知道堆栈下方的某个位置wrapped_lib_foo 永远不会抛出，除非您明确告诉它。

还有一个事实是，标记函数noexcept 会明确告知您的听众该函数不会抛出。

所以是的，noexcept 是个好主意。

Answer 2

我认为当您知道函数不会抛出异常时，添加“noexcept”是一种很好的做法。这是因为如果 C 函数回调到 C++ 中，它可能会抛出异常。

是否允许回调 C++ 和 throw，似乎取决于编译器。我检查了两个编译器：

MSVC：有一个option，/EHs，其中：

仅捕获 C++ 异常的异常处理模型 告诉编译器假设声明为 extern "C" 的函数可以 抛出异常。

因此，如果指定了此选项，则编译器假定 C 函数可以抛出。

GCC：这是-fexceptions的文档：

启用异常处理。生成传播所需的额外代码 例外。对于某些目标，这意味着 GCC 会生成帧展开 所有功能的信息，可以产生大量数据 开销，虽然它不影响执行。如果您不指定 此选项，GCC 默认为 C++ 等语言启用它 通常需要异常处理，并为语言禁用它 像 C 通常不需要它。 但是，您可能需要 在编译需要互操作的 C 代码时启用此选项 正确使用用 C++ 编写的异常处理程序。您可能还希望 如果您正在编译不支持的旧 C++ 程序，请禁用此选项 使用异常处理。

因此，这意味着使用-fexceptions，GCC 编译可以抛出的 C 代码。但是请注意：当调用 C 函数时，编译器不知道 C 代码是否使用-fexceptions 编译。所以它必须假设，它是。因此，似乎 GCC 必须假设 C 代码可以抛出（另一种可能的方式可能是需要为 C++ 代码指定 -fexception 以告诉编译器调用的 C 代码可以扔，但-fexceptions 的文档没有这样说）。

注意：对于 GCC，从涉及 C 函数的调用堆栈中抛出，即使当前没有使用 -fexceptions 编译的 C 代码也可以工作。