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

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

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

Rustの学習してるのですが、モジュールがどう使われるものなのかいまいち想像がつきません
他の言語でいう、スタティッククラスのような使い方になるのですか？
クレート内部にはモジュールを通じてアクセスしてもらうような、アクセサーのような感覚でいいのでしょうか？

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

なんで所有権が複製分岐なんていう言葉を発明しちゃうんだろな
実際に所有権をツリー構造みたいなものでイメージしてるのかな

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

>>791
モジュールはコードのかたまりでnamespaceを構成するもの
Javaならパッケージ、C#ならnamespace

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

複製は値と所有権のペアがまるごと複製されるというイメージでわからなくもないが分岐は本当によくわからない

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

>>792
何事も正しく理解できないクセがついてて
同時に、そんな自分を客観的に理解できてないから
独自用語乱発になんの違和感もないんやろな

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

複おじの悪いとこは反省が無いところ

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

複製おじさん自演認定連呼の人も大概だけどな
技術について語るスレなんだから個性を出すな与えるな

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

変数毎のメタデータに所有権管理のためのフラグか状態変数があってその値も複製されるイメージだったんでしょ
それを匂わせることを確か書いてた気がする

仮にそういう実装だったとしてもそのメタデータ自体は所有権じゃないんだけどね
複オジは反省して分岐して欲しい

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

>>784
Copyを実装する型の変数にも所有権は存在するぜ
使われるたびに複製されて別々の所有権になる
例えば借用ルールなどもそれぞれ個別に適用されるようになる

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

複製おじさんホントに反省しないなぁ

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

複おじはまずコテハンかトリップつけてほしい
名無しに紛れ込んでスレ荒らすのやめてほしい

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

>>799で合ってると思う私も何か勘違いしてる？
もし違うならば正しい情報を知りたい

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

>>802
複オジいい加減にして！

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

>>803
指摘の中身が無いから何をどうすればいいか傍から見てさっぱりわからんのだが。

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

>>804
それそれ
おじとかオジとか言ってる人の書き込みを遡って見ても中身がないかコピペばかり
おじとオジをNGにすればよいのかな

**はちみつ餃子** ◆8X2XSCHEME · 2022/02/08(火) 23:24:36.35

>>802
正しいよ。 >>799 で正しい。
値が複製されると同時にそれぞれが所有権を持つというのは根本的な原理そのもの。

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

おや

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

「所有権が複製される」のではなくて、「値が複製されるとき、複製された値には新しい所有権が生まれる」と表現すべき、ってこと？

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

>>806
ありがとう
おじオジ連投の人はNGにします

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

単なる揚げ足取りでしょ
本人もよくわかってないと思われ

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

はちみつ複製オジは自演するのいい加減して！！

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

>>799,802,806
799は言葉足らずだと思う。

>>808 のがより合ってる。

**デフォルトの名無しさん** · 2022/02/09(水) 01:28:22.38

あちこちでrustおじさんが暴れてるんだけどこのスレでも暴れてんのな

**デフォルトの名無しさん** · 2022/02/09(水) 07:46:27.70

>>808
その2つの解釈に何の違いがあるのってことだよな

**デフォルトの名無しさん** · 2022/02/09(水) 08:16:52.91

論理性がない、客観性もない、実績もないのに上から目線の奴いるよね
素人相手にマウント取りたいアフィブロガーやアフィチューバーの類なんだろうけど

**デフォルトの名無しさん** · 2022/02/09(水) 08:33:26.39

>>812
「言葉足らず」だっだという事にしたいのねw

**デフォルトの名無しさん** · 2022/02/09(水) 13:00:04.34

所有権を実装の観点からだけ見た場合はCopy型に所有権は(設定されて)ないと考えるのは妥当
説明用の概念として見た場合はshared referenceを除くCopy実装型にも所有権があってコピーされた際にその値に対する新たな所有権が発生すると考える方が妥当

公式は基本的に後者