c – 为什么在MSVC12中,is_copy_constructible为unique_ptr返回true

我会预料这个静态断言：

#include <type_traits>
#include <memory>

int main() {
  static_assert(std::is_copy_constructible<std::unique_ptr<int>>::value,"UPtr has copy constructor?");
}

但是没有.

使用MSVC12编译：

Microsoft (R) C/C++ Optimizing Compiler Version 18.00.31101 for x64

解决方法

static_assert应该触发,std::unique_ptr有一个隐式删除的副本构造函数,所以这是一个错误.这看起来与这个bug报告 std::is_copy_constructible is broken有关：

(1) std::is_copy_constructible returns true for types with deleted
copy constructors.

(2) std::is_copy_constructible returns true for types that compose
types that are not copy constructible.

答复是：

Thanks for reporting this bug. We’ve fixed it,and the fix will be available in the next major version of Visual Studio after 2013.

另请参阅此错误报告：std::is_copy_constructible doesn’t work correctly.

请注意,使用最新版本的Visual Studio的webcompiler上的断言触发.最后一次更新是在2015年12月3日.断言也在cl(see it live)和gcc上触发.

我发现一个错误报告：A strange behavior of std::is_copy_constructible它与你的代码非常相似：

static_assert(std::is_copy_constructible<std::unique_ptr<int>>::value,"");

答复有：

Thanks for reporting this bug. We’ve already fixed it,and the fix is
available in VS 2015 Preview.

不清楚,这是什么版本的Visual Studio这是固定的.一个回应说,2013年底版本,而后期说2015年预览.