这个问题源于一个实际上与默认参数本身无关的问题,而是复制和移动构造函数。 我接受了实际回答问题的答案(所以如果你因为问题标题而来到这里,请阅读它)并解释为什么它最初对我不起作用。
所以问题,如“编辑:”中所述,实际上相当简单:
对包含std::vector<std::unique_ptr<T>>
的类的赋值将破坏VisualStudio 2013中的编译(未经其他版本测试),错误消息非常神秘。
评论中的假设是VC编译器有一个bug并试图调用一个不存在的拷贝构造函数。
这个假设事实上是正确的,但从我第一次理解它的意义上来说并非如此。
实际上,VCC 实际上试图调用MyClass
的移动构造函数,它隐式定义了它。 但是,这就是问题所在,它没有正确定义 :
当显式定义移动构造函数MyClass(MyClass && a)
时,我们实际上可以通过编写这样的代码来模仿编译器的行为:
MyClass(MyClass && a)
: foos_(a.foos_)
{}
使用此代码生成与使用隐式定义完全相同的错误消息,我想
你可以立即看到这里的错误:这个移动构造函数实际上试图调用foos_
的复制构造函数,这当然是不可能的,因为它反过来不能为其内容调用复制构造函数,因为那些属于std::unique_ptr
类型,没有复制构造函数,原因显而易见。
当使用此代码时,
MyClass(MyClass && a)
: foos_(std::move(a.foos_))
{}
一切都很好,因为现在调用std::vector
的移动构造函数,因此它的内容是移动构造函数。
它实际上是一个编译器错误,源于模板解决问题。
如果需要,编译器想要隐式定义一个move-constructor,如果在类定义中有不可复制的类型,并且在代码中有一个对该类的赋值,它就会这样做。
如果满足这两个条件,它继续定义move-constructor,但现在似乎并不关心std::vector
模板的实际类型,只关于类本身,它确实定义了副本constructor, so the VCC tries to use it, which fails because of the missing copy constructor in
std :: unique_ptr`。
或者,它只是完全跳过move-constructor的定义并尝试使用copy-constructor,这会导致同样的错误。
Microsoft STL实现中有些可疑。这只是一个线索,我无法解释它是如何运作的,但无论如何我似乎都有可能。
简单,定义你自己的移动构造函数,如上所示。
在Visual Studio(2013)中,创建一个全新的Win32控制台应用程序,不要更改任何设置并将其设为主.cpp
:
// ConsoleApplication2.cpp : Defines the entry point for the console application.
//
#include "stdafx.h"
#include <vector>
#include <memory>
class Foo { };
class MyClass
{
public:
MyClass(std::vector<std::unique_ptr<Foo>> foos) :
foos_(std::move(foos))
{};
std::vector<std::unique_ptr<Foo>> foos_;
};
int _tmain(int argc, _TCHAR* argv[])
{
auto test = MyClass(std::vector<std::unique_ptr<Foo>>()); //remove this, and all works fine!
return 0;
}
尝试编译它会导致以下错误(它肯定适用于gcc!):
1> ConsoleApplication2.cpp
1>c:\program files (x86)\microsoft visual studio 12.0\vc\include\xmemory0(593): error C2280: 'std::unique_ptr<Foo,std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty,std::default_delete<_Ty>> &)' : attempting to reference a deleted function
1> with
1> [
1> _Ty=Foo
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\memory(1486) : see declaration of 'std::unique_ptr<Foo,std::default_delete<_Ty>>::unique_ptr'
1> with
1> [
1> _Ty=Foo
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\xmemory0(592) : while compiling class template member function 'void std::allocator<_Ty>::construct(_Ty *,const _Ty &)'
1> with
1> [
1> _Ty=std::unique_ptr<Foo,std::default_delete<Foo>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\xmemory0(723) : see reference to function template instantiation 'void std::allocator<_Ty>::construct(_Ty *,const _Ty &)' being compiled
1> with
1> [
1> _Ty=std::unique_ptr<Foo,std::default_delete<Foo>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\type_traits(572) : see reference to class template instantiation 'std::allocator<_Ty>' being compiled
1> with
1> [
1> _Ty=std::unique_ptr<Foo,std::default_delete<Foo>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\vector(650) : see reference to class template instantiation 'std::is_empty<_Alloc>' being compiled
1> with
1> [
1> _Alloc=std::allocator<std::unique_ptr<Foo,std::default_delete<Foo>>>
1> ]
1> c:\users\felix\source\repos\infinite whitewursht\infinitewhitewursht\consoleapplication2\consoleapplication2.cpp(18) : see reference to class template instantiation 'std::vector<std::unique_ptr<Foo,std::default_delete<_Ty>>,std::allocator<std::unique_ptr<_Ty,std::default_delete<_Ty>>>>' being compiled
1> with
1> [
1> _Ty=Foo
1> ]
假设我有这样的构造函数:
MyClass(vector<unique_ptr<Foo>> foos) :
foos_(std::move(foos))
{};
通过这种简单的设置,一切都很好。
对MyClass(vector<unique_ptr<Foo>>);
之类的构造函数的调用会成功并按预期运行。但我想将foos
作为默认参数。
如何实现foos
的默认值?
这就是我提出的:
MyClass(vector<unique_ptr<Foo>> foos = vector<unique_ptr<Foo>>()) :
foos_(std::move(foos))
{};
但不幸的是,这不起作用。我不知道为什么,如果有人能够对此有所了解,那就太好了。
接下来两次尝试,这是解决方法,而不是实际的默认参数:
MyClass() :
foos_() //or foos_(vector<unique_ptr<Foo>>())
{};
也不要工作。这两种方法都会导致来自编译器的错误消息和冗长的输出,其中最有趣的部分是:
c:\ users \ 用户名 \ source \ repos \ myProject \ myProject \ MyClass.h(47):请参阅类模板实例化
其中47是MyClass
中实际矢量定义的行号:
vector<unique_ptr<GameObject>> foos_;
所以我的猜测是,这真的是关于我在初始化时犯了一个大错误。
另外,我正在编译VS2013。
整个错误:
GameObject.cpp
1>c:\program files (x86)\microsoft visual studio 12.0\vc\include\xmemory0(593): error C2280: 'std::unique_ptr<int,std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty,std::default_delete<_Ty>> &)' : attempting to reference a deleted function
1> with
1> [
1> _Ty=int
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\memory(1486) : see declaration of 'std::unique_ptr<int,std::default_delete<_Ty>>::unique_ptr'
1> with
1> [
1> _Ty=int
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\xmemory0(592) : while compiling class template member function 'void std::allocator<_Ty>::construct(_Ty *,const _Ty &)'
1> with
1> [
1> _Ty=std::unique_ptr<int,std::default_delete<int>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\xmemory0(723) : see reference to function template instantiation 'void std::allocator<_Ty>::construct(_Ty *,const _Ty &)' being compiled
1> with
1> [
1> _Ty=std::unique_ptr<int,std::default_delete<int>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\type_traits(572) : see reference to class template instantiation 'std::allocator<_Ty>' being compiled
1> with
1> [
1> _Ty=std::unique_ptr<int,std::default_delete<int>>
1> ]
1> c:\program files (x86)\microsoft visual studio 12.0\vc\include\vector(650) : see reference to class template instantiation 'std::is_empty<_Alloc>' being compiled
1> with
1> [
1> _Alloc=std::allocator<std::unique_ptr<int,std::default_delete<int>>>
1> ]
1> c:\users\felix\source\repos\infinite whitewursht\infinitewhitewursht\infinitewhitewursht\gameobject.h(47) : see reference to class template instantiation 'std::vector<std::unique_ptr<int,std::default_delete<_Ty>>,std::allocator<std::unique_ptr<_Ty,std::default_delete<_Ty>>>>' being compiled
1> with
1> [
1> _Ty=int
1> ]
答案 0 :(得分:2)
编写构造函数重载,它根本不占任何向量并默认初始化向量(到空向量):
MyClass() : foos_{}
{}