c++ - msvc is_copy_assignable 始终为真?

标签 c++ visual-c++ c++11 visual-studio-2013

#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:
int: true
A: true
B: true

关于 gcc 4.8.1我得到了:

is_copy_assignable:
int: true
A: true
B: false

值得注意的是,在 Visual Studio 2015 Beta 中,此问题已得到修复。我得到:

is_copy_assignable:
int: true
A: true
B: false

您如何看待测试版 ;)

关于c++ - msvc is_copy_assignable 始终为真?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27620277/

相关文章:

c++ - C++ 中获取桌面分辨率的可移植方式

c++ - 我的棒球程序应该可以运行,但我就是找不到为什么它不能运行的问题。查看程序

c++ - 迭代器有什么意义?

c++ - C++ 用户定义文字的 Eclipse/MinGW 问题

std::pair 和前向声明的 C++ 问题

android - 为android ndk中的线程编译c++代码时memset出错

c++ - 什么是 .so.2 文件?

c++ - 如何使用VC++读取注册表 "Name"?

c++ - 将结构向前声明为类时出现 Visual C++ 2015 链接器错误

c++ - 从两个不同的数据结构将数据插入 std::map <std::string, int> mymap 并通过套接字发送