奇的std ::矢量::布设（）编译错误

Question

我遇到一个奇怪的编译器错误，而使用std::vector::emplace()和std::vector::emplace_back()：

#include <vector> 

struct Foo { 
    int bar; 

    Foo(int _bar) : bar(_bar) { } 
}; 

int main() { 
    // Declaration 1 
    std::vector<Foo> vec(10); 

    // Declaration 2 
    // std::vector<Foo> vec{}; 

    vec.emplace_back(1); 

    return 0; 
} 

当我compile，我得到了以下错误：

In file included from /usr/include/c++/6/vector:62:0, 
       from prog.cpp:2: 
/usr/include/c++/6/bits/stl_construct.h: In instantiation of ‘void std::_Construct(_T1*, _Args&& ...) [with _T1 = Foo; _Args = {}]’: 
/usr/include/c++/6/bits/stl_uninitialized.h:519:18: required from ‘static _ForwardIterator std::__uninitialized_default_n_1<_TrivialValueType>::__uninit_default_n(_ForwardIterator, _Size) [with _ForwardIterator = Foo*; _Size = long unsigned int; bool _TrivialValueType = false]’ 
/usr/include/c++/6/bits/stl_uninitialized.h:575:20: required from ‘_ForwardIterator std::__uninitialized_default_n(_ForwardIterator, _Size) [with _ForwardIterator = Foo*; _Size = long unsigned int]’ 
/usr/include/c++/6/bits/stl_uninitialized.h:637:44: required from ‘_ForwardIterator std::__uninitialized_default_n_a(_ForwardIterator, _Size, std::allocator<_Tp>&) [with _ForwardIterator = Foo*; _Size = long unsigned int; _Tp = Foo]’ 
/usr/include/c++/6/bits/stl_vector.h:1309:36: required from ‘void std::vector<_Tp, _Alloc>::_M_default_initialize(std::vector<_Tp, _Alloc>::size_type) [with _Tp = Foo; _Alloc = std::allocator<Foo>; std::vector<_Tp, _Alloc>::size_type = long unsigned int]’ 
/usr/include/c++/6/bits/stl_vector.h:281:30: required from ‘std::vector<_Tp, _Alloc>::vector(std::vector<_Tp, _Alloc>::size_type, const allocator_type&) [with _Tp = Foo; _Alloc = std::allocator<Foo>; std::vector<_Tp, _Alloc>::size_type = long unsigned int; std::vector<_Tp, _Alloc>::allocator_type = std::allocator<Foo>]’ 
prog.cpp:11:25: required from here 
/usr/include/c++/6/bits/stl_construct.h:75:7: error: no matching function for call to ‘Foo::Foo()’ 
    { ::new(static_cast<void*>(__p)) _T1(std::forward<_Args>(__args)...); } 
     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
prog.cpp:7:2: note: candidate: Foo::Foo(int) 
    Foo(int _bar) : bar(_bar) { } 
    ^~~ 
prog.cpp:7:2: note: candidate expects 1 argument, 0 provided 
prog.cpp:4:8: note: candidate: constexpr Foo::Foo(const Foo&) 
struct Foo { 
     ^~~ 
prog.cpp:4:8: note: candidate expects 1 argument, 0 provided 
prog.cpp:4:8: note: candidate: constexpr Foo::Foo(Foo&&) 
prog.cpp:4:8: note: candidate expects 1 argument, 0 provided 

但是，如果我注释掉声明1并使用声明2代替，代码编译罚款。这里发生了什么？

Answer 1

您的问题不在vec.emplace_back(1);。由于std::vector<Foo> vec(10);，您收到编译错误。该行试图创建一个具有10个默认构造元素的向量。由于您的类没有默认构造函数，因此您无法创建10个默认元素。

为了让它正常工作，您需要提供它可以复制到向量中的类的实例。这看起来像

std::vector<Foo> vec(10, Foo(whatever_number_you_want)); 

或者你可以只添加一个默认的构造函数。

---

std::vector<Foo> vec{};不给你任何问题，因为它不会尝试默认构造的任何元素。空构造函数返回一个大小为0的向量，这意味着没有构造对象，从而避免了未定义的默认构造函数。

Answer 2

原因是std::vector<Foo> vec(10)将实例化一个具有10个“空”Foo对象的向量，即类Foo的实例需要调用默认构造函数。但是，您的类Foo不提供默认构造函数。

第二条语句std::vector<Foo> vec{}实例化一个空向量，因此没有Foo对象被实例化（这将需要默认的构造函数）。

解决您的问题，定义Foo默认构造函数：

struct Foo { 
    int bar; 

    Foo() : bar(0) {}; 
    Foo(int _bar) : bar(_bar) { }; 
};