对于具有抛出复制构造函数和noexcept-by-value复制赋值的类，is_nothrow_copy_assigna

根据C++标准，以下程序的预期输出(如果有的话)是什么：

#include <iostream>
#include <iomanip>
#include <type_traits>
class A {
public:
A() = default;
~A() = default;
A(A const& other) {}
A(A&& other) noexcept {}
A& operator=(A other) noexcept { return *this; }
};
int main() {
std::cout << std::boolalpha
<< std::is_nothrow_copy_assignable<A>::value << "n"
<< std::is_nothrow_move_assignable<A>::value << "n";
}

换句话说，类型特征值的评估是否只考虑赋值运算符的声明，这是不例外的，因此是否会产生

true
true

还是考虑了调用上下文(a、b是A的实例)

a = b;            // may throw, implicitly calls copy c'tor
a = std::move(b); // noexcept, implicitly calls move c'tor

它能产生吗

false
true

实际尝试

使用Visual Studio 2015运行代码，更新3提供

true
true

而gcc 6.1给出了

false
true

谁是对的？

背景

当我们有一个带有抛出复制构造函数(因为资源分配可能会失败)、noexcept移动构造函数、抛出复制赋值和noexception移动赋值的资源管理类时，就会出现这样的情况。

假设复制和移动分配都可以根据交换idom:有效地实现

A& operator=(A const& other) {
A(other).swap(*this); // calls the copy c'tor, may throw
return *this;
}
A& operator=(A&& other) noexcept {
A(std::move(other)).swap(*this); // calls noexcept move c'tor
return *this;
}

然后我们可以考虑将两者压缩为按值拷贝分配

A& operator=(A other) noexcept {
other.swap(*this);
return *this;
}

然而，只有当std::is_nothrow_copy_assignable<A>和std::is_nothrow_move_assignable<A>提供正确的值(分别为false和true)时，我们才能安全地做到这一点。否则，依赖于这些类型特征的代码将表现不佳，并且我们的单值赋值将而不是是两个独立赋值运算符的正确替代。