Wie erzwinge ich die Bewegungssemantik, wenn ein Vektor wächst?

Ich habe std::vectorObjekte einer bestimmten Klasse A. Die Klasse ist nicht trivial und hat Kopierkonstruktoren und Verschiebungskonstruktoren definiert.

std::vector<A>  myvec;

Wenn ich den Vektor mit AObjekten fülle (z. B. myvec.push_back(a)), wird der Vektor größer und verwendet den Kopierkonstruktor A( const A&), um neue Kopien der Elemente im Vektor zu instanziieren.

Kann ich irgendwie durchsetzen, dass der Verschiebungskonstruktor der Klasse Astattdessen verwendet wird?

Sie müssen C ++ (speziell std::vector) darüber informieren, dass Ihr Verschiebungskonstruktor und Destruktor nicht werfen noexcept. Dann wird der Verschiebungskonstruktor aufgerufen, wenn der Vektor wächst.

So deklarieren und implementieren Sie einen Verschiebungskonstruktor, der beachtet wird von 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...
}

Wenn dies nicht der Fall ist noexcept, std::vectorkann der Konstruktor ihn nicht verwenden, da er die vom Standard geforderten Ausnahmegarantien nicht gewährleisten kann.

Weitere Informationen zu den im Standard enthaltenen Informationen finden Sie unter C ++ Move-Semantik und Ausnahmen

Dank an Bo, der angedeutet hat, dass dies möglicherweise mit Ausnahmen zu tun hat. Beachten Sie auch den Rat und die Verwendung von Kerrek SB, emplace_backwenn dies möglich ist. Es kann schneller sein (ist es aber oft nicht), es kann klarer und kompakter sein, aber es gibt auch einige Fallstricke (insbesondere bei nicht expliziten Konstruktoren).

Bearbeiten , oft ist die Standardeinstellung das, was Sie wollen: Verschieben Sie alles, was verschoben werden kann, kopieren Sie den Rest. Um explizit danach zu fragen, schreiben Sie

A(A && rhs) = default;

Wenn Sie dies tun, erhalten Sie nach Möglichkeit noexcept: Ist der Standardkonstruktor Move als noexcept definiert?

Beachten Sie, dass frühere Versionen von Visual Studio 2015 und älter dies nicht unterstützten, obwohl es die Verschiebungssemantik unterstützt.

Interessanterweise verwendet der Vektor von gcc 4.7.2 nur den Verschiebungskonstruktor, wenn sowohl der Verschiebungskonstruktor als auch der Destruktor vorhanden sind noexcept. Ein einfaches Beispiel:

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();
}

Dies gibt das erwartete aus:

move
move
move

Allerdings, wenn ich entferne noexceptaus ~foo(), das Ergebnis ist anders:

copy
copy
copy

Ich denke, das beantwortet auch diese Frage .

Es scheint, dass die einzige Möglichkeit (für C ++ 17 und früher), die std::vectorVerwendung der Verschiebungssemantik bei der Neuzuweisung zu erzwingen , darin besteht, den Kopierkonstruktor zu löschen :). Auf diese Weise werden Ihre Kompilierungskonstruktoren verwendet oder beim Kompilieren versucht :).

Es gibt viele Regeln, bei denen der std::vectorVerschiebungskonstruktor bei der Neuzuweisung NICHT verwendet werden darf, aber nichts darüber, wo er verwendet werden darf .

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;   
};

Leben

oder

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 {};   
};

Live-Code

Ihre TKlasse muss über einen noexceptVerschiebungskonstruktor / Zuweisungsoperator und einen noexceptDestruktor verfügen . Andernfalls wird ein Kompilierungsfehler angezeigt.

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