ベクトルが大きくなったときに移動セマンティクスを強制する方法は？

Question 1

std::vectorあるクラスのオブジェクトを持っていますA。クラスは自明ではなく、コピーコンストラクターと移動コンストラクターが定義されています。

std::vector<A>  myvec;

ベクターをAオブジェクトで（たとえばを使用してmyvec.push_back(a)）埋めると、コピーコンストラクターA( const A&)を使用してベクターの要素の新しいコピーをインスタンス化し、ベクターのサイズが大きくなります。

A代わりに、クラスの移動コンストラクタが代わりに使用されていることを強制できますか？

Question 2

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セマンティクスと例外をご覧ください。

それが例外と関係があるかもしれないことをほのめかしたボーへの信用。またemplace_back、可能な場合はKerrek SBのアドバイスを考慮して使用してください。これはより高速になる可能性がありますが（多くの場合はそうではありません）、より明確でコンパクトになる可能性がありますが、いくつかの落とし穴もあります（特に非明示的なコンストラクターの場合）。

編集、多くの場合、デフォルトはあなたが望むものです：移動可能なすべてのものを移動し、残りをコピーします。それを明示的に求めるには、

A(A && rhs) = default;

そうすることで、可能な場合はnoexceptが得られます。デフォルトのMoveコンストラクターはnoexceptとして定義されていますか？

Visual Studio 2015以前の以前のバージョンでは、移動のセマンティクスはサポートされていますが、これはサポートされていません。

Question 3

興味深いことに、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

これもこの質問の答えだと思います。

Question 4

std::vector再割り当てに使用移動セマンティクスを強制する唯一の方法（C ++ 17以前の場合）は、コピーコンストラクターを削除することです:)。このようにして、コンパイル時にmoveコンストラクターを使用するか、試行錯誤します:)。

std::vector再配置時にmoveコンストラクターを使用してはならないルールはたくさんありますが、それをどこで使用しなければならないかについては何もありません。

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移動コンストラクタ/ assigmentオペレータとnoexceptデストラクタを。そうしないと、コンパイルエラーが発生します。

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