c++ - 在接口(interface)不是时标记派生实现 noexcept 的副作用是什么

Question

我们有一个实现 IUnknown(或我们不拥有的任何接口(interface))的类。我们开始用 noexcept 标记我们的大部分/所有方法以进行任何潜在的优化，因为我们无论如何都不会抛出任何异常；尽管我们依赖的一些库可能。提出了 QueryInterface/AddRef/Release 是否应该标记为 noexcept 的问题，因为接口(interface)不是。

当只有一些派生类被标记为 noexcept 时，是否有任何副作用或问题？

Answer 1

一般来说，您应该小心使用 noexcept。除非编译器可以证明该函数确实不会抛出任何异常，否则它必须插入一个动态处理程序以在出现异常时终止您的程序。因此，它不一定会导致您希望的优化。无论如何，将其添加到 AddRef、Release 和 QueryInterface 应该是安全的。

编辑

例如，考虑以下代码:

extern int Foo();

int Bar() noexcept
{
    return Foo();
}

这是 Clang 7.0 在 O3 上生成的内容:

Bar():                                # @Bar()
    push    rax
    call    Foo()
    pop     rcx
    ret
    mov     rdi, rax
    call    __clang_call_terminate
__clang_call_terminate:                 # @__clang_call_terminate
    push    rax
    call    __cxa_begin_catch
    call    std::terminate()

如果你删除 noexcept，你会得到这个:

Bar():                                # @Bar()
    jmp     Foo()                 # TAILCALL

在此示例中，主要效果只是使图像膨胀一点，但请注意对 Foo 的调用也变得有点低效。