Rust part11

**デフォルトの名無しさん** · 2021/06/17(木) 00:24:12.56

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

日本語の情報
https://rust-jp.rs/

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/

前スレ
Rust part10
https://mevius.5ch.net/test/read.cgi/tech/1617367084/

**デフォルトの名無しさん** · 2021/08/24(火) 08:48:26.31

行数の問題ではなく、Rcを使って独自のデータ構造を作るスキルがあるのに循環参照だけ知らない初心者、というのはレアということでは
まぁそれはそれとして直すのが難しいケースがあるのは同意

**デフォルトの名無しさん** · 2021/08/24(火) 09:23:53.65

・Rustで循環参照が起きるにはRc利用が必須
・Rc利用者は循環参照の存在もそれを避けるWeakの存在も知っている
・したがってRustでメモリリークを生じさせる者はレアケース

・Weak(弱参照)を適切に上手く用いて循環参照を避けるのが大変な場合もあるが全ての言語で共通の問題でありRustの問題点ではない

**デフォルトの名無しさん** · 2021/08/24(火) 12:45:30.39

>>971
なるほど。Rustのオブジェクト型であるところの struct はデフォルトでは
Copy trait は実装されないので、>>970 の後半のように借用を介して
moveのsource側にすることは禁止されているということなのね。

**デフォルトの名無しさん** · 2021/08/24(火) 15:09:04.48

rustってどうやって二重開放のリスク防いでるの？全然ピンとこない

**デフォルトの名無しさん** · 2021/08/24(火) 15:50:18.44

ownershipが１つしかない状態を維持しつつownershipが0になったら（確実に）解放する感じ

ownershipはどこかの変数が直接的or間接的に保有してて
同じリソースに複数のownershipが発生しないように
代入とか関数の受け渡しでmoveしたりborrowしたりする

少し逸れるけど解放処理を必要としないデータはCopy可能な場合が多い
ownershipは「所有権」て訳されるけど意味的には「解放権」とか「解放責任」に近いかも

**デフォルトの名無しさん** · 2021/08/24(火) 16:38:09.46

>>977
公式の見解を個人の感想と一緒にするなよ

**デフォルトの名無しさん** · 2021/08/24(火) 17:46:18.00

Rustで循環参照作るの簡単とか言ってるやつは100%エアプだからほっといてやれ
他言語での経験をあたかもRustで経験したかのように語りたかったんだろう

**デフォルトの名無しさん** · 2021/08/24(火) 18:15:27.00

>>985
メモリリークの原因になるかどうかを別にすれば、循環参照自体は普通に簡単に生じるだろう

**デフォルトの名無しさん** · 2021/08/24(火) 18:45:16.53

unsafeでポインタ使えば簡単だろうけどライフタイムのある参照の循環は大変そう
'a > 'bと 'b > 'aを両立は不可能に見えるけど何か抜け道あるのかな

**デフォルトの名無しさん** · 2021/08/24(火) 18:55:37.63

循環参照どころか連結リストも荷が重い

**デフォルトの名無しさん** · 2021/08/24(火) 19:43:21.83

>>983
なるほどサンクス
リージョン理論に線形論理を上手く組み合わせて、cycloneとかの欠点を克服したrustってすげーなあ
とはいってもそもそも二重開放してエラーになるというのがピンとこない
free(a);
free(a);
は二重解放しているように見えて合法だろ？
一度目のfreeでaにNULLが代入されて、二度目のfreeでは引数がNULLの場合はそのままreturnって処理されるんだから、理論上は何度free使ってもエラーにならないじゃないか

**デフォルトの名無しさん** · 2021/08/24(火) 19:58:14.02

何の話？　C？

**デフォルトの名無しさん** · 2021/08/24(火) 20:39:00.27

>>980
>Rustで循環参照が起きるにはRc利用が必須
RcだけじゃなくRcとInterior Mutabilityが必須
(どちらか片方はmutableじゃないと循環させられないので)

>Weak(弱参照)を適切に上手く用いて循環参照を避けるのが大変な場合もあるが
Rustの場合は循環参照で意図通り動くコードを書くのに比べれば
弱参照に変更するのはすごく簡単

循環参照を修正してる例
https://github.com/DataDog/glommio/commit/677fe1dfbaf911245fbc5c3eef75532d08d784bf
https://github.com/KWARC/rust-libxml/commit/bd4b120b90b2568ca6d5bfaa368a200573b87d09

**デフォルトの名無しさん** · 2021/08/24(火) 20:58:14.10

すまんが、複数のファイルにソースを分割する練習教材みたいなものがあったら教えてくれんか？

**デフォルトの名無しさん** · 2021/08/24(火) 22:56:02.07

次スレ
https://mevius.5ch.net/test/read.cgi/tech/1629813327/

**デフォルトの名無しさん** · 2021/08/24(火) 23:03:55.04

>>992
「book」にもモジュールの章がある。

**デフォルトの名無しさん** · 2021/08/24(火) 23:31:00.93

>>987
RcとRefCell使えば数行

**デフォルトの名無しさん** · 2021/08/24(火) 23:45:46.97

循環によって現れるメモリリークは Rust が提供する「メモリ安全」を損なわないと定義されている。
Rust は循環参照を防がないし、メモリリークに対処するのはプログラマの責任。

**デフォルトの名無しさん** · 2021/08/25(水) 00:57:06.67

>>992
もう見てるかもだが
http://www.sheshbabu.com/posts/rust-module-system/

**デフォルトの名無しさん** · 2021/08/25(水) 01:28:54.33

>>990
c

**デフォルトの名無しさん** · 2021/08/25(水) 01:29:12.12

うんこ

**デフォルトの名無しさん** · 2021/08/25(水) 01:29:33.60

1000ならここにいるやつら全員失職

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 69日 1時間 5分 21秒