探検

Rust part37

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2026/07/17(金) 19:12:31.24ID:yl11920u
公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

公式ドキュメント
https://www.rust-lang.org/learn

Web上の実行環境
https://play.rust-lang.org

※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※次スレは原則>>980が立てること

前スレ
Rust part36
https://mevius.5ch.io/test/read.cgi/tech/1779974768/

ﾜｯﾁｮｲスレ
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
https://mevius.5ch.io/test/read.cgi/tech/1514107621/
2026/07/19(日) 06:15:09.80ID:MjpkG5aN
>>231
あ、ついにやったな
バレないと思ったかもしれないがそれは渡された参照が 'static の場合だけ
こっそり「どんな寿命の参照でも」を消してる
2026/07/19(日) 06:16:27.03ID:wLxs3A5R
なんでこんな偉そうにしてる奴がいたら全力で叩きたい連中のたまり場でここまでツッコミどころ満載のイキり発言をしてしまったのか……
2026/07/19(日) 06:16:35.28ID:GVCMKu1f
>>232
もちろん
どんな寿命の参照でも
『それを関数の引数で受け取ったら』
必ず返せます

元の書き込み
>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:18:50.69ID:3mnun1V8
>>234
反例: thread::spawn()

あと、元の書き込みを印籠にしたいなら
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる
もちゃんと書いとけマヌケ
2026/07/19(日) 06:21:17.49ID:GVCMKu1f
>>235
まずspawnの仕様をよく見ようよ
spawnには'staticしか来ない
だからspawnの場合も以下が成立している

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:23:19.38ID:kyJHd/y9
>>236
ついに言ったぞ！
>>195の「コンパイルを通る場合で」のやつだ
ついにトートロジーを始めましたｗｗ
2026/07/19(日) 06:23:54.02ID:YCyVvPUO
劣化するの早かったなあｗ
2026/07/19(日) 06:27:11.78ID:GVCMKu1f
おまえら日本語をどう捉えてるんだい？
俺はこう解釈した

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:28:57.71ID:5AkW9j9X
>>239
その主張は流石に無理があるわ
それだと「どんな寿命の参照でも」はほぼ嘘になる
2026/07/19(日) 06:29:58.00ID:GVCMKu1f
>>240
どんな寿命の参照でも成り立つよ
明記されてるように、関数の引数として受け取ったものに関しては
2026/07/19(日) 06:30:14.48ID:JmLpZhD6
>>239
必死で言い訳しても、主張がコロコロ変わってる時点でもう見苦しいだけなんだよな
最初の主張通り thread::spawn() で 'static 以外を返してみろよ
2026/07/19(日) 06:31:52.52ID:GVCMKu1f
>>242
spawnの場合は'static以外は前提が成り立たないことを理解できないのか？

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:34:09.30ID:iGuMvbCY
>>243
そう主張したいなら>>183の「任意のライフタイムで必ず成立する」は嘘だったって言わないとなｗ
「本体の寿命が参照よりも長い場合に限って」に書き換えとけマヌケ
2026/07/19(日) 06:35:13.01ID:GVCMKu1f
>>244
これは任意のライフタイムで必ず成立する

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:35:33.30ID:JUSFYQBq
そんなことも言ってたのか
「任意のライフタイムで必ず成立する」なら「どんな寿命の参照でも」だけで前提と捉えるべきだな
2026/07/19(日) 06:37:32.58ID:qD6+yINI
>>245
主張変わってて草
thread::spawn() でも>>214で「Rustでは付加条件なく必ず成り立ちます」と言ってる
でも今「どんな寿命の参照でも」は実は「コンパイラが通してくれたら」って意味だったんですよ、と条件を足してる
2026/07/19(日) 06:37:54.40ID:GVCMKu1f
>>246
『それを関数の引数で受け取ったら、』と条件が明記されてるだろ
これは任意のライフタイムで常に成立

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:38:13.17ID:JZtLLXX2
案の定条件足してて草
もう何も言わない方が埋もれていくからマシなのに
2026/07/19(日) 06:39:39.62ID:k7o4mZYf
>>248
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
「『それを関数の引数で受け取ったら、』と条件が明記されてるだろ」(>>248)
やってますなあｗ
2026/07/19(日) 06:40:05.35ID:GVCMKu1f
>>247
>>248
条件を一切変えていない
条件を加えてもいない
Rustで以下は常に成り立つ

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

最初に書き込まれた文章
>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:41:40.08ID:GVCMKu1f
>>250
どこに新たな条件が加わってるんだ？
最初から書き込まれているぞ

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:41:42.36ID:j73AhSk6
>>251
元の書き込みを印籠にしたいなら
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる
もちゃんと書いとけマヌケ
そんな条件とやらはこの文章には書いてないけどなｗ
曲解もいいところｗｗ
254デフォルトの名無しさん
垢版 |
2026/07/19(日) 06:43:17.79ID:fpgmEylb
おじいちゃん早起き
2026/07/19(日) 06:43:40.66ID:j73AhSk6
元の書き込み（正しいもの）>>159
> Rustはかなり自由
> どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる

どんな値でも、とも言いきってるから「実は『コンパイルが通ったら』という条件が付いてる」という主張は通らんな
2026/07/19(日) 06:44:42.15ID:GVCMKu1f
反例が出ないようなので
アンチもRustでは以下が必ず成立することを認めるしかないよね

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:48:57.23ID:JHxWwbLd
>>256
お前が騙せてるの自分だけだぞｗ
2026/07/19(日) 06:53:33.70ID:GVCMKu1f
>>257
反例を出せなきゃあなたの負け
2026/07/19(日) 06:55:35.55ID:DrMR6SBy
>>258
もう出まくってるだろ
言い訳してなかったことにしようとしてそれでも反論できなくなってついに何も聞かずに「あなたの負け」って言い続けるbotになったお前の負け
2026/07/19(日) 06:57:21.58ID:GVCMKu1f
>>259
反例どれだよ？
spawnの場合も前提を満たすものは必ず成り立つぞ

【前提】どんな寿命の参照でも、それを関数の引数で受け取ったら、
【恒真】その参照や一部の参照を、関数から必ず返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 06:57:54.47ID:ue61OBhB
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
「『それを関数の引数で受け取ったら、』と条件が明記されてるだろ」(>>248)
2026/07/19(日) 06:59:13.58ID:hEDHzyU0
>>260
> spawnの引数が何なのか知らない無知な人は勉強して出直してきてね (>>211)
ここで一旦参照を受け取るって部分の条件変えて逃げようとしたのも忘れてないからなｗ
2026/07/19(日) 06:59:59.37ID:GVCMKu1f
>>261
その通り
Rustでは任意のライフタイムでも付加条件なく以下が必ず成立する

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:00:02.07ID:SrO1Zqc0
最初から「コンパイルが通ればコンパイルが通る」ってトートロジーだったならこの逃げいらないの草
2026/07/19(日) 07:01:05.91ID:CxcVSvRk
>>263
最初から「コンパイルが通ればコンパイルが通る」ってトートロジーだったなら
> spawnの引数が何なのか知らない無知な人は勉強して出直してきてね (>>211)
ここで一旦参照を受け取るって部分の条件変えて逃げようとしたのは説明できないよね
嘘吐きミッケ！
2026/07/19(日) 07:02:28.07ID:vgx8yFVs
なんでこんな偉そうにしてる奴がいたら全力で叩きたい連中のたまり場でここまでツッコミどころ満載のイキり発言をしてしまったのか……
2026/07/19(日) 07:02:37.07ID:GVCMKu1f
>>265
その主張したい意味がわからない
以下は崩れないよ
Rustでは必ず成り立つことだから

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:03:43.17ID:vgx8yFVs
>>267
わからないってことにして逃げてて草
最初から「コンパイルが通ればコンパイルが通る」って進次郎構文だったなら何で条件変えて逃げようとしたんだって言われてんだよ
後からそういうことにした以外に理由ないだろうが
2026/07/19(日) 07:04:14.54ID:X+Nh8ZgR
最初から「コンパイルが通ればコンパイルが通る」ってトートロジーだったなら
> spawnの引数が何なのか知らない無知な人は勉強して出直してきてね (>>211)
ここで一旦参照を受け取るって部分の条件変えて逃げようとしたのは説明できない
2026/07/19(日) 07:05:20.29ID:GVCMKu1f
>>268
コンパイルは関係ないだろ
このどこに出てくるんだよ？

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:06:17.88ID:ZWUPg6E2
>>270
お前が 'static しか受け取れないから成立するって吹いたんだろうがｗ
もう忘れたのか
2026/07/19(日) 07:06:50.85ID:ehvtZBcJ
>>270
はいはい、えらいでちゅねー
ID:GVCMKu1fがただしかったってことで、いいとおもいます！
2026/07/19(日) 07:07:47.41ID:3OzOrXHp
>>272
おっ、そうだな
2026/07/19(日) 07:07:55.58ID:GVCMKu1f
>>269
どこに逃げがあるんだい
元の書き込まれた文章から一字一句変えてない
そのまま常に成立している

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:09:33.53ID:7T4bhUIg
>>274
spawnの引数がクロージャだから参照は受け取れないって逃げ打ってたのごまかしてて草
2026/07/19(日) 07:09:36.28ID:GVCMKu1f
>>271
そのどこに以下のRustでの常識を崩す要素があるのかね

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:10:12.89ID:7dGloKYE
>>274
もう頑張ったから正解ってことでいいんじゃね
正解正解、よくできましたｗ
2026/07/19(日) 07:12:03.36ID:7dGloKYE
>>276
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」(>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)

これについて説明はよｗ
2026/07/19(日) 07:12:14.14ID:GVCMKu1f
>>275
そんなウソをついてまで叩きたいのかね
2026/07/19(日) 07:12:38.17ID:D64cpFCR
>>278
おいおい、正解ってことにしてあげるんじゃなかったのかｗ
2026/07/19(日) 07:13:15.97ID:8u5SMf+8
>>279
全部書き込み残ってるのに今更嘘だと言い張って逃げられると思ってるのは流石に笑うしかない
2026/07/19(日) 07:13:48.75ID:Hvp4Yrmg
>>279
えらいねー
いじめてくるひとひどいねーｗ
2026/07/19(日) 07:14:40.53ID:tK5f88Vh
>>279
おー、はなまるだねぇ
えらいぞえらいぞー
2026/07/19(日) 07:14:48.83ID:GVCMKu1f
>>278
もちろんRustにおいては任意のライフタイムで以下が成立するよ

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:15:43.84ID:tK5f88Vh
>>284
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる
これはどこに行ったんだよｗ
2026/07/19(日) 07:16:14.97ID:qTzUVwoN
ID:GVCMKu1fくんはよく頑張ったのではなまるです！
2026/07/19(日) 07:16:26.99ID:GVCMKu1f
>>281
証拠があるなら示せばいい
どうせキミが読み間違いか曲解か妄想しただけだろ
2026/07/19(日) 07:17:27.16ID:GVCMKu1f
>>285
それは並列するもう一つの話だよね
2026/07/19(日) 07:17:34.01ID:yZ5c9xlM
>>287
こんだけ書かれてるのに見事に都合の悪い部分はスルーしてるなｗ
ずっと曲解してるのはお前だしｗｗ
2026/07/19(日) 07:18:32.08ID:GVCMKu1f
>>289
証拠があるならダイレクトに示しなさい
2026/07/19(日) 07:18:47.17ID:2IPBj72V
>>288
そんなわけなくて草
どう見ても「関数から必ず返せる」だけじゃ何を返せるのか書いてないから前のものの続きとしか解釈できない
「それは並列するもう一つの話だよね」←国語のテストなら0点
2026/07/19(日) 07:19:34.28ID:lR4pMYKt
>>290
示されてるのにずっと逃げてる奴が偉そうで草
曲解以外にお前の回答ってないじゃんｗ
2026/07/19(日) 07:19:46.77ID:GVCMKu1f
>>291
そんなこと俺に言われてもな
2026/07/19(日) 07:20:16.37ID:nnBRRqIz
>>293
お前がめちゃくちゃな読み方したんだろうがｗ
2026/07/19(日) 07:21:17.05ID:ak5oibCb
がんばってるID:GVCMKu1fくんがえらいにきまってるでしょ！
ひとつあてはまらないからってえらそうですよ！！
2026/07/19(日) 07:21:38.63ID:GVCMKu1f
まずRustでは以下が常に成り立つという話は合意でいいんだな？
以下に明記されてる前提を満たす反例が出て来ないため

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:21:47.35ID:PrEgWlO6
草
2026/07/19(日) 07:22:09.50ID:PrEgWlO6
>>296
もうそれでいいんじゃね、お前の中ではｗ
2026/07/19(日) 07:22:33.99ID:d4DOYcOx
>>296
そういう妄想をするのは自由だと思うよ
2026/07/19(日) 07:22:51.18ID:GVCMKu1f
>>295
例外は一つもない
Rustで以下は絶対に成り立つ

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:23:20.62ID:CbyOkROJ
ID:GVCMKu1fくんはがんばってるから100てんなのです！
えらいのですよ〜
2026/07/19(日) 07:23:58.26ID:ead1Jdp1
>>300
お前の世界ではそうなんだなｗ
2026/07/19(日) 07:25:29.52ID:NsPSD/p5
荒らしを弄って遊ぶ会
2026/07/19(日) 07:25:39.44ID:GVCMKu1f
普段Rustでプログラムを書いていたら以下が成り立ってることくらいわかるはず
返せない例がないので

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:26:19.73ID:FFXH6LmV
ID:GVCMKu1fくんはがんばってるからえらいんですよ！
だからあらしじゃありません！ｗ
2026/07/19(日) 07:26:32.40ID:cWtPimWQ
>>303
もう尾張だねこの言語
2026/07/19(日) 07:27:45.14ID:NFhUPYue
>>304
お前が書いたことあるコードとか知らんがなｗ
thread::spawn() すら思いつかない時点でどうせ大したもん書いてないだけ
2026/07/19(日) 07:28:29.57ID:Jcyfean4
>>307
言ってやるなよ可哀想だろ
2026/07/19(日) 07:29:17.38ID:uowPgdJa
>>306
こっそり書いても何書いてるかバレないわけじゃないんだぞ

Rustアンチスレ
https://mevius.5ch.io/test/read.cgi/tech/1509028624/
2026/07/19(日) 07:29:51.08ID:TeHdH/FF
がんばってるID:GVCMKu1fくんがただしいとおもいます！
2026/07/19(日) 07:30:15.91ID:GVCMKu1f
>>307
明記されてる条件『それを関数の引数で受け取ったら、』を満たす反例が出て来ない
spawnでも受け取った参照は返せる

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:32:01.38ID:DoYz9Jmg
>>311
一生その妄想に浸ってればいいと思うよ
2026/07/19(日) 07:33:08.45ID:GVCMKu1f
>>312
あんたこそ前提を満たす反例を持ってこいよ
2026/07/19(日) 07:33:48.23ID:79NbkuOh
>>313
後から勝手にトートロジーにしておいてなんか言ってて草
2026/07/19(日) 07:34:20.15ID:GVCMKu1f
>>314
後から？
一字一句変えてないが
2026/07/19(日) 07:34:42.00ID:vv4RgEGt
もうID:GVCMKu1fが頑張ってるから勝ちでいいよマジで
どうせ何言っても聞く気ないし同語反復するだけの壊れたラジオじゃん
2026/07/19(日) 07:35:09.52ID:w2KdlMOm
>>315
一字一句変えてない（曲解しまくったから）
2026/07/19(日) 07:36:04.90ID:loiaJuTI
ID:GVCMKu1fの勝ち
理由: なんか頑張ってるから
2026/07/19(日) 07:36:39.03ID:GVCMKu1f
Rustアンチの人はたった一つの反例を示せばいいのに示せないまま
Rustにおいては以下が必ず成り立つからね

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:37:23.79ID:64rRBRf+
>>319
はいはい、そう思うんならそれでいいんじゃね
2026/07/19(日) 07:38:01.10ID:J0w23NZl
>>319勝手にそう思ってていいからもう黙っていいぞ
2026/07/19(日) 07:39:36.76ID:J0w23NZl
>>319
お前の書いてるRustはそうなんだろ？
そんなに怒って何が言いたいんだい？ｗ
2026/07/19(日) 07:41:21.68ID:Pbg4OqFR
>>319
こんなすれにまじになっちゃってどうするの
2026/07/19(日) 07:41:26.89ID:GVCMKu1f
Rustアンチの人は反例を示せないままデタラメに否定してたからね
以下のRustにおける常識を

>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
2026/07/19(日) 07:42:42.31ID:IR1/PVyP
>>324
お前の中ではそれで正しいんだろ？
だったらもうそれでいいじゃん
2026/07/19(日) 07:43:09.98ID:8KySyXbb
ID:GVCMKu1fがただしかったってことで、いいとおもいます！
2026/07/19(日) 07:43:13.02ID:GVCMKu1f
>>321
>>322
時々IDを変え忘れて同じIDのまま二度レスしてるね
2026/07/19(日) 07:44:26.57ID:Xc6J5cNr
>>327
単に同一人物なだけだろ
矛盾したことも言ってないし
2026/07/19(日) 07:45:11.59ID:10Ib5hsB
>>327
そうだねー、いじめられてかわいそかわいそ
2026/07/19(日) 07:47:05.41ID:yPYKroD9
>>323
たけしの挑戦状で草
2026/07/19(日) 07:47:17.32ID:GVCMKu1f
全ての書き込みが
ID変えての単発IDか
あるいは
ID変え忘れての二度レスで興味深い
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況