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

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

https://doc.rust-lang.org/rust-by-example/scope/move.html
ここでは所有権が移動される(the ownership of the resources is transferred)とあるから
ここからの類推で所有権の複製という言葉が出てきたのかな

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

Ownershipを所有権と訳したから
「所有権とは、文字通り変数が値を所有できる権利のことです」
という間違った解釈がされて
さらには「所有権の複製」なんていうトンデモ説が出現しちゃう

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

>>543
ownershipが所有権ならtransferは譲渡
move(移動)とは明確に使い分けられてる

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

結局はどこにも原典がないオレオレ用語でワロタ
技術は研鑽していかないといけないのに
ポエムと独自解釈と拡大解釈によって逆方向に突き進むボンクラ

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

まぁ、オープンソースですらねぇし専門家の目すら通ってない様なサイトだし
それっぽい事書いときゃいいんだよってのが大抵のweb界隈

itで何か知りたいなら手っ取り早い話公式ドキュメント当たれって事だろ(´・ω・｀)

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

それでわかりやすくなるんなら別にいいけど、余計わかりにくくしてるってさぁ。。

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

>>545
https://doc.rust-jp.rs/rust-by-example-ja/scope/move.html
修正のpull req出しておいて

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

ルー語で言うと｢ownershipがtransferされることをmoveって呼ぶ｣的な？

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

this is known as a move.
英語のほうだと｢ムーブとして知られています｣か

実際コンパイラのソースみてもownershipはtransferとかtakeっていう表現でmoveだのcopyとは言ってないね

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

>>549
公式リファレンスくらいは英語で読もうよ
そんな変なサイト見てるからOwnershipの意味すら取れなくなるんだぞ

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

>>552
それは変なサイトではなくRust公式ページの日本語訳。
元のRust公式ページでも同様。

Ownership and moves
https://doc.rust-lang.org/rust-by-example/scope/move.html

Because variables are in charge of freeing their own resources,
resources can only have one owner.
This also prevents resources from being freed more than once.
Note that not all variables own resources (e.g. references)

When doing assignments (let x = y) or passing function arguments by value (foo(x)),
the ownership of the resources is transferred.
In Rust-speak, this is known as a move.

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

>>553
Google翻訳にかけてごらんw
主語も目的語も受動態の意味もわかってないような翻訳はゴミ

**デフォルトの名無しさん** · 2022/01/14(金) 00:21:00.58

DeepL で翻訳してみた

なぜなら、変数は自身のリソースを解放する役割を担っているからです。
リソースは一人のオーナーしか持つことができません。
これはまた、リソースが複数回解放されるのを防ぐためでもあります。
すべての変数がリソースを所有するわけではないことに注意してください（例：参照）。

代入（let x = y）や関数の引数を値で渡す場合（foo(x)）。
リソースの所有権は移転する。
Rustの用語では、これを「移動」と呼びます。

**デフォルトの名無しさん** · 2022/01/14(金) 00:30:32.83

「所有権の複製」とか、意味の分からない事を書いている、香具師がいるのか？

**デフォルトの名無しさん** · 2022/01/14(金) 00:36:35.57

>>556
!Copyの場合は所有権がtransferされるのであれば
Copyの場合はどう表現すべきかという話

**デフォルトの名無しさん** · 2022/01/14(金) 02:45:20.76

>>557
元の値の所有権はそのまま、複製された新しい値の所有権が新しく発生する。
元の値の所有権について何も操作は行われておらず、表現すべきことも無い。

**556** · 2022/01/14(金) 03:32:18.88

所有権が複製されるという書き方よりも、むしろ、

primitive を含むコピー型変数は、コピーされると、
所有権は移動しないので、元の変数にもアクセスできる、みたいに使う

コピーされると新たに、別のオブジェクト(実体・メモリ領域)と所有権が作られるとか

**デフォルトの名無しさん** · 2022/01/14(金) 08:35:26.86

- 所有権ごと複製するという表現がわかりやすいかわかりにくいか⇒人それぞれ
- 所有権を複製するという表現が逆になにか問題を生ずるか⇒今のところ挙げられてない

**デフォルトの名無しさん** · 2022/01/14(金) 08:46:30.94

>>556
そう
「水素の音」みたいなもん
「水素の音」って言いたい人がいるだけ

**デフォルトの名無しさん** · 2022/01/14(金) 09:28:53.08

>>558
これだよな

**デフォルトの名無しさん** · 2022/01/14(金) 09:48:26.29

所有権の複製では意味が通らない事は明らかなので、
誰か >>489 の文をサクッと直してくれていいんだぞ

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

流れ見てると｢所有権の複製｣は

おかしいから使うな派が半分
おかしいけどまあ好きにすれば派が半分
おかしくない派が約1名

みたいな感じ？

**デフォルトの名無しさん** · 2022/01/14(金) 12:13:02.65

この生産性のない議論に参加している人の割合と考えればさもありなん。