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/22(土) 22:32:38.62

>>657
そんなレベルじゃないだろw
「値の参照外し」くらいのありえねーやつだぞ

**デフォルトの名無しさん** · 2022/01/22(土) 23:03:41.04

>>663
&Tを渡すこと

**デフォルトの名無しさん** · 2022/01/22(土) 23:09:33.04

>>654
>BoxとRefCellには共通点も類似性も関係性も何もない
そうそう、何の共通点も類似性も関係性もないのに
The BookではBoxとRefCellを対比させてどういうケースにどっちを使うかわざわざ解説してるんだよなぁ
何の共通点も類似性も関係性も無いにも関わらずw

**デフォルトの名無しさん** · 2022/01/22(土) 23:45:04.56

>>666
マジでその二つは関連も類似も何もない
大きく分類してもBoxはスマートポインタの一種だが
RefCellはスマートポインタではなく内部可変性という性質の指定のみ

**デフォルトの名無しさん** · 2022/01/23(日) 00:16:51.00

>>666
https://doc.rust-lang.org/book/ch15-05-interior-mutability.html
https://doc.rust-jp.rs/book-ja/ch15-05-interior-mutability.html
ここのこと？

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

clippy様がvoldemort typeを説明せよと仰せなのだが
もしかして、名前を言ってはいけないあの人のことをご存じない？

>>668
そこはinterior mutabilityの前提としてborrowing rulesを
おさらいするためにBoxを出してるだけだから違うだろ。
多義的なオレオレ用語が多くて質は悪いけど
the bookに意味もなくBoxとRefCellを登場させてる章なんてなかったと思う。

**デフォルトの名無しさん** · 2022/01/23(日) 09:58:49.85

なんでわざわざ自演するのかね？

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

それが仲介おじの悪癖なんよ

**デフォルトの名無しさん** · 2022/01/23(日) 14:04:42.46

病気だな
病名は知らんけど

**デフォルトの名無しさん** · 2022/01/23(日) 15:19:04.05

rust勉強しはじめたばかり、C,C++はだいぶ昔少し経験がある程度

Cとかじゃ、constなpointerは、変数自体がconstと、指ししめす対象自体がconstである場合があり
const T * const p;
みたいな宣言があったが

Rustはデフォルトでイミュータブルなのはわかるけど、mutを付けると、変数自体も指し示す対象もmutableになってしまう？

let mut v = vec![1, 2, 3];
v.push(2);
v = vec![4,5,6];

どっちか一方を禁止する方法とかあるのですか？

**デフォルトの名無しさん** · 2022/01/23(日) 17:38:28.44

C上がりのヤツって意味のないところにconst付けがち
関数の引数にconst DWORD vとか

**デフォルトの名無しさん** · 2022/01/23(日) 19:54:52.69

>>673
どういうことをしたいのかによるけど
let x = Vec![...];
let mut y = &x;
みたいにすればyは再代入可能だけどxやvecの中身は変更不可になる

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

末尾oとかWとかで荒らしてるやつ回線なんだ？亡霊か？

**デフォルトの名無しさん** · 2022/01/23(日) 20:58:37.79

えっ、一人二役まだ続けるのか

**デフォルトの名無しさん** · 2022/01/23(日) 22:45:59.41

お前Lはないだろ

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

ちなみにRustでのconstとはコンパイル時点で定数(どんな複雑な型でもよい)であること
プログラミング言語によってはconstなのに実行時に決まる値(がその後変化しないこと、つまり単なるimmutable)を意味しているので意味の差に注意

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

>>674
Rustでは関数の引数にconstはないな
ジェネリクスとしてのパラメータにはconstがありこちらは便利

**デフォルトの名無しさん** · 2022/01/24(月) 00:27:06.65

>>675
ありがとうございます。
やりたいことは、だいたい同じですけど、少し違って
v.push(2)か再代入のv= vec![4,5,6];のどちらかを禁じたいでしたけど
あなたの投稿みて考えて

let v = &mut vec![1, 2, 3];
v.push(2);
//v = vec![4, 5, 6]; エラーになる

で一応できました。
でも再代入可能で、中身変更不可にｖをする方法は思い浮かびませんでした。
675のようにして、vからｙに代入したらyはそうなりますが。

**デフォルトの名無しさん** · 2022/01/26(水) 20:11:49.47

すまんが、Replit使って学習してるんだけどさ
たまたま海外勢の動画見たら、同じReplitのはずなのに波線の指摘とかコード補完とか効いててびっくりしたわ
https://www.youtube.com/watch?v=MsocPEZBd-M
うちではこんなのならないんだけど・・・・やり方わかる人いたら教えてくれんかな？

**デフォルトの名無しさん** · 2022/01/26(水) 22:40:12.84

Repl.itは、リンターやデバッガーからサードパーティのパッケージ、ホスティング、デプロイまで、

すべてを備えた、ブラウザー内の完全な共同クラウド開発環境です

**デフォルトの名無しさん** · 2022/01/27(木) 14:52:35.89

プログラミングRustの第2版の訳書出たんだな

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

**デフォルトの名無しさん** · 2022/01/30(日) 18:39:19.14

Rustはゼロ除算はコンパイルエラーになるの？

**デフォルトの名無しさん** · 2022/01/30(日) 18:46:47.93

const文脈ならコンパイルエラーになったはず

**デフォルトの名無しさん** · 2022/01/30(日) 19:13:28.33

コンパイル時に判明しないゼロ除算やオーバーフロー除算 ex. -128_i8 / -1_i8 はpanicとなるので
それが困る場合はchecked_div()を使えばOption型が返りNoneとなる

**デフォルトの名無しさん** · 2022/01/30(日) 20:48:51.55

>>688
ほんとだ、定数式じゃなくてもエラーになるんだね
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2021&gist=78efbd7a2e6ac42c15da2cfb0d11485f

即値じゃなくてもエラーにしてくれてある程度賢そう
https://play.rust-lang.org/?version=stable&;mode=debug&edition=2021&gist=381372577a28207f3a37bc007ac6e29c

**デフォルトの名無しさん** · 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
おじさんを連呼してる人はスレを荒らしているだけのクズ
説明や代案や根拠などを語れない