drop

所有権しょゆうけんが終おわるときの後始末あとしまつ capability

目的もくてき

Vec や stream handle のような所有資源しょゆうしげんを持もつ型かたが、寿命じゅみょう終了時しゅうりょうじに実行じっこうすべき後始末あとしまつを .nepl 上じょうで宣言せんげんできるようにします。
compiler が特定型とくていがたの free/close をハードコードはーどこーどせず、trait capability と impl 定義ていぎから auto drop を構成こうせいできるようにします。

注意ちゅうい

Drop は copy/clone capability ではありません。所有権しょゆうけんを持もつ値あたいにだけ impl する想定そうていです。
drop は同おなじ値あたいに 2 回かい以上いじょう実行じっこうしてはいけません。

Drop

所有値しょゆうちの終端処理しゅうたんしょり

目的もくてき

値あたいが生存域せいぞんいきを抜ぬけるときに必要ひつような free / close / release を trait method として宣言せんげんします。

注意ちゅうい

destructor は値渡あたいわたしではなく参照さんしょうで受うけます。raw wasm 経路けいろでも複合値ふくごうちを ABI にそのまま流ながさず、drop glue が local / stack slot の番地ばんちを渡わたせるようにするためです。
明示呼めいじよびと auto drop の両方りょうほうが走はしると double free になるため、compiler 側がわの move/drop 規則きそくと整合せいごうしている必要ひつようがあります。