NEPLg2 Standard Library

copy: `CopyClone`CopyClone の能力のうりょくを標準化ひょうじゅんかする trait 群ぐん

目的もくてき:

Copy と Clone を stdlib 側がわで明示的めいじてきに定義ていぎし、capability として再利用さいりようできるようにします。
compiler 内部ないぶの固定表こていひょうに頼たよらず、.nepl の trait 宣言せんげんと impl によって copy/clone を決定けっていする基盤きばんを提供ていきょうします。

注意ちゅうい:

ここで定義ていぎする Copy / Clone は「どういう値あたいを暗黙的あんもくてきに複製ふくせいしてよいか」を表あらわす capability です。
実装じっそうする trait 自体じたいは軽量けいりょうですが、どの型かたへ impl するかは所有権しょゆうけんと意味論いみろんに強つよく関係かんけいします。

計算量けいさんりょう:

trait 宣言せんげんそのものは O(1) です。

Clone: 明示的めいじてきな複製ふくせい capability

目的もくてき:

Clone::clone x の形かたちで、値あたいを明示的めいじてきに複製ふくせいできる能力のうりょくを表あらわします。

注意ちゅうい:

Clone が独立どくりつした複製ふくせいか、共有きょうゆうを増ふやす複製ふくせいかは、各 impl の意味いみに従したがいます。
利用者りようしゃは、型かたごとの注意ちゅういを確認かくにんする必要ひつようがあります。

Copy: 暗黙的あんもくてきな再利用さいりようを許可きょかする capability

目的もくてき:

Copy を持もつ型かたが、move ではなく copy として扱あつかえることを示しめします。

注意ちゅうい:

Copy は Clone より強つよい制約せいやくです。
所有権しょゆうけんのある資源しげんを持もつ型かたには impl しない前提ぜんていです。

bool は Clone / Copy の両方りょうほうを持もつ
i32 は Clone / Copy の両方りょうほうを持もつ
i64 は Clone / Copy の両方りょうほうを持もつ
i128 は Clone / Copy の両方りょうほうを持もつ
u128 は Clone / Copy の両方りょうほうを持もつ
u8 は Clone / Copy の両方りょうほうを持もつ
f32 は Clone / Copy の両方りょうほうを持もつ
f64 は Clone / Copy の両方りょうほうを持もつ
str は Clone / Copy の両方りょうほうを持もつ

目的もくてき

str は長ながさつき文字列もじれつ view であり、所有権しょゆうけんを持もたないため、共有きょうゆう view の複製ふくせいを capability として明示めいじします。

注意ちゅうい

複製ふくせいされるのは内容ないようそのものではなく、view としての str です。

unit は Clone / Copy の両方りょうほうを持もつ

目的もくてき

() は状態じょうたいを持もたないため、move ではなく copy として扱あつかってよいことを明示めいじします。

MemPtr は Clone / Copy の両方りょうほうを持もつ

目的もくてき

MemPtr<.T> は所有権しょゆうけんを持もたない型付かたづきアドレスあどれすなので、move ではなく copy として扱あつかえることを明示めいじします。

注意ちゅうい

複製ふくせいされるのは領域りょういきそのものではなく、参照先さんしょうさきを指さす軽量けいりょうハンドルです。
所有権しょゆうけんと解放責任かいほうせきにんは RegionToken<.T> 側がわで管理かんりします。