Як застосувати семантику переміщення, коли вектор росте?

У мене є std::vectorоб'єкти певного класу A. Клас нетривіальний і має конструктори копіювання та конструктори переміщення.

std::vector<A>  myvec;

Якщо я заповню вектор A об'єктами (використовуючи, наприклад myvec.push_back(a)), вектор збільшиться в розмірі, використовуючи конструктор копіюванняA( const A&) для створення нових копій елементів у векторі.

Чи можу я якось Aдомогтися того, що замість цього використовується конструктор переміщення класу ?

Вам потрібно повідомити C ++ (зокрема std::vector), що ваш конструктор переміщення та деструктор не кидає, використовуючи noexcept. Тоді, коли вектор зросте, буде викликаний конструктор переміщення.

Ось як оголосити та реалізувати конструктор переміщення, який дотримується std::vector:

A(A && rhs) noexcept { 
  std::cout << "i am the move constr" <<std::endl;
  ... some code doing the move ...  
  m_value=std::move(rhs.m_value) ; // etc...
}

Якщо конструктора немає noexcept,std::vector не може використовувати його, з тих пір він не може забезпечити гарантії виключення необхідні стандартом.

Детальніше про те, що сказано в стандарті, читайте C ++ Move semantics and Exceptions

Похвала Бо, який натякнув, що, можливо, це пов’язано з винятками. Також враховуйте поради Kerrek SB і використовуйте їх, emplace_backколи це можливо. Це може бути швидше (але часто ні), може бути чіткішим і компактнішим, але є й деякі підводні камені (особливо з не явними конструкторами).

Редагуйте , часто за замовчуванням ви хочете: перемістіть все, що можна перемістити, решту скопіюйте. Щоб прямо просити про це, пишіть

A(A && rhs) = default;

Роблячи це, ви отримаєте за винятком випадків, коли це можливо: чи визначено конструктор Move за замовчуванням як noexcept?

Зверніть увагу, що ранні версії Visual Studio 2015 та старіші не підтримували цього, хоча він підтримує семантику переміщення.

Цікаво, що вектор gcc 4.7.2 використовує конструктор переміщення лише в тому випадку, якщо є конструктором переміщення та деструктором noexcept. Простий приклад:

struct foo {
    foo() {}
    foo( const foo & ) noexcept { std::cout << "copy\n"; }
    foo( foo && ) noexcept { std::cout << "move\n"; }
    ~foo() noexcept {}
};

int main() {
    std::vector< foo > v;
    for ( int i = 0; i < 3; ++i ) v.emplace_back();
}

Це виводить очікуване:

move
move
move

Однак, коли я видаляю noexceptз ~foo(), результат відрізняється:

copy
copy
copy

Я думаю, це також відповідає на це питання .

Здається, що єдиним способом (для C ++ 17 та раніших версій) примусити std::vectorвикористовувати семантику переміщення при перерозподілі є видалення конструктора копій :). Таким чином він використовуватиме ваші конструктори переміщення або намагатиметься, під час компіляції :).

Існує багато правил, де std::vectorНЕ ПОВИНЕН використовувати конструктор переміщення при перерозподілі, але нічого про те, де він ПОВИНЕН використовувати .

template<class T>
class move_only : public T{
public:
   move_only(){}
   move_only(const move_only&) = delete;
   move_only(move_only&&) noexcept {};
   ~move_only() noexcept {};

   using T::T;   
};

Прямий ефір

або

template<class T>
struct move_only{
   T value;

   template<class Arg, class ...Args, typename = std::enable_if_t<
            !std::is_same_v<move_only<T>&&, Arg >
            && !std::is_same_v<const move_only<T>&, Arg >
    >>
   move_only(Arg&& arg, Args&&... args)
      :value(std::forward<Arg>(arg), std::forward<Args>(args)...)
   {}

   move_only(){}
   move_only(const move_only&) = delete;   
   move_only(move_only&& other) noexcept : value(std::move(other.value)) {};    
   ~move_only() noexcept {};   
};

Живий код

Ваш Tклас повинен мати noexceptконструктор переміщення / оператор присвоєння та noexceptдеструктор. В іншому випадку ви отримаєте помилку компіляції.

std::vector<move_only<MyClass>> vec;