Rust part12

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

公式
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/

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

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

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

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

次スレは>>980が立ててくださいな

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

980ですゴメンナサイお詫びに

Rust The Book (日本語版)
https://doc.rust-jp.rs/book-ja/
Rust edition guide (日本語版)
https://doc.rust-jp.rs/edition-guide/
Rust by example (日本語版)
https://doc.rust-jp.rs/rust-by-example-ja/
Rust cookbook (日本語版)
https://uma0317.github.io/rust-cookbook-ja/
Rust API guideline (日本語版)
https://sinkuu.github.io/api-guidelines/
Rust nomicon book (日本語版)
https://doc.rust-jp.rs/rust-nomicon-ja/
Rust WASM book (日本語版)
https://moshg.github.io/rustwasm-book-ja/
Rust embeded book (日本語版)
https://tomoyuki-nakabayashi.github.io/book/
Rust enbeded discovery (日本語版)
https://tomoyuki-nakabayashi.github.io/discovery/

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

Rust CLI (Command Line Interface) apps Book
https://rust-cli.github.io/book/
Rust async-std Book
https://book.async.rs/
Rust The Unstable Book
https://doc.rust-lang.org/nightly/unstable-book/
Rust rustc Book
https://doc.rust-lang.org/rustc/
Rust Cargo Book
https://doc.rust-lang.org/cargo/

**デフォルトの名無しさん** · 2021/08/25(水) 02:49:11.51

>>1
乙です。

**デフォルトの名無しさん** · 2021/08/25(水) 03:59:04.43

The Rust Reference
https://doc.rust-lang.org/reference/
The Rust Standard Library
https://doc.rust-lang.org/std/

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

前スレで循環参照なんて初心者でもすぐ作れてしまうとの意見もあったけど
Rc型を使うだけの初心者には原理的に不可能
内部可変性を与えるRefCell型も併用しないと循環参照は作れない
一つの可変参照&mutか複数の不可変参照&のどちらかのみ許されるコンパイル時確認ルールを実行時確認ルールで行なうのがRefCell型
それにより明示的に可変参照を得ることで内部可変性を持てるようにしたもの
そしてRcと組み合わせてRc<RefCell<T>>を使うことで既にあるリンクを書き換え出来るようになりようやく循環参照を作れる
もちろん自分でunsafeすればやりたい放題てすがunsafeせずともメモリ安全性ルールの元に使えます
ここまで出来る人なら強参照Rcだけでなく弱参照Weakも併用できますから循環参照を避けることも出来るでしょう

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

マーフィーの法則
失敗する余地があるなら、失敗する

**デフォルトの名無しさん** · 2021/08/25(水) 09:53:46.73

テンプレートがやたらたくさん入り乱れる言語は嫌いだわ
可読性めちゃくちゃ悪いよな

**デフォルトの名無しさん** · 2021/08/25(水) 10:40:52.46

>>7
そこまでできてやっとRust初心者という見方もあるかもしれない

**デフォルトの名無しさん** · 2021/08/25(水) 11:24:43.65

直接関係ないけど、RefCellは借用チェックが実行時段階でのチェックになって
しまうんだってな。

**デフォルトの名無しさん** · 2021/08/25(水) 11:34:25.36

>>11
長文だから>>7をスルーしたな？

**デフォルトの名無しさん** · 2021/08/25(水) 11:41:16.58

RefCellの借用チェックが実行段階にまで持ち越されるのは、循環参照とは全く別の話。
それはつまり、「ゼロコスト」ではないということ。

**デフォルトの名無しさん** · 2021/08/25(水) 12:14:34.01

>>7
Rc<RefCell<T>>じゃなくてRefCell<Rc<T>>だね
気持ちはよく分かる

**デフォルトの名無しさん** · 2021/08/25(水) 12:30:44.27

>>14
どっちもあるけど通常はRc<RefCell<T>>だよ

**デフォルトの名無しさん** · 2021/08/25(水) 13:42:20.13

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

**デフォルトの名無しさん** · 2021/08/25(水) 13:42:36.69

これに答えろ

**デフォルトの名無しさん** · 2021/08/25(水) 14:22:27.47

>>16
なぜRustのスレに書いているのか不明だけど
当然NULLにならなかったよ

キャスト警告無視で
#include <stdlib.h>
main() {
　char *ptr = malloc(1024);
　printf("ptr(1): %x\n", ptr);
　free(ptr);
　printf("ptr(2): %x\n", ptr);
　free(ptr);
　printf("ptr(3): %x\n", ptr);
}

実行結果
ptr(1): ea8f72a0
ptr(2): ea8f72a0
free(): double free detected
core dump

**デフォルトの名無しさん** · 2021/08/25(水) 14:49:12.37

>>11
静的にチェックできないような使い方を実現するためのものなんだから
実行時チェックになるのは当然では
オーバーヘッドが気になるなら UnsafeCell を使えばよい

>>16
C には参照はないので free(a) という呼び出しで a の値が書き換わることはなく malloc で獲得した領域のアドレスがそのまま残る
領域自体は free で解放済みになっているため、アクセス (free 呼び出し含む) した場合何が起きるか分からない
このような解放済みの領域へのアクセスは use-after-free と言われるもので、脆弱性の原因として有名

**デフォルトの名無しさん** · 2021/08/25(水) 14:50:41.52

>>18
なるほど
free内で代入されるのではなく
自分で代入しないとNULLにはならないのですね。
ありがとうございました。

**デフォルトの名無しさん** · 2021/08/26(木) 04:09:52.45

そういやNull代入派とかいうのもいたな

**デフォルトの名無しさん** · 2021/08/26(木) 07:18:01.38

uaf防ぐのってぶっちゃけ簡単ですよね？freeしたあとにNULL代入するのを鉄則化するだけですよね？

**デフォルトの名無しさん** · 2021/08/26(木) 07:18:53.92

ポインタコピーすることないの？
加減算することないの？