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/

**デフォルトの名無しさん** · 2021/12/28(火) 14:45:21.34

永続性を謳うサービスで名前で管理したらそりゃあいい名前の取り合いになるよなあ

**デフォルトの名無しさん** · 2021/12/28(火) 14:48:37.23

>>419
ほんとだ、packageごとにregistry指定できるんだね
https://doc.rust-lang.org/cargo/reference/registries.html

**デフォルトの名無しさん** · 2021/12/28(火) 15:16:22.59

GoみたいにGithubがデファクトスタンダードなレジストリになっても一覧性の面で不便だし、crates.ioでいいと思うけどなあ

**デフォルトの名無しさん** · 2021/12/28(火) 21:31:42.32

セキュリティ監査付きのcrates.ioクローンが欲しい

**デフォルトの名無しさん** · 2021/12/28(火) 21:33:45.43

average()が気になってcratesだかcargoだか話逸らしに聞こえる

**デフォルトの名無しさん** · 2021/12/28(火) 22:07:01.63

ぼぼぼ、ぼくちんのために誰か優秀なaverage()をおながいします

**デフォルトの名無しさん** · 2021/12/28(火) 22:22:38.58

>>423
cargo auditでは足りない？

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

>>411
「多数あり外部で十分派」なのに>>412には答えられないの？？

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

Why is my Rust build so slow?

**デフォルトの名無しさん** · 2022/01/01(土) 20:01:31.38

Because your PC is poor spec.

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

https://fasterthanli.me/articles/why-is-my-rust-build-so-slow
この人の場合クソデカ型のせいでコンパイルが遅かったという話

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

warpがクソみたいに重いって書いてるな

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

sccacheとか入れてみるか

**デフォルトの名無しさん** · 2022/01/02(日) 13:52:17.06

当日お急ぎ便でSSDを買った

**デフォルトの名無しさん** · 2022/01/02(日) 14:41:20.14

>>432
bin crateのビルドに時間かかるなら sccache は効果薄いのでは

**デフォルトの名無しさん** · 2022/01/02(日) 14:53:21.62

高度IT人材、富士通は最大年収3500万円へ

「富士通年収3500万！」日本のIT企業の年収も、高額化してきました

AI人材の獲得に超本気　NECが新人事制度を9人に適用、富士通は最大年収3500万円へ

【年収３５００万円も】富士通、「ジョブ型」人事制度を導入幹部社員から高度IT人材

来年度から副業解禁　人材多様化へ―大同生命次期社長

第一生命HD、副業解禁　約1万5000人対象

第一生命ＨＤ、副業解禁　１万５０００人対象―大手生保初

IHI、国内8000人の副業解禁　重厚長大企業も転機

ＩＨＩ、社外兼業を解禁　社内副業もルール化

**デフォルトの名無しさん** · 2022/01/02(日) 21:56:13.39

効率を求め過ぎてモノリシックになりすぎると様々なコストが上昇してしまう
そこで分割
さらに内部もcrate分割で並行コンパイル

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

Rustでノードが追加されたり消されたりする双方向グラフ扱いたくなったらどうするんだろ
Arenaじゃ追加削除してるうちにゴミがメモリ圧迫していくし

**デフォルトの名無しさん** · 2022/01/04(火) 09:43:25.00

>>437
Cursor使う

Arenaの場合はfree list用意して削除済み要素を再利用すればよい
Arenaが埋まったらreallocするのではなく同じサイズの新たなArenaを獲得していくようにすれば
不要になったArenaから解放できるからmalloc使う場合と同等のメモリ使用量に抑えられるかと
これでも不足するなら copy GC 的に compaction するしかなさそう

**デフォルトの名無しさん** · 2022/01/04(火) 18:15:54.62

>>438
なるほど…… 結構ガッツリ実装しなきゃいけなそうね。ありがとう。最後はGCを実装することになりそうなので、それならいい感じのGCを残しておいてくれたら良かったのにって気になるな

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

Cursorってなんでしょう？

**デフォルトの名無しさん** · 2022/01/04(火) 19:44:07.16

>>440
これのこと (まだunatable)
https://doc.rust-lang.org/std/collections/linked_list/struct.CursorMut.html

**デフォルトの名無しさん** · 2022/01/04(火) 20:59:48.62

>>439
GCを必要とする用途は非常にレア
だから標準ライブラリには不要だが外部ライブラリに色々あるので大丈夫

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

>>442
GCのライブラリ使ったことある？実用的だった？

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

特殊な案件でしかGCを使うことはないため
その場合は汎用GCライブラリ利用よりも
データ構造とアロケーションとGCを密に設計する方がベターかも

**デフォルトの名無しさん** · 2022/01/05(水) 00:28:17.64

ちゃんとしたスマートポインタを自作する時点で結構大変だから用途特化した方が確かによさそう

**デフォルトの名無しさん** · 2022/01/05(水) 01:03:11.75

グラフみたいなデータ構造を実装するだけでも、GCが必要になったりするもんなん？

**デフォルトの名無しさん** · 2022/01/05(水) 01:37:16.98

>>441
ありがとうございます！

**デフォルトの名無しさん** · 2022/01/05(水) 01:46:20.36

グラフ構造表現するだけならArenaや、少し安全にするならGenerationalArenaで事足りるかと
copy GC的なものが必要になるのは大量にノードを作成してほとんど削除、一部残存みたいな状況でfreeできないArenaが残ってしまうケース

**デフォルトの名無しさん** · 2022/01/05(水) 04:00:13.07

ちゃんとしたGCはないのに、参照カウントだけは標準ライブラリに入っていて循環参照には気をつけましょうねーって運用でカバーなのはなんか中途半端なものを感じる
そもそも参照カウントなんてGCとしてはかなりイケてない部類なのになんで参照カウントなんだ気持ちもある

**デフォルトの名無しさん** · 2022/01/05(水) 04:09:37.27

単純にRcやArcはGCを目的としたものではないから

**デフォルトの名無しさん** · 2022/01/05(水) 06:50:20.96

分かってる風で語るのはカッコ悪いね

**デフォルトの名無しさん** · 2022/01/05(水) 07:42:18.23

単なるスマートポインタをGCと言っちゃうあたり・・・
あれは単にRAIIでヒープを処理してるだけのことであって
わざわざGCと呼ぶような大したもんではない

**デフォルトの名無しさん** · 2022/01/05(水) 07:48:16.03

9分で轟沈したのに２時間後に死体蹴りせんでも。

LLVMにレジスタとスタック使わないよう教える術がないし
rustは意地でもスタックに置きたがるしplacement系が削除されたから保守的になるよね。
実際、保守的gcってどれくらい回収できんの？

**デフォルトの名無しさん** · 2022/01/05(水) 07:52:39.60

>>449
即時解放がやりやすい＆実装が簡単だから、だろ。

そういう説明をしないで>>452とか言うやつはRust普及の足を引っ張っているだけだから、書き込みしないほうがいいと思う。

**デフォルトの名無しさん** · 2022/01/05(水) 08:39:25.19

>>454
>>450の言う通りrustのreference counting gcは
メモリ管理のためではなく共有された参照を数えるためのもので
シングルスレッド用のRcがあるのはrustがaffine typeだから
共有された可変を認めないからで、ついでに>>452の言うことも半分あってるよ。
rustは自動参照カウントにRAII併用するけどgcのない言語しか経験がない人が
gcをスマートポインタと混同するのもよくある事。

あと、rustの参照カウンタは弱参照があるから循環参照が切れる代わりに
単純な参照カウンタのオーバーヘッドが少ない・開放されるタイミングが
予測可能というメリットはないからrustが参照カウンタを用意する
メリットは>>450が指摘したものしか無いよ。

**デフォルトの名無しさん** · 2022/01/05(水) 09:30:04.08

学問的には参照カウントはGCの一方式として分類されるのが普通だよ
まあなんの前置きもなくGCといったらトレーシングGCがイメージされるというのもその通りだが
RcがGCだと言っても間違ってるということはない

RustのstdにトレーシングGCがないのは、単に標準ライブラリを大きくしない方針に従ってるだけじゃない？
本格的なGCが必要なケースは限られるし、外部クレートで十分と思うが

**デフォルトの名無しさん** · 2022/01/05(水) 09:44:11.20

いつものやつホント気持ち悪いな

**デフォルトの名無しさん** · 2022/01/05(水) 12:11:20.98

>>457
コテハンつけるかID変えないならまだいいんだけどな

**デフォルトの名無しさん** · 2022/01/06(木) 01:29:23.74

気持ち悪さは長文から来る。reference counting gcとかわざわざ参照カウントを英文で書いてカッコつける所も
減点項目。個人の主観的には文中に>>を挟む特徴が読み手の事を一切考えないオナニーに見える

**デフォルトの名無しさん** · 2022/01/06(木) 08:00:17.28

それあなたの感想ですよね

**デフォルトの名無しさん** · 2022/01/06(木) 08:47:42.41

文中に >> 挟むのだめなのか
どのレスのこと指してるのか明確になって良いと思うが

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

>>レス番
↑これで引用先に飛べるリンクが張られるの知らなさそう
5chにPCからアクセスしたり
専用ブラウザからアクセスしたときそうなってるのよ

**デフォルトの名無しさん** · 2022/01/06(木) 10:12:38.67

Rustのメモリ安全性ってどうやって保証してんの？
テスト？

**デフォルトの名無しさん** · 2022/01/06(木) 11:33:54.14

>>462
君はHTML知らなそうw

**デフォルトの名無しさん** · 2022/01/06(木) 16:21:52.81

ダメというわけじゃないが、同じ人が言ってるわけじゃないのに文中に一つにまとめて自分の考えだけを
長々と話している時点で意味わからん、リンクの話じゃない。気持ち悪さがどこからくるかという話。
感想といえばその通りで、個人的な主観と言ってるが多くの人はそう感じるのはこうではないか？という話

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

長いから3文字にまとめて😪

**デフォルトの名無しさん** · 2022/01/06(木) 17:28:58.84

>>465
Rustスレで学級会始めるおまえも気持ち悪いよ

**デフォルトの名無しさん** · 2022/01/06(木) 17:49:08.32

>>がリンクにならない環境を知らんのだが

**デフォルトの名無しさん** · 2022/01/06(木) 18:13:44.84

>>465
よくわかる
いつも中身ないので即NG
だがやつは自演魔なんでマジタチ悪い

**デフォルトの名無しさん** · 2022/01/06(木) 21:11:27.35

>>469がいつものキチガイの典型例
文句をつける意味不明な書き込みをしてその後に自演で同意のレスを付けてくる
スレを荒らすことが目的

**デフォルトの名無しさん** · 2022/01/06(木) 22:28:23.35

お前らが誰と戦ってるのか
正直理解できない

**デフォルトの名無しさん** · 2022/01/06(木) 23:39:45.17

このスレ常駐の荒らしは以下の特徴があるから無視すればよい
「気持ち悪」「ゲロ」「汚」などの言葉を好む
別案・別情報・別解釈などを具体的に出せず文句を付けるだけ
そのような無意味な書き込みになぜか賛同レス

**デフォルトの名無しさん** · 2022/01/06(木) 23:48:00.39

などと>>455氏が言っており

**デフォルトの名無しさん** · 2022/01/07(金) 00:34:18.06

・

**デフォルトの名無しさん** · 2022/01/07(金) 00:34:18.20

>>463
コンパイル時にチェックされるものと実行時にチェックされるものがあるよ
多くの場合は前者で済むけど、可変参照を複数箇所で共有したい場合は後者が必要になる

**デフォルトの名無しさん** · 2022/01/07(金) 01:59:05.78

キモいと思うレスは黙ってNGしといてこれやるといいよ
https://dtolnay.github.io/rust-quiz/

Rustの文法はもうバッチリと思ってる人向け
重箱の隅をつつく問題なんだけどすごく勉強になる

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

クソむずい

**デフォルトの名無しさん** · 2022/01/07(金) 08:11:58.75

c++の悪いとこばっか真似してどうすんの。。

**デフォルトの名無しさん** · 2022/01/07(金) 08:58:17.17

>>475
コンパイル時のチェックって結局人手で書いたコードによるチェックなんでしょ？
ということは担保は単体テストってこと？

**デフォルトの名無しさん** · 2022/01/07(金) 09:16:18.88

>>479
実行時じゃなくて？

**デフォルトの名無しさん** · 2022/01/07(金) 09:25:48.12

そもそもだかマシン語でみりゃ
メモリに型もなんもないよｗ
単なるバイトだらけ
コンパイルの段階で変なコードか
けないようにしてるだけ
でもこれだとぬるぽ！が回避できないので
仕方なく仕組み入れたのがRustでしょ

**デフォルトの名無しさん** · 2022/01/07(金) 10:01:43.31

Rust書くときは常にIDEに直してもらいながら書いてるから>>476みたいなの全然解けないわｗ

**デフォルトの名無しさん** · 2022/01/07(金) 10:06:26.42

>>476
確かにこれは勉強になる
知らなかったことばっかり

**デフォルトの名無しさん** · 2022/01/07(金) 10:10:35.06

Rustのメモリ安全って、null安全のことだったの？しょぼ

**デフォルトの名無しさん** · 2022/01/07(金) 10:57:05.72

>>479
コンパイラのコードのこと？
安全性の保証に形式的証明を与えようという取り組みはあるけどコンパイラの実装が正しいかはコンパイラのテスト頼りだね
https://plv.mpi-sws.org/rustbelt/popl18/

**デフォルトの名無しさん** · 2022/01/07(金) 11:28:53.58

「Rustは安全でも難しい」といわれる理由――メモリ安全を実現する「所有権」の仕組み
https://atmarkit.itmedia.co.jp/ait/spv/2111/25/news008.html

**デフォルトの名無しさん** · 2022/01/07(金) 12:00:56.69

>>486
初心者向けにわかりやすく解説しようという試みは評価するが
間違いが多すぎて萎える
ここで初心者の質問に回答してる初心者と同じ

**デフォルトの名無しさん** · 2022/01/07(金) 12:22:15.55

>>487
例えばどこが間違ってるの？

**デフォルトの名無しさん** · 2022/01/07(金) 18:09:24.83

>>488
整数型や浮動小数点型といったスカラー型の変数は、変数間の代入において所有権は基本的に複製されます。これを「所有権の複製（コピー）」といいます。変数間の代入などにおいて所有権は複製されるので、値の所有者は常に1個でなければならないというルールは守られます。

**デフォルトの名無しさん** · 2022/01/07(金) 19:34:39.40

>>489
正しいこと言ってるように見えるけど
どう間違ってるの？

**デフォルトの名無しさん** · 2022/01/07(金) 19:39:44.12

所有者が無能だったら終わりです

**デフォルトの名無しさん** · 2022/01/08(土) 00:17:04.62

所有権が複製されるって表現はなんかRcを想像してしまうな

**デフォルトの名無しさん** · 2022/01/08(土) 00:19:22.76

整数型とかの単純のヤツはCopyだかCloneだかをderiveしててデフォのmove semantics機能してなかった気がするな
最近書いてねぇから忘れてんなこれ(´・ω・｀)

**デフォルトの名無しさん** · 2022/01/08(土) 06:57:19.85

数値型が特別扱いされているわけではない
Copy traitを実装すればcopyされる
Copy traitを実装しなければmoveされる

**デフォルトの名無しさん** · 2022/01/08(土) 23:30:01.75

Copyで複製されるのは所有権じゃなくて値だよね
代入先の変数が複製された新しい値の所有権を持つことになるけど、所有権が複製されるんじゃあない

**デフォルトの名無しさん** · 2022/01/09(日) 16:14:36.11

copyだけでなくmoveされるのも対象は値
所有権ではない

値をmoveした結果
値に紐付く所有権がくっついてくる

**デフォルトの名無しさん** · 2022/01/09(日) 16:51:12.42

値と同時に所有権 "も" copy/moveされると捉えることもできるのでは

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

個人的に間違った捉え方をするのは自由だが
それを初心者に広めるのはやめていただきたい

**デフォルトの名無しさん** · 2022/01/09(日) 18:56:17.00

あんたらのお仲間他スレで暴れてばかりだよ、引き取りに来い

**デフォルトの名無しさん** · 2022/01/09(日) 19:06:20.22

これ結構いいな
概出？
https://docs.microsoft.com/en-us/learn/paths/rust-first-steps/

**デフォルトの名無しさん** · 2022/01/09(日) 19:18:00.80

所有権が複製できちゃったら｢一個の値に一個の所有者｣ってルールが守れないやん(´・ω・｀)

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

所有権を持っていると年2回の配当金がもらえます

**デフォルトの名無しさん** · 2022/01/09(日) 20:12:54.12

しょーゆー拳!

**デフォルトの名無しさん** · 2022/01/09(日) 20:17:43.06

>>492
> 所有権が複製されるって表現はなんかRcを想像してしまうな

https://doc.rust-lang.org/std/rc/index.html
> The type Rc<T> provides shared ownership of a value of type T

shared ownershipという表現でうまく説明できててrustっていいなと思う

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

というかCあたりの関数の引数も
コピーじゃなかった？
中身を渡した先でもいじらせる場合とかは
ポインター渡しとかなんかやってた記憶

**デフォルトの名無しさん** · 2022/01/09(日) 21:35:14.41

大半の言語はデフォルトで値渡しだよ

**デフォルトの名無しさん** · 2022/01/09(日) 21:41:43.59

Cでポインタ型の値を渡してるだけのことを
参照渡しと言っちゃう害悪がネットにチラホラ残ってて悲しい
ポインタ渡しとかいうすっとんきょうな用語も必要性を感じない
Javaで単に参照型変数の値を渡してるだけのことを
参照渡しと言っちゃうのも割りとあって悲しい

**デフォルトの名無しさん** · 2022/01/09(日) 21:57:11.88

>>501
そう捉えるのが普通だよな

**デフォルトの名無しさん** · 2022/01/09(日) 22:12:54.92

>>501
値が複製された場合なら問題ないんでないの？

**デフォルトの名無しさん** · 2022/01/09(日) 22:21:03.82

Rustは非常にシンプルで
Copy traitが実装されていない型は値と所有権がmoveされる
Cooy traitが実装されている型は値がcopyされてその値に新たな所有権が生じる

もちろんそれを所有権と値が複製されたとみてもよい
ちなみにRcは所有権の複製ではなく所有権の共有

**デフォルトの名無しさん** · 2022/01/09(日) 22:28:10.17

「所有権とは、文字通り変数が値を所有できる権利のことです。」
ふむふむ

「スカラー型の変数は、変数間の代入において所有権は基本的に複製されます。これを「所有権の複製（コピー）」といいます。」
ふむふむ・・・

「変数間の代入などにおいて所有権は複製されるので、値の所有者は常に1個でなければならないというルールは守られます。」
・・・は？
元の値を所有できる権利を複製したんじゃなかったの？

**デフォルトの名無しさん** · 2022/01/09(日) 22:37:27.87

>>511
所有権と値は必ずセットで複製される
当たり前だが片方だけが複製されることはありえない
必ず1対1の関係になる
ちなみにRcの場合は所有権は複製されずに所有権の共有となる

**デフォルトの名無しさん** · 2022/01/09(日) 22:41:22.81

>>511
>変数が値を所有できる権利のこと
"所有できる権利"という捉え方が良くないね

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

>>489
所有権だけが複製されるわけじゃないし、たしかに不自然だな

**デフォルトの名無しさん** · 2022/01/10(月) 00:03:57.12

>>509
複製された(結果的に値は同じだけどメモリ上の位置は異なる)新たな値に対する新たな所有権を｢所有権が複製される｣って表現するのはおかしいべ？

>>510
そこよく勘違いされてるけど値自体はCopyトレイトと関係なく常に複製されてるよ(最適化で除かれるとかは別として)

https://doc.rust-lang.org/std/marker/trait.Copy.htmlに全部書いてあるけど
Copyな型は｢プリミティブ型みたいに単純にメモリの内容を複製するだけでオッケー=copy｣
非Copyな型は｢ポインタとか含まれてたりして単純にメモリの内容を複製するだけだとNGな可能性があるから古い方は使えなくするよ=move｣
ってだけ

**デフォルトの名無しさん** · 2022/01/10(月) 11:29:11.88

>>515
ルールを守れるか守れないかという話。
表現としておかしいかどうかは結論なんて出せないんじゃね？公式ドキュメントででも謳ってない限り。

**デフォルトの名無しさん** · 2022/01/10(月) 20:14:15.89

著者のバックグラウンド見る限りC/C++の経験があるオレならRustも分かっちゃうよ？みたいな連載だから表現が慣れてなくても気にしない
監修もRustの人っぽくなさそうだし…多分、関数型の語彙が無いんじゃないかね

**デフォルトの名無しさん** · 2022/01/10(月) 20:29:16.07

うんこ言語を好意的に連載してる記事をこき下ろす性格の悪いRusterが集まる駄スレ

**デフォルトの名無しさん** · 2022/01/11(火) 03:16:23.27

>>515
> そこよく勘違いされてるけど値自体はCopyトレイトと関係なく常に複製されてるよ(最適化で除かれるとかは別として)
>
> https://doc.rust-lang.org/std/marker/trait.Copy.htmlに全部書いてあるけど

へー、なるほど、いろいろ納得したわ