Rust part14

**デフォルトの名無しさん** · 2022/02/12(土) 01:24:16.59

公式
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を学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

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

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

※次スレは原則>>980が立てること

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

**デフォルトの名無しさん** · 2022/02/19(土) 18:01:00.26

&dynの参照先はヒープ（例えばBoxの中身）の可能性もあるからヒープを使わないって表現は誤解を招きそう

**デフォルトの名無しさん** · 2022/02/19(土) 18:59:15.30

>>41
stable前提話でごめん
unsized localがstableとなるには
一旦可変長配列を切り離さないと厳しい？

>>44
そんなことを書いてる人はいない
俺が書いた分も、dyn自体は(arrayなどと同様に)ヒープを使わない、だけだぞ
しかもその後にBoxでヒープを使う話もしている

**デフォルトの名無しさん** · 2022/02/19(土) 22:32:05.29

>>43
&strがstrへの参照であるように
&dyn Traitもdyn Traitへ単なる参照
&strにStringを代入すればDerefがstrを生成してるように
&dyn ReadにFileを代入すればコンパイラがdyn Readを生成してる

BoxだけでなくRc<dyn Trait>とかも使えるからね

**デフォルトの名無しさん** · 2022/02/19(土) 23:18:16.06

>>46
自己矛盾を起こしているぞ2点も
まず1点目
前者はターゲットstrでimpl Deref for String実装というコードが実際にありその枠組みに従った規定通りの操作
後者はそのような枠組みも実装コードも公開されていない操作
次に2点目
前者はStringの一部を指しているだけであり何か新たな実体を生成してそこを指しているわけではない
後者はFileとは別にvtableなどの実体を生成している
このように明白に異なる

**デフォルトの名無しさん** · 2022/02/20(日) 01:59:50.05

>>47
strとtrait objectという別のものなんだから違いがあるのは当たり前
>>40と>>42の対比が成立しないと言えるような違いを指摘しないと意味ないよ

**デフォルトの名無しさん** · 2022/02/20(日) 02:11:24.76

>>47
>前者はStringの一部を指しているだけであり何か新たな実体を生成してそこを指しているわけではない
>後者はFileとは別にvtableなどの実体を生成している

ああ、なるほど
trait objectが生成されるときにvtableも生成されると思ってるのか

**デフォルトの名無しさん** · 2022/02/20(日) 02:49:14.40

dynにキャストするときにコンパイラがfat pointerから参照させる用のvtableを生成することを指しているのでは？

**デフォルトの名無しさん** · 2022/02/20(日) 03:20:02.69

>>48
そのように大きく違いのある全く別のものを対比させるのは無意味なので、置き換えは無理があるんじゃないか、と書いた

>>49
そこは実行時にvtableを生成とも誤解しかねない書き方をしてすまん
vtable自体は型とtraitのペアで静的に確定するものでありコンパイル時に生成している

**デフォルトの名無しさん** · 2022/02/20(日) 10:31:39.82

>>50,51
vtableはtrait objectの有無に限らずtrait実装につき1つコンパイル時に作成されそれが共有して使われる

vtableを指すtrait objectも実行時じゃなくコンパイル時に作成される
実行時にはvtable経由のダイナミックディスパッチが発生するだけ

**デフォルトの名無しさん** · 2022/02/20(日) 11:23:51.17

>>52
そうか、crate内で静的ディスパッチしかしてなくても他crateからtrait objectとして使われる場合もあるから常にvtableは生成されるのね

ちなみに、object safeでないtraitについては生成されない (できない) よね？

**デフォルトの名無しさん** · 2022/02/20(日) 13:54:46.64

Rustって関数のデフォルト引数ないの？

**デフォルトの名無しさん** · 2022/02/20(日) 14:48:11.68

>>53
trait objectとして使われなくても常にvtableが作成されるかどうかはコンパイラの最適化の話だからここでは関係ないよね
実際のところはdylibじゃなければコンパイル時に使われないことがはっきりしてるはずだから作られないと思うけど

**デフォルトの名無しさん** · 2022/02/20(日) 17:48:45.70

>>55
コンパイル時じゃなくてリンク時の最適化の話じゃないの
オブジェクトファイルには常にvtable埋め込まれてるのかと
それとも dyn Trait を使った側のcrateのオブジェクトファイルにvtableは埋め込まれる？

**デフォルトの名無しさん** · 2022/02/20(日) 22:19:41.32

>>51
>> vtable自体は型とtraitのペアで静的に確定するものでありコンパイル時に生成

>>52
>> vtableはtrait objectの有無に限らずtrait実装につき1つコンパイル時に作成

この件だがコンパイラのソースを見ると
必要となる型の分だけコンパイル時にvtableを作成してるよな
https://github.com/rust-lang/rust/blob/stable/compiler/rustc_codegen_ssa/src/meth.rs#L53

**デフォルトの名無しさん** · 2022/02/21(月) 00:37:14.94

crateあたり同一traitのvtableは最大一つ生成されるということかな

**デフォルトの名無しさん** · 2022/02/21(月) 00:58:29.74

同一traitが複数の型で実装されてたらその型ごとに作られるはず

**デフォルトの名無しさん** · 2022/02/21(月) 17:43:56.41

各型毎にtrait objectやvtableはこういう構造になっている
let mut stdin: std::io::Stdin = std::io::stdin();
let addr_stdin = addr!(stdin); // &mut借用する前にアドレスを得ておく
let dyn_stdin: &mut dyn std::io::Read = &mut stdin; // ここで dyn Readのtrait object作成
assert_eq!(val!(addr!(dyn_stdin), 0), addr_stdin); // 前半は元のstdinを指している
// assert_eq!(val!(addr!(dyn_stdin), 1), 【Stdin用のvtable】); // 後半はStdin用vtableをを指している
assert_eq!(val!(val!(addr!(dyn_stdin), 1), 3), <std::io::Stdin as std::io::Read>::read as usize);
assert_eq!(val!(val!(addr!(dyn_stdin), 1), 4), <std::io::Stdin as std::io::Read>::read_vectored as usize);

別の型でも同じようにdyn Read作成
let mut file: std::fs::File = std::fs::File::open("/dev/null").unwrap();
let addr_file = addr!(file);
let dyn_file: &mut dyn std::io::Read = &mut file; // trait object作成
assert_eq!(val!(addr!(dyn_file), 0), addr_file); // 前半は元のfileを指している
// assert_eq!(val!(addr!(dyn_stdin), 1), 【File用のvtable】); // 後半はFile用vtableをを指している
assert_eq!(val!(val!(addr!(dyn_file), 1), 3), <std::fs::File as std::io::Read>::read as usize);
assert_eq!(val!(val!(addr!(dyn_file), 1), 4), <std::fs::File as std::io::Read>::read_vectored as usize);
上述Stdinの時と同じ位置にFile用のread()やread_vectored()がvtableに入っていることがわかる

したがって>>59や>>51が正しいと思う
各trait毎にvtableのメソッドの位置が決まり
そのtraitを実装する各型毎にvtableが作成される

**デフォルトの名無しさん** · 2022/02/21(月) 18:18:27.01

traitをimplした型が違ったら対応するfnの中身も違うので
同じtraitでも実装された型ごとに違うvtable作らなきゃいけないのは確かに当然か

>>60
異なるcrateからtrait object生成した場合にvtableは同じアドレスのものになるの？
それとも、異なるものになるの？

**デフォルトの名無しさん** · 2022/02/21(月) 23:56:22.93

>>57
「trait objectを使うようなコードが一切存在しなくても」vtableが作られると言いたかったわけではないんだが書き方が悪かったね

**デフォルトの名無しさん** · 2022/02/22(火) 00:04:11.51

vtable自体はデバッグビルドのasmやllvm-irで確認できるよ
例えばxという名前のメソッド1つだけ持つFooトレイトのi32実装ならこんな形でvtableが出力される

.quad core::ptr::drop_in_place<i32>
.asciz "¥004¥000¥000¥000¥000¥000¥000¥000¥004¥000¥000¥000¥000¥000¥000"
.quad <i32 as playground::Foo>::x

**デフォルトの名無しさん** · 2022/02/22(火) 11:55:50.79

>>61
crateごとじゃなくcodegen unitごとにvtableが作成される可能性が一応ある
crateが違っても必ずしも複数のvtableができるわけではない

**デフォルトの名無しさん** · 2022/02/22(火) 12:24:58.23

違う型のvtableがmergeされることもあるみたい
https://rust-lang.github.io/rust-clippy/master/#vtable_address_comparisons

**デフォルトの名無しさん** · 2022/02/22(火) 12:36:19.01

>>64
前者は分かるんだけど後者はどういう時にそうなるの？
依存crateにvtableが含まれてる場合？

**デフォルトの名無しさん** · 2022/02/22(火) 14:56:23.72

>>60
もう少しvtableの情報を詳細にした
let mut file: std::fs::File = std::fs::File::open("/dev/null").unwrap();
let addr_file = addr!(file);
let dyn_file: &mut dyn std::io::Read = &mut file;
という状況で以下が成立

assert_eq!(val!(addr!(dyn_file), 0), addr_file);
let vtable_file = val!(addr!(dyn_file), 1);
assert_eq!(val!(vtable_file, 0), std::ptr::drop_in_place::<std::fs::File> as usize);
assert_eq!(val!(vtable_file, 1), std::mem::size_of::<std::fs::File>());
assert_eq!(val!(vtable_file, 2), std::mem::align_of::<std::fs::File>());
assert_eq!(val!(vtable_file, 3), <std::fs::File as std::io::Read>::read as usize);
assert_eq!(val!(vtable_file, 4), <std::fs::File as std::io::Read>::read_vectored as usize);
つまり型情報が消失したdynにおいてもこのvtableさえ保持していれば正しくトレイトメソッドやデストラクタを呼び出せる

>>65
そのコードだと比較しようとしているのはvtableやそのアドレスではなく
上述コードでのdyn_fileのアドレスを比較しているだけなのでそもそも前提が謎だな
さらにvtableの内容は各型に完全に依存しているからmergeの意味もよくわからない

**デフォルトの名無しさん** · 2022/02/22(火) 15:27:07.33

空traitなんかは異なる型同士でvtable使い回しできるのでは
あとは全associated fnにデフォルト実装が与えられていて中身が全く同じものとか
いずれにせよLLVMがよしなに最適化してくれるとかなのでは？

**デフォルトの名無しさん** · 2022/02/22(火) 17:06:00.72

vtableにはデストラクタも乗ってるようだけどそれも必要ない場合あるもんな
>>67の状況も今後実装が変わったり最適化で消えたり色々ありうるわけだ
いずれにせよ我々は興味本位で語り合ってるだけであり
このあたりの非公開の仕様に依存したコードを書いてはいけないしな

**デフォルトの名無しさん** · 2022/02/22(火) 23:08:55.74

>>67
>上述コードでのdyn_fileのアドレスを比較しているだけなのでそもそも前提が謎だな
Rc::ptr_eqで単純に比較するとfat pointer内のdataへのpointerとvtableへのpointerの両方が一致してるかのテストになる

>さらにvtableの内容は各型に完全に依存しているからmergeの意味もよくわからない
わかりやすいのは&Tと&mut Tのように可視性のみ違う場合

**デフォルトの名無しさん** · 2022/02/22(火) 23:17:56.21

>>70
dataへのpointerの一致を見てるなら
型を含めた一致が保証される？

**デフォルトの名無しさん** · 2022/02/22(火) 23:33:33.79

>>66
>依存crateにvtableが含まれてる場合？
そうだね
依存crateに含まれてても同じ内容のvtableができる場合もあるみたいだからいくつか条件があるみたいだけど

**デフォルトの名無しさん** · 2022/02/22(火) 23:44:43.85

>>71
std::ptr::eqでdataへのpointerを比較すれば保証されると思うよ

**デフォルトの名無しさん** · 2022/02/23(水) 08:40:05.57

プロジェクトのディレクトリの外から
$ cargo run
するときってどうやってプロジェクト (ディレクトリ) を指定するの？

**デフォルトの名無しさん** · 2022/02/23(水) 10:36:44.63

https://github.com/rust-lang/cargo/issues/1485

**デフォルトの名無しさん** · 2022/02/23(水) 15:08:57.81

>>74
用途が違うかもしれんがworkspace配下からなら-p <package-name>で指定できる

**デフォルトの名無しさん** · 2022/02/23(水) 23:58:29.92

>>70
vtableがmergeされるのかどうか
trait定義methodの定数返しと最適化されやすいようにして
さらに &T と &mut T でやってみたがtableは別々になった

まず最初の原因はvtable最初の要素である以下が成立していないためとわかった
assert_eq!(std::ptr::drop_in_place::<&i32> as usize, std::ptr::drop_in_place::<&mut i32> as usize);
ところが--releaseにすると上記は成立するようになった
同様にtrait定義methodも--releaseにすると同じアドレスとなった
つまりこういう実験において--releaseオプションは必須
そしてvtableの内容は全て完全に一致
しかしvtableのアドレス(格納場所)は異なり別々のvtableのままであった

**デフォルトの名無しさん** · 2022/02/24(木) 00:46:54.35

LLVMの最適化で何が行われるかrust側では保証できないから >>65 みたいに同一性について保証しないって仕様になっているんだろうね

**デフォルトの名無しさん** · 2022/02/24(木) 00:52:17.43

そういえばRustってC++とかFortranみたいに最適化で結果変わる可能性ってあるの？

**デフォルトの名無しさん** · 2022/02/24(木) 00:56:53.49

>>77 がその結果の変わる一例では、ってことではない？

**デフォルトの名無しさん** · 2022/02/24(木) 00:59:33.72

>>77は内部構造が変わるという話で出力が変わるという話ではないと思っていた

**デフォルトの名無しさん** · 2022/02/24(木) 01:53:13.93

>>79
Rustは他の言語と違い、UB (undefined behavior)すなわち未定義動作を基本的に起こさないように安全に設計されている
最適化オプションの有無でもその点は大丈夫

もちろん念のためだが、入力が異なれば結果は変わるし、非同期の実行タイミングは当然保証されないから実行順序に依存するコードは結果が変わり得る
そういうことでないならば結果は同じになる

ちなみにvtableの件は仕様が公開すらされていない内部情報の話
しかもそこに収容される関数のアドレスの値やvtableのアドレスの値というプログラマーが全く気にする必要ない話
だからこれらは変化してももちろん良くてそれを承知の上で盛り上がってるだけ

**デフォルトの名無しさん** · 2022/02/24(木) 01:56:10.31

>>82
よかった。安心したわ。ありがとう

**デフォルトの名無しさん** · 2022/02/24(木) 14:04:31.52

vtableの話は元々のスタックやヒープの話と関係あったの？

**デフォルトの名無しさん** · 2022/02/24(木) 14:36:03.44

関係ないけどスタックやヒープの話よりも面白かった

**デフォルトの名無しさん** · 2022/02/25(金) 09:31:23.23

ついに期待のRust 1.59がリリース！

**デフォルトの名無しさん** · 2022/02/25(金) 09:56:57.35

>>86
なにか目玉機能あるの？

**デフォルトの名無しさん** · 2022/02/25(金) 11:13:21.04

asm!とdestructuring assignmentかな

**デフォルトの名無しさん** · 2022/02/25(金) 12:42:45.63

来たね

**デフォルトの名無しさん** · 2022/02/25(金) 15:06:17.84

inline asm安定化は嬉しい、stableでベアメタルやりやすくなるかも

**デフォルトの名無しさん** · 2022/02/25(金) 16:04:22.84

この馬鹿はアホすぎて日本語分からないようなのでこちらに転送。
https://mevius.5ch.net/test/read.cgi/tech/1605467680/919
以降はこちらで。

**デフォルトの名無しさん** · 2022/02/25(金) 17:28:20.31

同じやつかもしれんが、スレ違いの指摘を聞かない馬鹿3名引き取ってくれ
ID:u7rOKKj6
ID:iu2arc+w
ID:aDhOSI3t

**デフォルトの名無しさん** · 2022/02/25(金) 17:31:49.95

お膣毛

**デフォルトの名無しさん** · 2022/02/25(金) 17:39:52.83

rustのバージョンごとのリリース予定機能ってどこかにまとまってるの？
betaに入ったものはだいたいそのままstableになるから事前にどの機能が来るのか分かると思うんだが
いつもstableリリースのブログ投稿で知るので、もっと早めに知れると嬉しい

**デフォルトの名無しさん** · 2022/02/25(金) 18:25:23.29

Rust コンパイラのリリースサイクルは六週間という時間で区切ってるから
その時点で確定してるものが入るって感じじゃないの。
次のリリースまでにこれとこれを……というようなマイルストーン方式ではない。

**デフォルトの名無しさん** · 2022/02/25(金) 18:45:09.48

最近12週間でnightly(master)でstabilizeされた機能一覧とか
最近6週間でbetaに入った機能一覧を知る方法ない？って意図だった

**デフォルトの名無しさん** · 2022/02/25(金) 18:59:15.48

Githubのマイルストーン見ればいいんじゃない？
例えば1.60.0だとこれが入る予定なはず
https://github.com/rust-lang/rust/milestone/90?closed=1

**デフォルトの名無しさん** · 2022/02/25(金) 19:27:57.07

なるほどmilestoneがあったか
relnotesラベルで絞り込むといい感じだ
ありがとう
https://github.com/rust-lang/rust/issues?q=milestone%3A1.60.0+label%3Arelnotes

**デフォルトの名無しさん** · 2022/02/25(金) 21:16:51.47

https://mevius.5ch.net/test/read.cgi/tech/1605467680/927
まだやってるんだがｗ
ID:aDhOSI3t

**デフォルトの名無しさん** · 2022/03/02(水) 12:22:44.66

Electronの代替を目指す軽量なRust製フレームワーク「Tauri」、リリース候補版に到達
https://www.publickey1.jp/blog/22/electronrusttauri.html

Electronの優れた特徴を備えつつ、よりメモリ消費量が小さくファイルサイズもコンパクトで、高いセキュリティを備え、柔軟なライセンスを実現しようと開発されたのが「Tauri」です。

GitHubにはElectronとの比較表が示されています。それによるとLinux版のインストールサイズがElectronで52.1MBのところ、Tauriは10分の1以下のわずか3.1MB。同じくLinux版でのメモリ消費量はElectronが462MBのところ、Tauriは半分以下の180MBとなっています。

起動時間もElectronの0.80秒に対してTauriは0.39秒です。

**デフォルトの名無しさん** · 2022/03/02(水) 13:09:17.24

モバイル版も予定されてるとなるとFlutterにも似てるかな
あっちはモバイルベースのフレームワークだけど

**デフォルトの名無しさん** · 2022/03/02(水) 16:28:42.01

rustで複数のプロセスで「共有メモリ」したい場合ってどうすればいいの？

**デフォルトの名無しさん** · 2022/03/02(水) 16:53:15.47

プロセス間だとCと大して変わらないと思う
libcのmmapとかでアドレスに共有ファイルを割り当ててそのポインタをBoxもどきで包む
Drop時にfreeじゃなくmunmapするBoxっぽい別の型が必要でプロセス間のロックとか考えるともっと面倒くさい
mmapでcrate検索すれば使えるのがあるかもしれない

**デフォルトの名無しさん** · 2022/03/02(水) 17:43:29.63

基本的には >>103 の言うとおり C と変わらないと思う
shared_memoryというLinuxとWindowsで使えるクロスプラットフォームなcrateもあるみたいだね

ただプロセス間でメモリを共有する場合に複数プロセスから同一領域に対して &mut 参照を作っちゃうと UB にならないかは気になる

**デフォルトの名無しさん** · 2022/03/03(木) 05:15:49.21

>>100
WebViewなら大して変わらんじゃないか
がっかり

**デフォルトの名無しさん** · 2022/03/03(木) 05:38:31.20

>>105
かなり違うよ？

**デフォルトの名無しさん** · 2022/03/03(木) 07:53:58.47

むしろ、rustでプロセス間通信をする場合に相性が良いのは何か、というのが本質では無いだろうか？
プロセス間共有メモリをrust的に安全になるように包むことは可能なのか？
パイプやソケットの再実装にならないか？

**デフォルトの名無しさん** · 2022/03/03(木) 08:16:43.34

本当に共有メモリが必要なのか？って所だよな
ベアメタル開発時のハードウェアみたいに必須のケースもあるけど

**デフォルトの名無しさん** · 2022/03/03(木) 08:44:34.78

メッセージキューのほうが安全かね。
速度と手間は犠牲になりそうだけど。

**デフォルトの名無しさん** · 2022/03/03(木) 09:15:37.98

どういう問題を解決したいかという文脈抜きに
どういう手段がいいかを論じても意味ないよ
いわゆるXY problem

**デフォルトの名無しさん** · 2022/03/03(木) 09:18:31.12

>>107
共有メモリをミューテクスで排他制御するならロックの取得/解放をメモリの取得/解放と同等に扱えるような気はするが

**デフォルトの名無しさん** · 2022/03/03(木) 10:18:45.28

volatileアクセスするのが自然なんじゃねーの。

**デフォルトの名無しさん** · 2022/03/03(木) 16:55:17.18

>>112
volataileはプロセス間のリソース共有とは概念的には別の話。

**デフォルトの名無しさん** · 2022/03/03(木) 17:16:17.86

少なくともCでは
CON02-C. volatile を同期用プリミティブとして使用しない
ttps://www.jpcert.or.jp/sc-rules/c-con02-c.html
だけど、Rustは同期が保証されるんだっけ？

**デフォルトの名無しさん** · 2022/03/03(木) 19:04:46.11

それはマルチスレッドの話でしょ？

**デフォルトの名無しさん** · 2022/03/03(木) 19:15:45.62

全ての共有メモリのページアクセスに対して割込みをかけてるならそういう実装も可能だろうけど、現実的には考えにくいだろうｗ
アホなこと考える前に自分でコード読めよｗ

**デフォルトの名無しさん** · 2022/03/03(木) 19:22:14.52

>>100
そのTauriに興味を持ったのですが
それはJSの使用を限りなく小さくできますか？

**デフォルトの名無しさん** · 2022/03/04(金) 11:29:49.34

>>117
根拠はないけどできると思うよ

**デフォルトの名無しさん** · 2022/03/04(金) 18:24:33.40

で、Tauri使ってみた人いるの？

**デフォルトの名無しさん** · 2022/03/04(金) 18:45:00.29

>>119
その質問の意図は？

**デフォルトの名無しさん** · 2022/03/04(金) 20:47:25.90

Rustみたいな標準ライブラリが未熟で安全性のかけらもなく、野良のゴミコードばかりの言語ありがたがって使うアホいないよなｗ

**デフォルトの名無しさん** · 2022/03/04(金) 20:50:32.75

>>121
Javaもそう言われてたけどなw20年くらい前

**デフォルトの名無しさん** · 2022/03/04(金) 20:57:54.90

20年くらい前のJavaはSunの強力な後押しでつよつよだったからなｗ
ソフト資産も順当に増えたｗ安全性はRustの比じゃないし、らいとわんすらんえびうぇあと嘯いてたｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:04:31.08

>>123
たしかにヌルポなどJavaの安全性は低いけど
RustはJavaとは異なりその点も安全性が保証される言語だから
実際にJavaからRustへの移行も進んでいる

**デフォルトの名無しさん** · 2022/03/04(金) 21:06:23.95

ぬるぽなどの安全性！？ぬるぽなんて安全そのもので代名詞みたいなもんだろうｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:10:22.89

Rustなんて誰も知りませんよ？
https://trends.google.co.jp/trends/explore?date=today%205-y&;q=%2Fm%2F0dsbpg6,%2Fm%2F07sbkfb,%2Fm%2F05z1_

**デフォルトの名無しさん** · 2022/03/04(金) 21:11:31.69

;消してなｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:15:18.91

>>124
それ以外にもJavaは実行時エラー(例外)が多すぎですね
Rustはコンパイル時にエラー検出してくれるものが多いだけでなく
実行時エラーとなるものでもResultやOptionで返すからエラー処理忘れが起きないけど
Javaは忘れていても通ってしまい実行時にレア発生するものだと本運用で例外発生で落ちたり

**デフォルトの名無しさん** · 2022/03/04(金) 21:19:19.87

Rustでも雑にunwrap使ったらpanicで死ぬ可能性あるよね

**デフォルトの名無しさん** · 2022/03/04(金) 21:20:22.36

そんなこと起きないし
Rustみたいに
誰もコーディングできません
聞ける人いません
ライブラリありません
エラーわかりません
とか言われないｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:24:24.27

おじさん芸風変えたのか？

**デフォルトの名無しさん** · 2022/03/04(金) 21:27:15.64

リリース前にunwrap全部消しとかないと叩かれるの？

**デフォルトの名無しさん** · 2022/03/04(金) 21:33:51.78

どんな言語でもロジックミスでプログラムが終了することはいくらでもあるｗ
安全というのはそういう事態が起きてもプログラムがsegmentation faultなどで落ちないことｗ
よりよい実装方法はあるけど、それはそれｗ
まあリリース後にpanicで終了するのは製品ならやばいｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:47:04.33

>>132
可能な限りunwrap()は避けたほうがよいでしょう
もちろん続行不可能なために意図的にpanic終了させたい場合は別です
ロジック的にここでは絶対にNoneやErrが来ないはず！(と思い込んでいる)ケースもありますが
それならばせめてその理由を記述したexpect()を呼ぶように変えることで
発生時対処やコードをレビューする人にも役立つと思います

**デフォルトの名無しさん** · 2022/03/04(金) 21:49:55.68

unwrapなんていくらでもそこら中で使ってるだろｗ
流石Rust ｗｗｗｗ

**デフォルトの名無しさん** · 2022/03/04(金) 21:57:04.53

もちろん誰が見ても起きないとわかる自明な場合はunwrap()でいいと思いますよ
自明でない場合はせめてコメントに理由を残すとよいでしょう
自分で書いたコードでも1年後に「ここでunwrap()大丈夫だっけ？」と忘れてることもありうるためw

**デフォルトの名無しさん** · 2022/03/04(金) 22:05:29.47

そんなのは誰がどんな理由でどう書いたってその人の自由ｗ
他の人がどう思うかを気にするなら、べき論くらいは知っててもいい程度の話ｗ

**デフォルトの名無しさん** · 2022/03/04(金) 22:05:29.91

unwrapはunwrapで死ぬけどヌルポはしばらく動いてから死ぬという地味な怖さがある

**デフォルトの名無しさん** · 2022/03/04(金) 22:07:00.39

RustがJavaやC#より安全なわけないだろｗ頭悪すぎｗ

**デフォルトの名無しさん** · 2022/03/04(金) 22:14:27.75

>>139
Rustの方が安全
Rustはデータ競合安全性もコンパイラが保証

**デフォルトの名無しさん** · 2022/03/04(金) 22:51:40.80

unsafeこんもりのRustが安全なわけないだろｗ

**デフォルトの名無しさん** · 2022/03/04(金) 23:07:12.52

理由を書かずに同じ言葉繰り返すだけのおじさん

**デフォルトの名無しさん** · 2022/03/04(金) 23:14:03.66

もしかして手元のCコードをRustにベタ移植してる？

コンパイル通すためにunsafeこんもりなら納得できるが