Rust part37

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

>>236
ついに言ったぞ！
>>195の「コンパイルを通る場合で」のやつだ
ついにトートロジーを始めましたｗｗ

劣化するの早かったなあｗ

おまえら日本語をどう捉えてるんだい？
俺はこう解釈した

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

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

>>239
その主張は流石に無理があるわ
それだと「どんな寿命の参照でも」はほぼ嘘になる

>>240
どんな寿命の参照でも成り立つよ
明記されてるように、関数の引数として受け取ったものに関しては

>>239
必死で言い訳しても、主張がコロコロ変わってる時点でもう見苦しいだけなんだよな
最初の主張通り thread::spawn() で 'static 以外を返してみろよ

>>242
spawnの場合は'static以外は前提が成り立たないことを理解できないのか？

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

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

>>243
そう主張したいなら>>183の「任意のライフタイムで必ず成立する」は嘘だったって言わないとなｗ
「本体の寿命が参照よりも長い場合に限って」に書き換えとけマヌケ

>>244
これは任意のライフタイムで必ず成立する

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

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

そんなことも言ってたのか
「任意のライフタイムで必ず成立する」なら「どんな寿命の参照でも」だけで前提と捉えるべきだな

>>245
主張変わってて草
thread::spawn() でも>>214で「Rustでは付加条件なく必ず成り立ちます」と言ってる
でも今「どんな寿命の参照でも」は実は「コンパイラが通してくれたら」って意味だったんですよ、と条件を足してる

>>246
『それを関数の引数で受け取ったら、』と条件が明記されてるだろ
これは任意のライフタイムで常に成立

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

案の定条件足してて草
もう何も言わない方が埋もれていくからマシなのに

>>248
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
「『それを関数の引数で受け取ったら、』と条件が明記されてるだろ」(>>248)
やってますなあｗ

>>247
>>248
条件を一切変えていない
条件を加えてもいない
Rustで以下は常に成り立つ

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

最初に書き込まれた文章
>>159
>>どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる

>>250
どこに新たな条件が加わってるんだ？
最初から書き込まれているぞ

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

>>251
元の書き込みを印籠にしたいなら
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる
もちゃんと書いとけマヌケ
そんな条件とやらはこの文章には書いてないけどなｗ
曲解もいいところｗｗ

おじいちゃん早起き

元の書き込み（正しいもの）>>159
> Rustはかなり自由
> どんな寿命の参照でも、それを関数の引数で受け取ったら、その参照や一部の参照を、関数から必ず返せる
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる

どんな値でも、とも言いきってるから「実は『コンパイルが通ったら』という条件が付いてる」という主張は通らんな

反例が出ないようなので
アンチもRustでは以下が必ず成立することを認めるしかないよね

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

>>256
お前が騙せてるの自分だけだぞｗ

>>257
反例を出せなきゃあなたの負け

>>258
もう出まくってるだろ
言い訳してなかったことにしようとしてそれでも反論できなくなってついに何も聞かずに「あなたの負け」って言い続けるbotになったお前の負け

>>259
反例どれだよ？
spawnの場合も前提を満たすものは必ず成り立つぞ

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

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

「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)
「『それを関数の引数で受け取ったら、』と条件が明記されてるだろ」(>>248)

>>260
> spawnの引数が何なのか知らない無知な人は勉強して出直してきてね (>>211)
ここで一旦参照を受け取るって部分の条件変えて逃げようとしたのも忘れてないからなｗ

>>261
その通り
Rustでは任意のライフタイムでも付加条件なく以下が必ず成立する

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

最初から「コンパイルが通ればコンパイルが通る」ってトートロジーだったならこの逃げいらないの草

>>263
最初から「コンパイルが通ればコンパイルが通る」ってトートロジーだったなら
> spawnの引数が何なのか知らない無知な人は勉強して出直してきてね (>>211)
ここで一旦参照を受け取るって部分の条件変えて逃げようとしたのは説明できないよね
嘘吐きミッケ！

なんでこんな偉そうにしてる奴がいたら全力で叩きたい連中のたまり場でここまでツッコミどころ満載のイキり発言をしてしまったのか……

>>265
その主張したい意味がわからない
以下は崩れないよ
Rustでは必ず成り立つことだから

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

>>267
わからないってことにして逃げてて草
最初から「コンパイルが通ればコンパイルが通る」って進次郎構文だったなら何で条件変えて逃げようとしたんだって言われてんだよ
後からそういうことにした以外に理由ないだろうが

最初から「コンパイルが通ればコンパイルが通る」ってトートロジーだったなら
> spawnの引数が何なのか知らない無知な人は勉強して出直してきてね (>>211)
ここで一旦参照を受け取るって部分の条件変えて逃げようとしたのは説明できない

>>268
コンパイルは関係ないだろ
このどこに出てくるんだよ？

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

>>270
お前が 'static しか受け取れないから成立するって吹いたんだろうがｗ
もう忘れたのか

>>270
はいはい、えらいでちゅねー
ID:GVCMKu1fがただしかったってことで、いいとおもいます！

>>272
おっ、そうだな

>>269
どこに逃げがあるんだい
元の書き込まれた文章から一字一句変えてない
そのまま常に成立している

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

>>274
spawnの引数がクロージャだから参照は受け取れないって逃げ打ってたのごまかしてて草

>>271
そのどこに以下のRustでの常識を崩す要素があるのかね

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

>>274
もう頑張ったから正解ってことでいいんじゃね
正解正解、よくできましたｗ

>>276
「どんな寿命の参照でも」「どんな値でも」「他の関数から返ってきたものでも」(>>159)
「任意のライフタイムで必ず成立する」(>>183)
「Rustでは付加条件なく必ず成り立ちます」(>>214)

これについて説明はよｗ

>>275
そんなウソをついてまで叩きたいのかね

>>278
おいおい、正解ってことにしてあげるんじゃなかったのかｗ

>>279
全部書き込み残ってるのに今更嘘だと言い張って逃げられると思ってるのは流石に笑うしかない

>>279
えらいねー
いじめてくるひとひどいねーｗ

>>279
おー、はなまるだねぇ
えらいぞえらいぞー

>>278
もちろんRustにおいては任意のライフタイムで以下が成立するよ

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

>>284
> どんな値でも、それが自分で作ったものでも、関数の引数として受け取ったものでも、他の関数から返ってきたものでも、関数から必ず返せる
これはどこに行ったんだよｗ

ID:GVCMKu1fくんはよく頑張ったのではなまるです！

>>281
証拠があるなら示せばいい
どうせキミが読み間違いか曲解か妄想しただけだろ

>>285
それは並列するもう一つの話だよね

>>287
こんだけ書かれてるのに見事に都合の悪い部分はスルーしてるなｗ
ずっと曲解してるのはお前だしｗｗ

>>289
証拠があるならダイレクトに示しなさい

>>288
そんなわけなくて草
どう見ても「関数から必ず返せる」だけじゃ何を返せるのか書いてないから前のものの続きとしか解釈できない
「それは並列するもう一つの話だよね」←国語のテストなら0点

>>290
示されてるのにずっと逃げてる奴が偉そうで草
曲解以外にお前の回答ってないじゃんｗ

>>291
そんなこと俺に言われてもな

>>293
お前がめちゃくちゃな読み方したんだろうがｗ

がんばってるID:GVCMKu1fくんがえらいにきまってるでしょ！
ひとつあてはまらないからってえらそうですよ！！

まずRustでは以下が常に成り立つという話は合意でいいんだな？
以下に明記されてる前提を満たす反例が出て来ないため

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

草

>>296
もうそれでいいんじゃね、お前の中ではｗ

>>296
そういう妄想をするのは自由だと思うよ

>>295
例外は一つもない
Rustで以下は絶対に成り立つ

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

ID:GVCMKu1fくんはがんばってるから100てんなのです！
えらいのですよ〜

>>300
お前の世界ではそうなんだなｗ

荒らしを弄って遊ぶ会

普段Rustでプログラムを書いていたら以下が成り立ってることくらいわかるはず
返せない例がないので

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

ID:GVCMKu1fくんはがんばってるからえらいんですよ！
だからあらしじゃありません！ｗ

>>303
もう尾張だねこの言語

>>304
お前が書いたことあるコードとか知らんがなｗ
thread::spawn() すら思いつかない時点でどうせ大したもん書いてないだけ

>>307
言ってやるなよ可哀想だろ

>>306
こっそり書いても何書いてるかバレないわけじゃないんだぞ

Rustアンチスレ
https://mevius.5ch.io/test/read.cgi/tech/1509028624/

がんばってるID:GVCMKu1fくんがただしいとおもいます！

>>307
明記されてる条件『それを関数の引数で受け取ったら、』を満たす反例が出て来ない
spawnでも受け取った参照は返せる

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

>>311
一生その妄想に浸ってればいいと思うよ

>>312
あんたこそ前提を満たす反例を持ってこいよ

>>313
後から勝手にトートロジーにしておいてなんか言ってて草

>>314
後から？
一字一句変えてないが

もうID:GVCMKu1fが頑張ってるから勝ちでいいよマジで
どうせ何言っても聞く気ないし同語反復するだけの壊れたラジオじゃん

>>315
一字一句変えてない（曲解しまくったから）

ID:GVCMKu1fの勝ち
理由: なんか頑張ってるから

Rustアンチの人はたった一つの反例を示せばいいのに示せないまま
Rustにおいては以下が必ず成り立つからね

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

>>319
はいはい、そう思うんならそれでいいんじゃね

>>319勝手にそう思ってていいからもう黙っていいぞ

>>319
お前の書いてるRustはそうなんだろ？
そんなに怒って何が言いたいんだい？ｗ

>>319
こんなすれにまじになっちゃってどうするの

Rustアンチの人は反例を示せないままデタラメに否定してたからね
以下のRustにおける常識を

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

>>324
お前の中ではそれで正しいんだろ？
だったらもうそれでいいじゃん

ID:GVCMKu1fがただしかったってことで、いいとおもいます！

>>321
>>322
時々IDを変え忘れて同じIDのまま二度レスしてるね

>>327
単に同一人物なだけだろ
矛盾したことも言ってないし

>>327
そうだねー、いじめられてかわいそかわいそ

>>323
たけしの挑戦状で草

全ての書き込みが
ID変えての単発IDか
あるいは
ID変え忘れての二度レスで興味深い

>>331
根拠のない罵倒に連続投稿
また一昨日の荒らしか

50連投は草

>>333
連投はしてないだろ
複おじイライラで草

>>331
お前の中ではそうなんだろ
それでいいんじゃねえの

>>332
一昨日も昨日も荒らしてたのはお前だろ複おじ