c++ - 禁用对异常的支持是否也会禁用对 `std::move_if_noexcept` 的支持？

Question

一些商店(例如，一些视频游戏开发团队)在其构建环境中禁用对异常的支持。如果禁用异常，开发人员将没有理由声明他们的 move 操作 noexcept (假设这样的代码甚至可以编译)。但是标准库实现应该调用 std::move_if_noexcept在实现某些操作时(例如， std::vector::push_back )。标准库实现是否通常在编译期间检查以查看异常是否被禁用，如果是，则使用 std::move而不是 std::move_if_noexcept ?编译器是否会导致 std::is_nothrow_move_constructible禁用异常时为所有类型返回true？或者禁用对异常的支持是否会产生意外的副作用 std:move_if_noexcept无法启用 move 操作？

我对实践中发生的事情很感兴趣。我知道禁用对异常的支持会使我们脱离 C++ 标准的领域。

Answer 1

此代码输出 false true false true在 GCC 4.9 和 clang 3.5 上启用或不启用异常:

void foo() {}
void bar() noexcept {}
void foo2() noexcept(noexcept(foo())) {}
void bar2() noexcept(noexcept(bar())) {}

int main() {
    std::cout << std::boolalpha << noexcept(foo()) << ' ' << noexcept(bar())
        << ' ' << noexcept(foo2()) << ' ' << noexcept(bar2()) << std::endl;    
}

Demo

所以它看起来像 noexcept至少对于这两个编译器，行为不依赖于编译器选项。

更新:VS2013 doesn't support noexcept at all .