MSVC is_copy_assignable永远正确

msvc is_copy_assignable always true?

本文关键字：永远 copy is MSVC assignable      更新时间：2023-10-16
#include <type_traits>
class Test
{
public:
    Test(const Test &) = delete;
    Test &operator=(const Test &) = delete;
};
void fn(Test &a, const Test &b) { a = b; }
static_assert(!std::is_copy_assignable<Test>::value, "Test shouldn't be assignable");

在 MSVC 2013 Update 3 下编译此函数意外地使static_assert失败，并且函数fn无法编译(如预期的那样(。这是矛盾的，对吧？

我是否滥用is_copy_assignable？有没有其他方法可以测试这种情况？

你是对的，这是一个错误：https://connect.microsoft.com/VisualStudio/feedback/details/819202/std-is-assignable-and-std-is-constructible-give-wrong-value-for-deleted-members

我拿了cplusplus.com的is_copy_assignable代码：

#include <iostream>
#include <type_traits>
struct A { };
struct B { B& operator= (const B&) = delete; };
int main() {
    std::cout << std::boolalpha;
    std::cout << "is_copy_assignable:" << std::endl;
    std::cout << "int: " << std::is_copy_assignable<int>::value << std::endl;
    std::cout << "A: " << std::is_copy_assignable<A>::value << std::endl;
    std::cout << "B: " << std::is_copy_assignable<B>::value << std::endl;
    return 0;
}

并在Visual Studio 2013上对其进行了测试，并得到：

is_copy_assignable：
整数：真
答：真
B：真

在 gcc 4.8.1 上，我得到了：

is_copy_assignable：
整数：真
答：真
B：假

值得注意的是，在Visual Studio 2015 Beta上，这是固定的。我得到：

is_copy_assignable：
整数：真
答：真
B：假

您如何看待测试版;)

可能有点

太晚了，但我在这里有一个解决方法：定义另一个复制和移动赋值运算符，也定义为已删除的运算符。编译器发出警告，抱怨多个复制运算符 (C4522(，因此您必须为类禁用它：

#pragma warning (disable: 4522)
class A
{
    A& operator=(const A&) = delete;
    A& operator=(A) = delete;
};
#pragma warning (default: 4522)

现在std::is_copy_assignable<A>::value false.

相关文章：