禁用对异常的支持是否也会禁用对“std::move_if_noexcept”的支持？

Question

一些商店（例如，一些视频游戏开发团队）在其构建环境中禁用对异常的支持。禁用异常后，开发人员将没有理由声明他们的移动操作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或者禁用对异常的支持是否会产生无法启用移动操作的意外副作用？

我对实践中发生的事情感兴趣。我知道禁用异常支持会让我们脱离 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;    
}

演示

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

更新：VS2013根本不支持noexcept.