Rust は何を解決しようとしたのか；メモリとリソースと所有権

みなさん、 Rust 書いてますか？最近は Rust が楽しくてたまりませんが、のんびりやっていたらなんとなく理解するまで 1 年くらいかかってしまいました。 良い言語なので、できればみなさんにも気軽に手を出してもらいたく、 Rust の中で特に難しい概念とされている話「所有権(ownership)」について簡単にまとめることにしました。 おことわり 今回記述する「所有権」は、英語で "ownership" として表現されるものを和訳した単語です。 今回説明している概念は、「所有権」という言葉よりも "ownership" (およびその対訳である「所有」、「持ち主であること」) のほうが的確であると思いますが、このドキュメントでは「所有権」という言葉を使います。 所有権とは 所有権とは、簡単に言えば「値(データ)を持っている」 「その値を解放することに責任を負っているもの」のことを指します

[butyricacid]

Rustの所有権について知って「Rust良さそうじゃん」って思って始めてみて「ライフタイムわからん。そんな話聞いてない！」ってなってからが本番

[UhoNiceGuy]

所有権とか考えたくないからGC欲しい…Rustはそういう甘えを許さない言語//「所有権は実質的にリソースを解放する義務」←これは肝に命じたい

[rugamaga]

ファイル, VRAM(TextureやVertexBuffer), ネットワーク接続, ミューテックスなどGCでは結局扱えない"所有権"はたくさんある。そういうのにC++やRustのRAII(所有権の確保/開放)は効果的。また提供側が開放までケアでき抽象化できる。

[nzxx]

所有権完全に理解したと思ったらライフタイムという敵が出てくる

[masa8aurum]

所有権は “実質的には「リソース解放の義務がある」状態”

[letitride]

他の方のコメントでもある通り、struct内でリソースを借用しようとすると、lifetime管理が必要になって、Rust難しいってなる(^_^;)

[MonMonMon]

c++erとしてはmoveがデフォルトになってる言語ってので、ここまではすんなりいきますね

[htsign]

同じように所有権（っぽいもの）を持ったponylangが好きなんだけど、標準ライブラリが貧弱すぎて生産性爆下がりする

[JULY]

C++ のスマートポインタの話から説明で腑に落ちた。

[topiyama]

C/C++置き換え需要だから……。ネイティブコードコンパイラで低階層ソフト向けなので、開放漏れみたいなのは開発環境側で静的検出してくれるほうが有り難いんだよなー

[programmablekinoko]

確かにポインタとかオブジェクト参照渡ししまくってると妙な気持ち悪さを感じることがある

[KazuoLv1]

それで結局、何を解決しようとしたの？

[eagleyama]

“このスマートポインタは GC のような定期的な走査を必要とせず、しかし開放忘れのような問題は生じません。この魔法を理解するには、「所有権」を理解する必要があります”

[zkzi3254]

難しいと言われてる所有権について解説していて参考になりそう

[yarumato]

“所有権という言葉よりもownership (持ち主であること) のほうが的確。実質的には「リソース解放の義務がある」状態。C++スマートポインタ理解にもownershipを理解する必要。 Pythonのコードと比較”