#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
?有没有其他方法可以测试这种情况?
最佳答案
我拿了 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/