Emplacing в векторе, используя конструктор по умолчанию

Question

Я хочу использовать vector::emplace по умолчанию построить без копируемых и без назначаемой объекта, а затем использовать специальные методы объекта, используя итератор на вновь созданный объект. Обратите внимание, что конструкторы класса без параметров не являются конструкторами по умолчанию. Простой пример:

#include <iostream> 
#include <vector> 
using namespace std; 

class Test { 
public: 
    Test() {} 
private: 
    Test(const Test&) = delete;    // To make clas un-copyable. 
    Test& operator=(const Test&) = delete; 

    int a_; 
}; 

int main() { 
    vector<Test> test_vec; 
    test_vec.emplace_back();  // <---- fails 

    return 0; 
} 

vector::emplace() создает новый объект, но требует аргументов не по умолчанию конструктора. vector::emplace_back() будет построен в конце вектора.

Есть ли способ заменить конструкцию по умолчанию. Есть ли способ использовать кусочную конструкцию или переадресацию по умолчанию, возможно, используя std::piecewise_construct, как есть для карт? Например, в случае карт мы можем использовать:

std::map<int,Test> obj_map; 
int val = 10; 
obj_map.emplace(std::piecewise_construct, 
       std::forward_as_tuple(val), 
       std::forward_as_tuple()); 

Есть ли что-то подобное для векторов?

Answer 1

Как отметил @dyp и @Casey в комментариях, std::emplace не будет работать для векторов класса Test, как класс также не подвижный, потому что «пользователь объявленной конструктор копирования подавляет генерацию перемещения по умолчанию конструктор "(@Casey).

Чтобы использовать здесь emplace, класс должен быть подвижным. Мы можем сделать это путем явного определения (и недобросовестный) переход Конструкторы:

public: 
    Test(Test&& other) = default; 
    Test& operator=(Test&& other) = default; 

Это также косвенно делает класс не-копируемые «после провозглашения операции перемещения будет подавлять неявную генерацию копий» (@Casey)

Теперь мы можем использовать std::emplace_back(), а затем использовать vector::back() для вызова методов только что созданного объекта.

Answer 2

Для map, легко:

std::map<int, Object> obj_map; 
obj_map[10]; // default-constructs an object with key 10 

В противном случае, что у вас есть тоже работает:

obj_map.emplace(std::piecewise_construct, 
       std::forward_as_tuple(10), 
       std::forward_as_tuple(args, to, construct, with)); 

[править] эквивалент vector является emplace_back:

obj_vector.emplace_back(); // default construct 
obj_vector.emplace_back(args, to, std::move(construct), with); // forward these 

Answer 3

vector::emplace_back() будет построен в конце вектора, но также потребует аргументов.

Пакеты параметров могут быть пустыми. Таким образом, вариационный шаблон emplace_back можно вызывать без аргументов; То есть

vector<VeryLimitedClass> vec; 
vec.emplace_back(); 

Является действительным кодом, который инициализирует объект типа VeryLimitedClass через конструктор по умолчанию и «emplaces» это в задней части vec.