クラスに移動のみのタイプを追加すると、そのクラスは移動のみのタイプになります。スコットマイヤーズ 『効果的な現代のC++』で

Question

、彼は書いている：

それはstd::mutex（すなわち、 ことができるタイプが移動しますが、コピーされません）移動専用型であるため、何も価値がある、A mをPolynomialに追加する副作用は、Polynomialがコピーする能力を失うことです。しかし、まだ移動することができます。ここで

、彼は（マルチスレッドながら）1クラスのconstメンバ変数へのアクセスを保護しなければならない理由を説明の文脈でクラスPolynomialにメンバ変数としてstd::mutex mを追加します。彼が説明した概念を理解しました。私はもう少し説明する必要があるのは、なぜクラスに移動のみのタイプを追加すると、そのクラスはコピー可能ではない移動可能なタイプになるのですか？std::mutexとstd::atomicのような型はデフォルトでは移動型ですか？私たちのクラスに変数の型を移動するだけでコピーを実行したいのであれば、どうすればそれを乗り越えることができますか？

Answer 1

std::mutexは、標準でそう書いているのでコピーできません。彼らはコピー可能なstd::mutexを書いた可能性がありますが、そうでないと決めました。

コピー不可能なstd::mutexは、より効率的で、安全で、わかりやすいかもしれません。

例として、より安全で理解しやすい理由は次のとおりです。std::mutexがロックされているとはどういう意味ですか？個人的には、正しい答えが何であるか分かりません。私は正解が "それはナンセンス"だと思う。 「少なくとも驚きの答え」はありません。

並行処理コードで驚くべき回答をする代わりに、コピーをブロックすることで質問を回避します。コピーしたいミューテックスを格納している人は、自分が望むものを自分で決める必要があります。

---

C++では、コピーコンストラクタが自動的に生成されることがあります。より多くの状況では、それはあなたがそれを求めるときにMyClass(MyClass const&)=defaultと1つを書くことができます。

クラスにコピー不可能なクラスが含まれている場合、クラスにはコピーできません。生成できません。そのクラスは要求できません。これは、生成されたコピーコンストラクタが基本的にメンバーをコピーするためです。メンバをコピーできない場合は、コピーコンストラクタを生成できません。

---

したがってmutexは標準でそう言いますからコピーできません。

構造体またはクラスにコピーできないメンバーが含まれている場合、デフォルトのコピーコンストラクタは使用できません。自分自身を明示的に書く必要があります。

---

あなたのタイプは、そのほかのメンバーの手動コピーがすべてのサブ構造体にあなたの非mutex状態を固執することですコピーctorのを維持することの頭痛を防ぐためにmutex、1つのアプローチを保存する必要がある場合その既定のコピーを使用します。次に、コピー中にmutexをどうすればよいかを決定し、コピーctor（および代入コピー演算子）は単純なままです。

struct bob_with_mutex { 
    sturct bob_simple_data { 
    int x, y, z; 
    std::vector<char> buff; 
    }; 

    bob_simple_data data; 
    std::mutex m; 

    bob_with_mutex(bob_with_mutex const& o): 
    data(o.data) 
    {} 
    bob_with_mutex& operator=(bob_with_mutex const& o) 
    { 
    data = o.data; 
    return *this; 
    } 
}; 

タイプbobには、ミューテックスといくつかのデータが混在しています。データはサブ構造に格納されます。 bob_with_mutexのコピーctorはデフォルトにすることはできませんが、単に "データをコピーするだけです"と表示されます。

bobのコピーには独自のミューテックスがあります。

Answer 2

は「クラスへの移動のみのタイプを追加する理由にのみコピーできないタイプの動きとして、そのクラスを作る」

これはentierly真実ではありません。非コピー可能メンバ変数を追加するとType (const Type& t) = default;のようなものを書くことからあなたを防ぐことができますが、それでもあなたにこれ以外

class Type{ 

int integer; 
std::mutex m; 

public: 
Type() = default; 
Type(const Type& rhs): integer (rhs.integer){} 

} 

非コピー可能メンバーを無視する独自のコピーコンストラクタを実装することができ、あなたはmove-を含むオブジェクトの多くの例を見つけることができますメンバだけですが、開発者がムーブコンストラクタを削除したため、移動できません。

なぜstd :: mutexとstd :: atomicのような型はデフォルトでは移動型ですか？

どちらも移動コンストラクタを実装していません。これは間違った発言です。

Answer 3

1つの可能性は、ミューテックスタイプをミューテックスへのポインタに変更することです。ポインタはコピーできますが、mutexのコピーは1つだけです。スマートポインタを使用することができます。