Rust part13

**デフォルトの名無しさん** · 2021/11/07(日) 10:04:59.35

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

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

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

**デフォルトの名無しさん** · 2022/01/30(日) 21:12:48.50

const fn divide(x:i32, y:i32) ->i32 {
x / y
}

let x = divide(1, 0); //panic
const y: i32 = divide(1, 0); //compile error

**デフォルトの名無しさん** · 2022/01/31(月) 00:45:03.08

>>690
定数式の文脈でゼロ除算起きるとコンパイルエラーになるのはある意味当然だと思うんだけど
そうじゃないところでエラーになるのが意外だった
デバッグビルドでもMIRの最適化とかで定数畳み込みみたいなことやってるのかな

**デフォルトの名無しさん** · 2022/01/31(月) 07:35:21.99

>>691
Rustではconst fnな関数を使ってconstな定数を作ることができる
つまりコンパイラがその定数を算出するためコンパイル時点で判明する

**デフォルトの名無しさん** · 2022/01/31(月) 10:25:13.89

とあるデータフォーマットを扱うライブラリを作っています。
一定形式のレコードが連続で書き込まれて最後には終端レコードが書き込まれるという単純な形式です。
Rust 上でもレコードを追加するのと終端処理のふたつのメソッドがあるだけです。
要は ↓ のように使えるライブラリだということです。

let mut file = File::create("file.hoge").unwrap();
Hoge::new(&mut file).add_entry("string1")?.add_entry("string2")?.finish();

このとき
・終端処理は必ずしたい
・終端処理はエラーの可能性もあり、それは捕捉したい (ので drop でさせられない)
という制約を静的に表現できるでしょうか？

現状では終端処理のメソッドが実行されたときにフラグを立てておいて
drop 内でそのフラグを検査するという形にしています。
可能ならコンパイル時に発見できるようにしたいです。

**デフォルトの名無しさん** · 2022/01/31(月) 11:02:40.38

エラーを捕捉したいことをデストラクタに任せない
つまりそのような終端処理はdropされる前に終える
例えばBufWriter利用時も終える時は明示的にflushを呼ぶ
そしてflushはResultを返しエラーが判明する

**デフォルトの名無しさん** · 2022/01/31(月) 11:32:28.54

finishの呼び忘れを静的に捕捉したいということだからflushの例では不十分かな
add_entryの戻り値型の暗黙のdropを防げばいいけど、そういった機能はまだない（RFCにはあるけど進んではない）

https://users.rust-lang.org/t/prevent-drop-at-compile-time/20508
このスレッドではdropの実装に存在しないC FFI呼び出しを書いておいて、リンクエラーとして捕捉する方法が提案されているね

**デフォルトの名無しさん** · 2022/01/31(月) 11:35:46.57

>>694
それを制約として表現できるか (終端処理をしていないときにエラーになるように制約を書けるか) という質問をしてる。
つまり出来ないってこと？

**デフォルトの名無しさん** · 2022/01/31(月) 11:53:47.47

>>695
それは残念。

言語の機能として用意されてないまわりくどい方法を使うと
エラーメッセージがよくわからん (本来の問題とは違う内容が出てくる) ことになりがちだし、
使うときに unsafe や forget をいちいち書いてもらわなきゃならないのは
ライブラリとして提供するときにはちょっと汚すぎるなぁ。

**デフォルトの名無しさん** · 2022/01/31(月) 12:37:43.75

PhantomType的な？

**デフォルトの名無しさん** · 2022/01/31(月) 12:39:21.72

エラーメッセージがよくわからん事になりがちだからNGか

**デフォルトの名無しさん** · 2022/01/31(月) 12:47:03.61

>>696
なるほど
コンパイラは解析してdropさせるべき位置を把握しているから
そこへ至る全ての経路上で例えばFinalize trait実装型はそのメソッドfinalize()を呼んでいないとコンパイルエラーとなる
というような制約をするFinalize trait
が存在していれば要望を満たす？

**デフォルトの名無しさん** · 2022/01/31(月) 13:15:16.14

>>692
非const fnについての話なんだけど

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

amazon primeの記事経由でegui見てみたが結構いいな
ネイティブで試してみたが充分実用レベル

**デフォルトの名無しさん** · 2022/02/01(火) 21:04:57.74

GCは標準からは消えたけどライブラリでやればいいってかつてこのスレで言われたことがあるのだが、GCライブラリのデファクトスタンダードってどれだ

**デフォルトの名無しさん** · 2022/02/01(火) 21:52:48.48

>>703
デファクトなんてあるわけないじゃん
マークスイープGCするならRust使う意味ないんだから

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

>>704
いや一部だけGC欲しい時は普通にあるからそれは言い過ぎ

**デフォルトの名無しさん** · 2022/02/01(火) 22:51:54.30

クッソ身につまされる記事があったので共有する
https://dystroy.org/blog/how-not-to-learn-rust

**デフォルトの名無しさん** · 2022/02/01(火) 23:11:34.83

>>706
これはいい記事だな
次からテンプレ入り希望

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

>>702
eguiは毎回60fpsで全画面を描き直すことで差分描き直しを避けて簡単にしてるようだけど
省力化したい方針と合わないや
ゲーム向き？

>>705
GC使ってもRustのRAIIを無くせるわけじゃないから
そういう時はVecに入れて使って
あとは任意のタイミングで未使用の要素の区画を再利用という感じにしてる

>>706
Rustは各種bookを読んであとはstd docとreference見ながら
コンパイルエラーの通り直すだけで何とかなるから書かれている通りだね
付け加えると基本要素については覚えていないメソッドのために回り道しがちなので
Option Result slice str Iteratorあたりの全メソッドは一通り認識しておくといいかな

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

複製おじは自分では何とかなってると思ってるのか

**デフォルトの名無しさん** · 2022/02/02(水) 11:48:12.13

🐜蟻型蜂🐝はポジティブシンギング🤯だから

**デフォルトの名無しさん** · 2022/02/02(水) 18:24:25.46

>>706
>Mistake 3 : Start by implementing a graph based algorithm
その通りだとは思うけどRustと相性の良いアルゴリズム集的なのは欲しいとも思う

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

>>711
汎用データ構造の大部分を使うな、という話になりそうだからなぁ。
スタックとキューくらいは楽に使えるのかね。

**デフォルトの名無しさん** · 2022/02/02(水) 20:06:31.96

dynや lifetime heavyは失敗しながら学ぶのでいいと思う
普通の人はしばらくやってれば気づくから

**デフォルトの名無しさん** · 2022/02/02(水) 20:34:19.12

deny(rust_2018_idioms)はガチのマジでオススメです

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

データ構造が大事なんだって言われながら育ってきた身としちゃあ辛い話じゃねえか

自分で作らなけりゃいいんだな！ってslab_tree使って
「ある条件に合致した子ノードから、ルートまでの値をリストで取り出す」
みたいな処理を書こうとしたら怒られるんだよな。
node_ref.parent() : &Self<T> -> Option<NodeRef<T>
っていう型なもんだから、次々に親をたどるために
while Some(parent) = node.parent() { node = parent; ...}
みたいな処理書くと、当然怒られる。

何とか抜け道無いかって探したら、node自身じゃなくてそのIDを使えばよかったんだけど、
いつも抜け道があるとは思えない。辛い。

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

Rustで普通にやってるとスレッドセーフを強いられるから制約がキツくなるんだよね

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

大昔からの単純なポインタ相互参照だと
ダングリングポインタ・多重解放・解放忘れなどが全く存在しないことを検証すべき範囲が一般的には広くなりすぎる
もし狭い範囲に閉じ込められるケースならば閉じ込めた中でunsafeを用いたとしても効率的な型を提供すればよい
標準ライブラリにあるヒープを用いる型は全てそのようにして作られている

**デフォルトの名無しさん** · 2022/02/03(木) 23:00:23.96

>>684
今それ読んでる
出版物だけあって日本語の質はずっといい

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

Craterについて教えてください

**デフォルトの名無しさん** · 2022/02/04(金) 00:50:00.86

>>718
もしかしてThe Bookの勝手訳の質と比べてる？

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

>>720
勝手訳というのがなにを指すのか不明だけどオリジナルのThe Bookからリンクされている日本語訳のことであればそれと比べている

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

そんなのを見るのは極初期だけで些細な話
その後はdoc.rust-lang.orgとdocs.rsしか見ないのだから

**デフォルトの名無しさん** · 2022/02/05(土) 13:22:14.88

その極初期の人が見る和訳の質の話をしてるんだろ

**デフォルトの名無しさん** · 2022/02/05(土) 14:41:30.63

あれは害悪レベルの訳だから初期でも見ない方がいいよ
ここでよくおかしなレスしてる人もあれの影響なんじゃないか？

**デフォルトの名無しさん** · 2022/02/05(土) 15:12:20.92

どうせ>>722のドキュメント見ないと先へ進めないしほとんどは中学生でもわかる平易な英語
日本語訳の質にこだわるような低レベルのやつはほっとけばいい

**デフォルトの名無しさん** · 2022/02/05(土) 15:52:33.91

Mistake 2 : Dive in without looking at the book

**デフォルトの名無しさん** · 2022/02/05(土) 15:59:05.92

>>726
まさにそれで最初は日本語訳でもいいがその後にthe bookを直接見るべき
そしてどの英単語でどう表現されているかを掴めば日本語訳がどうかに関わらず先へ進める

**デフォルトの名無しさん** · 2022/02/05(土) 16:02:12.98

>>727
言ってること変わってますけど

**デフォルトの名無しさん** · 2022/02/05(土) 16:03:52.79

一貫してるぞ
日本語訳の質にこだわるような低レベルのやつはほっとけばいい
これしか主張していない

**デフォルトの名無しさん** · 2022/02/05(土) 16:09:07.88

そこ以外の文章はポエムか何かだったの？

**デフォルトの名無しさん** · 2022/02/05(土) 16:22:12.93

じゃあ和訳の質を話題にしている低レベルの人同士の会話はほっとけばいいのにｗ

**デフォルトの名無しさん** · 2022/02/05(土) 17:02:52.76

日本語イラネ言っている人は技術資料が英語でも
日本語でも生産性が変わらない人なんだよね？
アメリカの仕事でもした方が稼げるんじゃない？

**デフォルトの名無しさん** · 2022/02/05(土) 17:05:29.47

和訳の質にこだわってる人たちも唯一役に立つチャンスがあるよ
それは和訳の改善案を提案して質の向上に貢献すること
しかし和訳の質にこだわってるここの人たちは批判だけで提案がないから残念な人たち

**デフォルトの名無しさん** · 2022/02/05(土) 17:15:34.64

和訳の質にこだわっている人たちの質にこだわっている人は何の役にたつの？

**デフォルトの名無しさん** · 2022/02/05(土) 17:36:04.99

どこの食堂が美味いか話しているところに割り込んで、
不味い方を立て直してこいと言うくらいナンセンス。

**デフォルトの名無しさん** · 2022/02/05(土) 17:36:55.75

>>725
その結果、所有権を複製しちゃったんでしょw

**デフォルトの名無しさん** · 2022/02/05(土) 17:58:18.58

とはいえ元の話は
無料の炊き出しがレストランより不味い
みたいな話なのでそりゃそうだろうとしか
誰もがオライリーを気軽に買えるわけでもないし
それぞれ意味はあるだろう

**デフォルトの名無しさん** · 2022/02/05(土) 18:14:45.46

ざんねんながら悪文どころか誤訳だらけで無料の炊き出しよりひどいのがままあるのが技術書の世界

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

>>738
誤訳だと言うなら改善案を提案して質の向上に貢献するのがいいよ
それができないなら単なるイチャモン付けるだけの残念な人

**デフォルトの名無しさん** · 2022/02/05(土) 18:40:50.96

クソ不味い飯屋にわざわざ改善案を提案するやつww
「批判するなら対案出せ」と同じアホ理論www

**デフォルトの名無しさん** · 2022/02/05(土) 18:44:43.09

両立するよ。
改善に取り組みつつ現時点では良くないところもある (信頼しすぎるな) と初心者に警告するのは何も矛盾しない。

**デフォルトの名無しさん** · 2022/02/05(土) 18:55:08.74

>>741
>両立するよ。
何と何が両立するの？

**デフォルトの名無しさん** · 2022/02/05(土) 19:15:32.20

>>739
ではイチャモン付けるだけの残念じゃない君が俺の代わりに改善案を提案しておいてくれ

**デフォルトの名無しさん** · 2022/02/05(土) 19:38:56.71

>>743
自分は現状の和訳で問題ない派
そんな些細なことよりも和訳だけでなく原文も併用した方がよく
その後は原文だけの世界なのだから

**デフォルトの名無しさん** · 2022/02/05(土) 19:43:44.48

なんだ、日本語が読めない人だったか

**デフォルトの名無しさん** · 2022/02/05(土) 19:50:42.02

日本語訳の質にこだわるような低レベルのやつはその先へ行けないため日本語訳にこだわる

**デフォルトの名無しさん** · 2022/02/05(土) 21:53:27.09

複製おじさんが言っても説得力ゼロ

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

和訳にイチャモン付けるだけの残念な人は「複製おじさん」を連呼する人でしたか

**デフォルトの名無しさん** · 2022/02/06(日) 10:19:03.76

>>543からの流れを見ると確かに複製おじさんは英語読めないっぽいが
Copyを「所有権の複製」と思い込むのは日本語訳の質が原因ではない気がする

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

そんな超初心者入門のところでもめてるのかね
trait Copyを実装している型は複製されて、実装していなかったら移動となるだけだぞ
所有権は難しくない

**デフォルトの名無しさん** · 2022/02/06(日) 21:58:58.41

>>750
何が複製されて
何が移動するのかな？

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

>>489 の文章が間違ってる、いやおかしくない、って揉めてただけだよ
まあ気付けば普通はおかしいと思うんだけど

**デフォルトの名無しさん** · 2022/02/06(日) 22:13:32.98

>>751
所有権
Copy実装型は常に所有権が分岐する

**デフォルトの名無しさん** · 2022/02/06(日) 22:39:23.39

>>753
複製(copy)と分岐(branching)は全く違う意味だけどCopy実装型だと所有権が複製されつつ常に分岐する？？
どういう意味？

**デフォルトの名無しさん** · 2022/02/06(日) 22:43:41.39

>>754
初期状態は全く同じ
つまり複製されて分岐する
それ以降は異なりうる

**デフォルトの名無しさん** · 2022/02/06(日) 22:57:43.95

Rustの所有権というのは権利というよりも所有しているリソースの解放義務を指している
複製できたら所有権管理の意味がない
分岐はもっと意味不明

**デフォルトの名無しさん** · 2022/02/06(日) 22:59:53.55

489から始まった議論をまたやり直すの？

**デフォルトの名無しさん** · 2022/02/06(日) 23:01:30.97

複製おじさんが分岐して所有権分岐おじさんにw

**デフォルトの名無しさん** · 2022/02/06(日) 23:04:45.50

>>756
複製され分岐するため
リソース解放義務はそれぞれに生じる

**デフォルトの名無しさん** · 2022/02/06(日) 23:09:58.47

>>759
複製おじさん、嘘ついちゃダメだよ
詳しくはdoc.rust-lang.orgとdocs.rs見てねw

**デフォルトの名無しさん** · 2022/02/06(日) 23:26:57.07

複製おじさん連呼する人は、もちっと具体的に指摘してくれるとありがたいんだが。

**デフォルトの名無しさん** · 2022/02/06(日) 23:31:49.27

嘘ではない
もちろんCopy実装型の時点でヒープは使われないので解放といってもスタッフ上のみだから実質何も行われない
そのためデストラクタも容認されていない
その観点からCopy実装型は所有権がないと主張する人もいるくらいだ

**デフォルトの名無しさん** · 2022/02/06(日) 23:59:50.68

>>761
おじさんを連呼してる人はスレを荒らしているだけのクズ
説明や代案や根拠などを語れない

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

>>762
何も行われないのに複製されて分岐してそれ以降は異なりうるってどういうことだよ

矛盾だらけ

**デフォルトの名無しさん** · 2022/02/07(月) 00:09:06.68

>>761,763
複製おじさん得意の自演乙www
嘘つきは分岐の始まり

**デフォルトの名無しさん** · 2022/02/07(月) 00:19:43.65

> そんな超初心者入門のところでもめてるのかね
> 所有権は難しくない

【超初心者向け所有権の説明】
Copy実装型は所有権が複製されて分岐してそれ以降は異なりうる

難しくないw

**デフォルトの名無しさん** · 2022/02/07(月) 00:23:15.30

>>764
この件は有名な話でRustコンパイラのサボり。
Copy型は複製分岐されて各々がdropされるのが正しいけど、スタック変数のみだからそれをサボっている。
つまり現在のコンパイラ実装は正しくなくて、dropしちゃうとサボりのせいでメモリunsafetyを引き起こす可能性がある。
だからCopy型はDropを現状では許していないという話。
rustc --explain E0184 を見てね。

**デフォルトの名無しさん** · 2022/02/07(月) 01:29:41.70

>>767
なんか仕様と実装を混ぜて話してるけどなんで？
普通、仕様にそって実装がされるはずだけど、(この部分に関しては)実装に仕様が引きずられてるってこと？
それとも仕様通りではないってこと？

**デフォルトの名無しさん** · 2022/02/07(月) 08:04:57.91

>>725
順調に滅びの道を歩んでいるな。

**デフォルトの名無しさん** · 2022/02/07(月) 12:36:41.09

将来実現されるであろうあるべき仕様が実装の都合で実現できていないから、それと矛盾しない範囲に仕様の範囲を制限した、という理解で良い？

**デフォルトの名無しさん** · 2022/02/07(月) 13:38:44.35

>Copy型は複製分岐されて各々がdropされるのが正しいけど、スタック変数のみだからそれをサボっている。

まーた勝手な思い込みの妄想で嘘垂れ流してる
いい加減にしろ

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

>>767
それ1.0以前の話で今とは実装も前提も全く違うからエラーメッセージ修正したほうがいいやつ

もし仮にDropかつCopyな型が実装できるようになったとしても所有権は複製されないから

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

>>768
「currently disallowed」「current implementation is incorrect」「disabled for now」と強調されてるように、
あくまでも現在の実装は本来とは異なり正しくなくて、問題を引き起こすために、CopyとDropの両立を現時点では禁止してる。
理論的にはCopy型は複製分岐されて各々がdropされる形が正しくてCopyとDropの共存が可能。
この暫定的な実装に引きずられた暫定的な仕様が、将来は正される可能性も残す表現となっている。
両立禁止で実害が出てないため優先順位は低いと思われるが、もし将来に共存可能になったとしても後方互換性は生じない。

>>772
最新のエラーメッセージで合っている。
https://github.com/rust-lang/rust/blob/master/compiler/rustc_error_codes/src/error_codes/E0184.md
Latest commit 9e5f7d5 on 28 Aug 2020

**デフォルトの名無しさん** · 2022/02/07(月) 22:27:06.61

>>773
>理論的にはCopy型は複製分岐されて各々がdropされる形が正しくて
複製分岐されるのが正しいという根拠は？

**デフォルトの名無しさん** · 2022/02/07(月) 22:38:57.39

>>774
Copyなので複製分岐されるのは当たり前。
今はそこが論点ではなくて、複製分岐の後に各々に解放処理が生じるけど、現在は正しく実装されていないので仕様に制限があるとコンパイラのメッセージでも出る話。

**デフォルトの名無しさん** · 2022/02/07(月) 22:50:06.68

>>774
複製分岐おじさんは日本語通じないからまともに相手しても時間の無駄だよ

**デフォルトの名無しさん** · 2022/02/07(月) 22:52:45.27

「最新のエラーメッセージ」は1.0直前に書かれたものだしもう仕様化してもいいんじゃね
https://github.com/rust-lang/rust/pull/25272

**デフォルトの名無しさん** · 2022/02/07(月) 23:03:21.13

いつも傍から見ていてパターンがわかってきた
普通は「○○○は間違っている、×××が正しい」となるんだけど
なぜか「○○○は間違っている」だけで終わって代わりとなる対案が出てこない
>>771のように「勝手な思い込みの妄想で嘘」と否定するだけだったり
>>774のように「正しいという根拠は？」とこれも同じパターン
全てに共通するのは対案を出さずに否定ばかりしている言動

**デフォルトの名無しさん** · 2022/02/07(月) 23:11:42.66

>>775
今は複製分岐されるのが本当正しいと言えるのかどうかが論点です
論点をずらさずにそう考えた根拠を示して下さい
ありませんか？

**デフォルトの名無しさん** · 2022/02/07(月) 23:15:03.65

半ギレww

**デフォルトの名無しさん** · 2022/02/07(月) 23:28:02.69

>>777
仕様化されてるよ
エラーメッセージをアップデートすべき
https://doc.rust-lang.org/reference/special-types-and-traits.html#copy

その時代とはDrop周りの実装も大きく変わってる上に
CopyとDropが排他的である前提で書かれたコードも多々あるから
Copy+Dropな型をサポートするならエディション対応が必須

**デフォルトの名無しさん** · 2022/02/07(月) 23:45:39.09

>>779
Copyを実装している型は使われると複製され分岐すると自分も当たり前に思っているけど
異なる意見を持っているの？
否定ばかりしていて対案を出せない人はどこの世界でもダメな人扱いになっちゃうから対案を出すのがお勧め

**デフォルトの名無しさん** · 2022/02/07(月) 23:54:38.63

>>781
まじかよ反応して損した
この流れ何の意味もねえな

**デフォルトの名無しさん** · 2022/02/08(火) 00:13:43.96

Copyを実装する型の変数にはそもそも所有権が存在しないということかな。

**デフォルトの名無しさん** · 2022/02/08(火) 00:58:18.89

ソケット、ファイルハンドラあたりがコピーされたらそら問題だろうからな。

>Copyを実装する型の変数にはそもそも所有権が存在しないということかな。
copyされたら所有権がないとかめちゃくちゃだな。int値だって共有されるかどうかはかなり問題だっての。

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

>>782 値が複製されることに異論は無いんだけど、彼は>>753などで所有権が複製されると言っていて、そこがおかしい。

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

それ同一人物だぞ
複製オジは人格も複製分岐させる

**デフォルトの名無しさん** · 2022/02/08(火) 09:41:57.74

たとえ話って逆に理解を妨げることも多いよね(´・ω・｀)

**デフォルトの名無しさん** · 2022/02/08(火) 10:46:53.27

複製おじさんにも唯一役に立つチャンスがあるよ
それはE0184の改善案を提案してRustの質向上に貢献することw
しかし複製おじさんは妄想だけで改善が見られないから害でしかない

**デフォルトの名無しさん** · 2022/02/08(火) 17:39:21.77

複製おじさん大人気だな
個人的には「所有権が分岐する」のほうが衝撃的だった