Copy 型
言語としてのデフォルトはムーブセマンティクスですが、特定の型ではデフォルトでコピーが行われます。
これらの型は Copy
トレイトを実装しているからです。
あなたが定義した独自の型のデフォルトをコピーセマンティクスにすることが出来ます。
- 代入後は、
p1
とp2
の両方が独自のデータを所有します。 p1.clone()
を使用してデータを明示的にコピーすることもできます。
Speaker Notes
This slide should take about 5 minutes.
コピーとクローン作成は同じではありません。
- コピーとは、メモリ領域のビット単位コピーのことであり、任意のオブジェクトでは機能しません。
- コピーではカスタムロジックは使用できません(C++ のコピーコンストラクタとは異なります)。
- クローン作成はより一般的なオペレーションであり、
Clone
トレイトを実装することでカスタム動作も可能になります。 Drop
トレイトを実装している型では、コピーは出来ません。
上記の例で、次の方法を試してください。
String
フィールドをstruct Point
に追加します。String
がCopy
型ではないため、コンパイルできなくなります。derive
属性からCopy
を削除します。p1
のprintln!
でコンパイラ エラーが発生します。- 代わりに
p1
のクローンを作成すれば解決できることを示します。
その他
- Shared references are
Copy
/Clone
, mutable references are not. This is because Rust requires that mutable references be exclusive, so while it’s valid to make a copy of a shared reference, creating a copy of a mutable reference would violate Rust’s borrowing rules.