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/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に全部書いてあるけど

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

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

>>518
だよなぁ。
誰か筆者に指摘した？

あと、「所有権の複製（コピー）」はRustだと実際は何て言ってるの？

**デフォルトの名無しさん** · 2022/01/11(火) 12:25:22.53

｢所有権の複製｣でググってもほぼ誰も使って無い用語で草

**デフォルトの名無しさん** · 2022/01/11(火) 12:27:41.85

所有権だけをすることなんてないだろうし、そんな言葉なくね
そもそも意味わからん

処理系を実装してる人にとっては考えることかもしれんが

**デフォルトの名無しさん** · 2022/01/11(火) 12:28:11.69

所有権だけを複製すること、の間違い

**デフォルトの名無しさん** · 2022/01/11(火) 21:25:05.09

まあ無駄にややこしいだけの説明だわな。
これで間違ってない！とか意地張るような輩は俺だったら落とすわ。

**デフォルトの名無しさん** · 2022/01/11(火) 21:31:59.06

どっちに解釈しても問題ない話の一方に固執する方がお断りだな。

**デフォルトの名無しさん** · 2022/01/11(火) 22:00:42.75

所有権の複製の意味が分からん
不用意に独自用語使うのを野放しにしちゃいけない
専門用語とその定義がなぜあるのかを考えて欲しい

**デフォルトの名無しさん** · 2022/01/11(火) 22:43:07.52

>>519
実際に生ポインタ(アドレス)を見る形で実験したところ
「関数に値渡し(≠参照渡し)する」時は
「Copy trait実装の有無」に関係なく
「必ず値は複製されている(＝別アドレスになる)」という
よく考えれば当たり前の挙動となった

つまり話をまとめると
・Copy trait実装の有無と関係なく「値は必ず複製される」
・Copy trait実装がある時は「所有権も複製される」
・Copy trait実装がない時は「所有権は移動する」
これ以外に表現しようがないことがわかった

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

メモリ上の動きと言語上のルールの違いもまともに理解してなさそうな連中だな。

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

mutの時に書き換えると元の値と別の値に出来るのだから新たな所有権が生じているのは事実
あとは、所有権の複製、という表現の問題
間違ってはいないが理解しにくいならば別の良い表現で置き換えればよいが何がいいだろう？

**デフォルトの名無しさん** · 2022/01/12(水) 00:52:45.70

値が複製されるのに伴って新たな所有権が生成される

**デフォルトの名無しさん** · 2022/01/12(水) 08:45:55.15

ムーブの場合は元の所有権が破棄されて新たな所有権が生成される

**デフォルトの名無しさん** · 2022/01/12(水) 10:38:50.42

値を複製したらメモリの領域が別なのに｢所有権の複製｣は何を複製すると思ってんだろ

**デフォルトの名無しさん** · 2022/01/12(水) 18:27:19.23

>>532
さっぱりわからんよな

>>529
> 間違ってはいないが理解しにくいならば

何言ってんのコイツ？

**デフォルトの名無しさん** · 2022/01/12(水) 21:24:46.00

全く同じものを新しく生成するのと複製は外から見て区別しようがないんだから

**デフォルトの名無しさん** · 2022/01/12(水) 22:30:30.00

所有権はコンパイル時のはなし
メモリの動きは実行時のははし

**デフォルトの名無しさん** · 2022/01/12(水) 23:21:45.30

セマンティクスの話をしろ

**デフォルトの名無しさん** · 2022/01/12(水) 23:51:37.77

現実世界の所有権が複製可能な権利だったのなら
複製されると勘違いする人がいても不思議はないが・・・

**デフォルトの名無しさん** · 2022/01/13(木) 08:49:48.70

質量保存則に縛られる現実世界の複製との対比には限界があるわな。

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

権利のような無形物は質量保存則には縛られない

Borrow Checkerが課すルールをわかりやすく説明するためのメタファーとして
現実世界の所有権という概念を借りてきてるのに
そのメタファーを分かりにくくするエクストリームなルールを勝手に追加して広めるのはやめよう

**デフォルトの名無しさん** · 2022/01/13(木) 10:57:22.74

https://users.rust-lang.org/t/what-is-the-formal-definition-of-ownership/41984
なんか同じようなやり取りして同じように最終的にグダグダなまま閉じてて草

**デフォルトの名無しさん** · 2022/01/13(木) 11:03:58.63

というかRustの実装のところ見ればいいんじゃね？
仕組みのコードはあるだろうし

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

見るまでもないだろw