"値を渡す行為には、意味がある。意味のないコピーは、構造を鈍化させる。"
Rustにおいて、変数を別の変数に代入したときに何が起こるか――それは、他の多くの言語とは異なる現象だ。
Rustでは代入時に「ムーブ（move）」が発生する型と、「コピー（copy）」が発生する型が明確に分かれている。
この違いは単なる最適化ではない。
それは、**「その値がどれほど意味を持ち、どれほどコストを抱えているか」**という設計者の意図を、構文で定義させる仕組みなのだ。
この章では、ムーブとコピーという二つの動作の違いを通じて、**Rustにおける「設計の意味論」**を紐解く。
ムーブとは「所有の移転」である
let s1 = String::from("hello");
let s2 = s1; // s1の所有権がs2へ“ムーブ”される
この操作の本質は、「s1というラベルがs2に付け替えられた」ことではない。
ヒープ領域にある実体の所有権が、構文的に移動したということを意味している。
このムーブという挙動により：
- 二重解放の可能性が消える
- 使い終えた値を無効にすることで、構造の整合性が保証される
- 設計者が「データの責任を渡した」ことを明示できる
ムーブは制限ではない。**設計上の構造的変化の“構文的表現”**である。
Copyとは「重さを持たない値」の設計的合意
一方、以下のようなコードでは所有権は移動しない。
let x = 42;
let y = x; // xはこの後も使える
これは、i32 が Copy トレイトを実装しているからである。
Rustでは、**「コピーしても構造的に破綻しない値」**だけが Copy 可能とされる。
つまり、Copyとは：
- 小さい（スタック領域に収まる）
- 所有や解放の概念を持たない
- ムーブするほどの重さ・意味を持たない
という“設計的合意”のもとに存在する。
Copyか否かの判断基準は「意味を持つかどうか」
-
i32やbool、charなどのプリミティブな型：Copyされても問題なし -
StringやVec<T>、Box<T>などのヒープ所有型：Copy不可（ムーブされる）
この区別は、言語の仕様であると同時に、「この型をコピーすることは許されるか？」という設計者の哲学的判断の反映である。
Rustは、コピー操作すらも**「それは本当に意味のある操作か？」**と問い直してくる。
Copyトレイトは設計的契約
自作の構造体に Copy を実装するには、すべてのフィールドが Copy でなければならない。
#[derive(Copy, Clone)]
struct Point {
x: i32,
y: i32,
}
これは、「Pointは軽量で、意味的な所有は必要ない」という設計的合意を、
構文によって明示する行為である。
逆に言えば、Copyを実装しない設計には、「この値は重要な意味と所有を持つ」という意図が込められる。
Cloneとの違い：意図的コピーと暗黙コピーの分断
Rustには Clone というトレイトも存在する。
let s1 = String::from("hello");
let s2 = s1.clone(); // 深いコピー（heapも複製）
Copy は暗黙的に複製が行われるが、Clone は明示的に呼び出す必要がある。
この違いは哲学的である。
- Copy：“コピーされても意味が変わらない”値
- Clone：“コピーすることが設計上の決断”である値
Rustは、開発者にこの違いを意識させ、「無意識の複製」からの脱却を促している。
ムーブとCopyの違いは、「何を渡したか」の記録性に関わる
ムーブを使えば、所有権が移動したという記録が構文上に残る。
一方、Copyではその痕跡は残らない。
この違いは設計に大きく作用する：
- ムーブ：関数の呼び出しが「副作用的に所有を変化させた」と明示できる
- Copy：呼び出しは「副作用を持たない軽量な情報伝達」と捉えられる
つまり、構文がその関数呼び出しの意味論を保持している。
Copyな型をムーブのように扱う必要はない。それが設計的自由の確保
もしすべての値がムーブされるとすれば、次のようなコードは極めて冗長になる。
let x = 1;
let y = x; // xは使えない → 不便
Rustはこれを避けるためにCopyという“設計の例外”を許容している。
だがその例外には構造的責任と重さが存在しないという条件がつく。
この判断をトレイトで制御することこそ、設計の一貫性と実用性の両立である。
結語：ムーブとコピーは、構文による意味設計である
Rustにおけるムーブとコピーの違いは、ただの所有権の挙動ではない。
それは**「この値が持つ意味とは何か？」という設計的問いに対する答えを、構文で定義させる行為**である。
Rustの構文は常に設計に忠実であろうとする。
だからこそ、ムーブとコピーという一見些細な仕様差が、設計思想の言語化として機能するのだ。
"設計とは、意味の重さを構文に込めることである。ムーブとコピーはその最小単位にして、最重要な問いである。"