Rust part12

**デフォルトの名無しさん** · 2021/08/24(火) 22:55:27.78

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

前スレ
Rust part11
https://mevius.5ch.net/test/read.cgi/tech/1623857052/

**デフォルトの名無しさん** · 2021/08/26(木) 17:48:35.66

>>70
それを期待するならFoundationよりこっちかな
https://ferrous-systems.com/ferrocene/
2022年末にASIL-B認証が目標

**デフォルトの名無しさん** · 2021/08/26(木) 18:01:26.94

>>69
どの論文だよ

**デフォルトの名無しさん** · 2021/08/26(木) 22:38:09.77

>>71
まだOpenなRFCいくつあると思ってるんだ

**デフォルトの名無しさん** · 2021/08/26(木) 23:09:41.27

そんなこと言い出したら他の言語も未完成
永久にね

**デフォルトの名無しさん** · 2021/08/26(木) 23:45:46.81

でもSchemeとか言語仕様も形式意味論も定まってるし

**デフォルトの名無しさん** · 2021/08/26(木) 23:50:11.85

とりあえず
https://doc.rust-lang.org/stable/reference/
のWarningを消してくれるだけでいいんだ
2018版だけでも確定できないのかな

**デフォルトの名無しさん** · 2021/08/26(木) 23:57:00.95

確定できないというよりメンテする人がいないんじゃないかな
言語仕様に詳しいけどコード書くよりドキュメント書きたいっていう奇特な人が要求されるわけで

**デフォルトの名無しさん** · 2021/08/27(金) 00:00:45.70

ferroceneみたいに具体的な目標があって企業が投資してるなら進むだろうけど
リファレンスの更新とかあまり需要もないじゃない？

**デフォルトの名無しさん** · 2021/08/27(金) 00:16:19.30

完全な仕様書は間違いなく必要ではあるよな。

**デフォルトの名無しさん** · 2021/08/27(金) 00:25:02.14

完全な仕様書www
どんだけ素人なんw

**デフォルトの名無しさん** · 2021/08/27(金) 00:25:46.96

第三者が処理系を作れるレベルで言語仕様が固まれば普及が進むと思うんだけどね
Rust Foundationにはそういう方向性を期待してたけど想像以上に何もしなかった

**デフォルトの名無しさん** · 2021/08/27(金) 00:39:02.98

Foundationはもともと裏方に徹する組織だと言ってたし
その通りに動いているのでは
最近だとgccrsのライセンス絡みの知財チェックとかやってたかと

**デフォルトの名無しさん** · 2021/08/27(金) 00:45:32.58

言語仕様が固まるってのは新機能の追加をやめるということ？

**デフォルトの名無しさん** · 2021/08/27(金) 00:49:06.81

言語仕様とコンパイラのバージョンが一体化しているようではミッションクリティカルな領域で採用されない

**デフォルトの名無しさん** · 2021/08/27(金) 01:13:55.67

>>84
厳密に運用するなら機能を追加するときは言語仕様のバージョンも上げる
固めるのは言語仕様の１つのバージョンってだけで言語の進化をとめるわけじゃないよ

**デフォルトの名無しさん** · 2021/08/27(金) 01:28:41.09

>>84
現状では「今そのように動いている処理系」と「処理系の (不十分な) ドキュメント」がある状態で、
それのどこからどこまでが言語仕様として満たすべき要件なのか保証されている動作なのかがわからない。
追加するも何も今の時点でどうなっているのかわからん。

どこかにはあったりもするんだろうけど、開発者向けの議論の中などに分散していて「仕様書」としてまとまってないんだ。

**デフォルトの名無しさん** · 2021/08/27(金) 02:31:48.28

安全性は型システムによるところが大きいから、仕様書が無いと使えないというのは無いと思うがね

**デフォルトの名無しさん** · 2021/08/27(金) 02:39:18.77

コンパイラだってバグがない保証なんてないんだから
テストするしかないね

**デフォルトの名無しさん** · 2021/08/27(金) 02:39:45.83

ISO 26262のコンパイラ認証とか無理そう

**デフォルトの名無しさん** · 2021/08/27(金) 07:59:32.64

LLVMの中間表現に依存してる時点で、言語仕様をまともに設定するのは無理。
だから他のコンパイラが作られることもない。

**デフォルトの名無しさん** · 2021/08/27(金) 08:07:16.05

仕様書、仕様書言っている人はOSやライブラリのAPIとかシステムコールとかはどう考えているんだろうね
MSDNだって盲信できるほどの信頼性はないし、OSS系なんてソースコードが仕様書状態だろ
もっと言えば処理系だってオプティマイザの仕様などは文書化されていなく、実際に調査しないと判らない事も多いよな

**デフォルトの名無しさん** · 2021/08/27(金) 08:07:24.55

こんな状態じゃc++の置き替えなんて夢のまた夢だな。

**デフォルトの名無しさん** · 2021/08/27(金) 08:43:05.29

完全な仕様書wがないのが問題だ思うなら使わなければいいだけ
クッソ無駄なやりとりでスレ消費すんな

**デフォルトの名無しさん** · 2021/08/27(金) 08:54:32.00

少なくともC++はもっとずっと細かな仕様が書いてある。
例で説明する時でも、変な例で説明せずに数学の教科書の様な粒度の細かい例で
説明されているで、数学の教科書の様な雰囲気を持っている。
Rustの場合、ライフタイムの説明をとってみても、ちゃんとした数学的説明になってない。

**デフォルトの名無しさん** · 2021/08/27(金) 08:57:07.99

時々プログラミングは文系でも出来るという人が居るが、そういう人には、
数学的な説明とは何かがぴんと来ないかもしれないので、良い仕様書も
書けないかもしれない。Rustのbookの著者ももしかしたらそうなのかも。
本人は頑張って書いているつもりでも数学的な論法になってない。

**デフォルトの名無しさん** · 2021/08/27(金) 09:04:15.77

高校数学レベルで言えば、ベクトルの和の定義は図で例を使って説明されるが、
3つの矢印で、c = a + b が説明される。
これは最も粒度が細かい説明で、これ以上簡単に説明できない。
ところがRustのライフタイム注釈の説明は、説明に使われている例が不適切で
とても長いが本質が説明し切れてない。
本来は、「ライフタイム注釈とは何か」を数式や擬似命令などを使ってせいぜい2ページ以内で
説明できるはずだ。
ところが実際の説明は、変な例を使って長々と説明されている。
数学的な説明になっていないので応用が効かない。
数学的説明とはほとんどの場合「パターン」だ。パターンになっているから応用が効く。
パターンとして説明されてないと応用が効かない。

**デフォルトの名無しさん** · 2021/08/27(金) 09:06:37.74

コンパイラが一つしかない状況は現状メリットでしかない

C++のようなレガシー言語の轍を踏まない賢い選択

**デフォルトの名無しさん** · 2021/08/27(金) 09:11:46.45

数学的説明にしたいなら、
「仮定」を置く。
「入力」と「出力」を明確にする。
「最も粒度の小さい例を書き、パターン」にする。
集合論や論理学の「かつ」「または」「積集合」「和集合」「背反集合」「区間の積」
などの言葉を使って書く。
ところが、Rustのbookはこのようなことが全く出来てない。

**デフォルトの名無しさん** · 2021/08/27(金) 09:15:12.91

>>98
仕様書が数学的(パターン的、自動機械的)に書いてないので、厳密な
仕組みや仕様が分からず、他の人がコンパイラが作りにく。
だから、「Rustは実験してみないと分からない」。
ところが、CやC++やRuby,Java,C#,Pythonなどは実験しなくても分かる
ようになっている。それはなぜかというと、仕様が粒度が細かく説明されて
いるから、パターンになっており「パターンの一部への代入」や「当てはめ」
が出来るので頭の中だけで全てプログラミングできてしまうから。

**デフォルトの名無しさん** · 2021/08/27(金) 09:17:17.15

今日のNGIDがすぐ分かって助かった
感謝感謝

**デフォルトの名無しさん** · 2021/08/27(金) 09:20:43.18

ちょっと難解だが高速なスクリプト言語としては使えるとは思う。
でもC++の置き換えは難しいな。
なぜならC++で出来ていたことがRustには移植できないから。

**デフォルトの名無しさん** · 2021/08/27(金) 09:47:25.61

算数がクラスで一番君がきてますね

**デフォルトの名無しさん** · 2021/08/27(金) 10:21:55.10

なんやいつぞやのパターンマッチングの規格についてゴネてた子か

**デフォルトの名無しさん** · 2021/08/27(金) 11:04:36.95

・Fortran/BASICからCへの移植は容易。単純なパターンが存在する。
　アルゴリズムの変更は不要。

・C++からJavaやC#への移植は容易。単純なパターンが存在する。
　アルゴリズムの変更は不要。

・C++からRustへの移植は困難。単純なパターンは存在せず。
　アルゴリズムを根本的に変える必要がある場合がある。

**デフォルトの名無しさん** · 2021/08/27(金) 11:10:56.79

Rustアンチスレでやればいいのに

**デフォルトの名無しさん** · 2021/08/27(金) 16:15:37.78

嫌なら使うなでおわり
現状嫌でも使うしかないくらいまでのシェア獲得してないし

**デフォルトの名無しさん** · 2021/08/27(金) 16:28:39.42

個人としては使いたいけど組織として導入するには仕様の確実さというのは必要なんだわ。

**デフォルトの名無しさん** · 2021/08/27(金) 16:36:16.05

C++ドロップアウターがOOPを学び直すには良いんでないの

**デフォルトの名無しさん** · 2021/08/27(金) 16:44:56.69

大手IT企業たちの方針

プログラミング言語「Rust」のための「Rust Foundation」設立 -- AWS(Amazon)、Microsoft、Google、Mozilla、Huaweiが創設
https://japan.zdnet.com/article/35166267/

Facebookが「Rust Foundation」に参加
https://japan.zdnet.com/article/35170192/

**デフォルトの名無しさん** · 2021/08/27(金) 16:56:21.47

>>108
仕様の確実さってどういうの言ってる？
Rustでの具体例を1～2個あげてみて？

**デフォルトの名無しさん** · 2021/08/27(金) 17:09:08.75

>>111
lifetime関連

**デフォルトの名無しさん** · 2021/08/27(金) 17:14:05.77

>>112
関連じゃわかんねーわ
Lifetime Elisionとかは分かりやすく仕様定義されてるっしょ

**デフォルトの名無しさん** · 2021/08/27(金) 17:44:50.51

で、それはどこにあるっていうんだ。
これについての仕様はこっちに有ってあれについての仕様はあっちに有って
詳細はブログのここにあって……でもこれは議論のための暫定的なまとめで……
みたいなのじゃ組織の中で話を通せんのよ。

「Rust の仕様はこれです」「これを満たした処理系は (少なくとも今のところは) Rust と呼べます」
というのが仕様書であって、そういうのが欲しいわけよ。

**デフォルトの名無しさん** · 2021/08/27(金) 17:53:04.46

その論法は流石に違和感が強い

GAFA級の組織（のどこか）では採択されるのにその組織では通らないというなら、その組織か説得者が外れ値なだけでは？

**デフォルトの名無しさん** · 2021/08/27(金) 17:58:34.36

老害さん今日も公式読まずに愚痴たれる

**デフォルトの名無しさん** · 2021/08/27(金) 18:02:52.05

>>115
そのレベルの大企業というのは策定側で関与しうるし
投機的な技術的投資にも貪欲だから
「大企業は動きが遅い」「稟議が厳密」という感覚ではない。

グーグルが大規模なサービスを開始からそれほど間を置かずに畳んだことなんて何度もあるだろう。
ぽんっとやって駄目だったらポイッと捨てられるんだよ。

**デフォルトの名無しさん** · 2021/08/27(金) 18:09:32.26

そういう考え方ならISO標準でもできてから検討すればいいよ
時期尚早で時間の無駄

**デフォルトの名無しさん** · 2021/08/27(金) 18:10:07.62

実際のところC++みたいに委員会とかが仕様がっちり決める言語ってどんくらいあるの？

そもそもC++だって仕様は決まってもコンパイラが微妙に準拠しきれてない気がするんだが
gccとclangは実用上困らんレベルだとは思うが

**デフォルトの名無しさん** · 2021/08/27(金) 18:16:18.84

ISO標準のある言語で一番新しいのがRubyくらいか
もっと新しいのあったっけ？
やはりリリースから10年以上はかかる感じかね

**デフォルトの名無しさん** · 2021/08/27(金) 18:18:18.61

今の時点ではアーリーアダプタが使う言語なんだという立場でやってるならそれでもいいんだけど、
個別には割と (どこかには) まとまってるっぽいからもったいねーなという感覚がある。

**デフォルトの名無しさん** · 2021/08/27(金) 18:27:08.06

お前が標準化委員会になるんだよ！

**デフォルトの名無しさん** · 2021/08/27(金) 18:31:21.32

GAFAMだけでなく
日本でもNTTやTOYOTAなどもRustを採用しているわけで
まともな企業ならば支障なくRust採用を決定していってるでしょう

**デフォルトの名無しさん** · 2021/08/27(金) 18:52:17.41

特定の組織の土着信仰を一般論のように入れてもね

**デフォルトの名無しさん** · 2021/08/27(金) 18:54:13.62

権威でものを判断したり
権威を借りて発言したり

頭ワリーわ
正気になれ

**デフォルトの名無しさん** · 2021/08/27(金) 19:30:34.42

>>125
「権威に訴える論証」という人間の性質なんだよ。

けっこう効果あるから詐欺師とかマスゴミが良く使う。

**デフォルトの名無しさん** · 2021/08/27(金) 19:32:40.90

あの松下もわが社の製品を採用しているんですよ～
情弱「ほほう、じゃうちも採用率するわ！」

**デフォルトの名無しさん** · 2021/08/27(金) 19:33:38.34

メモリ開放の意味が解らない馬鹿に合わせるための言語なんだよな
馬鹿に合わせるとロクなことがない気がするんだけど

**デフォルトの名無しさん** · 2021/08/27(金) 19:36:05.44

わかってても間違えるのが人間なんだよ。
ヒューマンエラーを防止するのに「注意する」とかで対策を済ませちゃうわけ？

**デフォルトの名無しさん** · 2021/08/27(金) 19:43:24.40

＞グーグルによればAndroidに存在した深刻なセキュリティー脆弱性の70％近くがメモリー安全に関するバグに起因するという。
＞同様にマイクロソフトも、同社製品に存在したセキュリティー脆弱性の70％がメモリー安全に関するバグに起因すると述べている。
＞C/C++を使う限りセキュリティー脆弱性を根絶するのは不可能と考えて、Rustを採用するに至ったというわけだ。

https://xtech.nikkei.com/atcl/nxt/column/18/00692/042700054/

**デフォルトの名無しさん** · 2021/08/27(金) 19:45:18.24

あの会社もあそこもRust採用しているんだから絶対ヨシ！
https://i.imgur.com/aLxQE0R.jpg
https://i.imgur.com/NXcjrJA.jpg

**デフォルトの名無しさん** · 2021/08/27(金) 19:48:14.38

C++で苦しんできた連中は
Rustのやろうとしたことは分かるし
例え失敗に終わっても責める気にはならん
どうころんでもしょせん死屍累々
Rustは人類の明日への尊い礎になるだけ

**デフォルトの名無しさん** · 2021/08/27(金) 19:57:25.52

>>125
そいつが権威主義的思考なのは確かなんだが
新興言語は大手の技術力ある会社がスポンサーにいて
継続的な投資が行われることが確実視されてるかどうかはすごく重要なこと

**デフォルトの名無しさん** · 2021/08/27(金) 21:00:14.71

>>123
二つともわけの分からん企業だな。
自動車と電話会社。

**デフォルトの名無しさん** · 2021/08/27(金) 21:03:28.03

人々の関心の高さは感じるけどな。twitterとか見てると。

**デフォルトの名無しさん** · 2021/08/27(金) 21:07:48.98

でもtwitterでは、Pythonも活況だし、KotlinもRustと似たり寄ったりの数、検索される。
なぜかQtやRailsは検索されにくい。Djangoは沢山検索される。
cplusplusは僅かに検索される。C++やC#は直接的にはそもそもtwitterでは検索できない。
Rustの話題性がPythonやKotlinやDjangoと比べて取り立てて多いということではないようだ。

**デフォルトの名無しさん** · 2021/08/27(金) 21:44:01.80

The Bookは読まないくせにどうでもいいTwitter検索ばっかりしやがって

あーあのTwitterで独り言つぶやき続けてるひとだっけ？
忘れてた

**デフォルトの名無しさん** · 2021/08/27(金) 21:51:00.96

とにかく仕様が必要ならC++使えばよいのでは。主要メンバーがC++標準理解しているようなすごい人ばかりなんだろう

**デフォルトの名無しさん** · 2021/08/27(金) 21:58:56.53

>>138
自分達が「完全な仕様」と思えるものが存在することが重要視なんであって理解している必要はないんでしょ
ある種の宗教上の理由だよ

**デフォルトの名無しさん** · 2021/08/27(金) 22:04:01.75

実際は、Rails : Laravel = 8:2。
Django は、0

どこの学校・サロンもほぼ、Ruby on Rails

**デフォルトの名無しさん** · 2021/08/27(金) 23:00:14.26

確実にinline展開する方法ってある？
手動で書く？
マクロだとどうにかなる？

**デフォルトの名無しさん** · 2021/08/27(金) 23:01:33.75

>>134
自動車の制御はわからんでもない
即応性と安全性の両立を図らなければならないのだから

**デフォルトの名無しさん** · 2021/08/27(金) 23:13:16.52

#[inline(always)]でも100%ではないんだっけ？

**デフォルトの名無しさん** · 2021/08/27(金) 23:22:31.27

>>138
把握してないから必要なときにそれを調べればいいというようなまとまったものが必要なんだよ。

**デフォルトの名無しさん** · 2021/08/27(金) 23:40:58.77

Rust以外で高信頼性指向だとAdaとかMISRA Cとか？

**デフォルトの名無しさん** · 2021/08/27(金) 23:45:38.03

>>143
実装はわからんけど、スペック的にはalwaysも飽くまでヒントらしい

**デフォルトの名無しさん** · 2021/08/27(金) 23:52:40.05

>>145
MISRA Cは言語じゃなくてコーディング規約みたいなもん
組み込み以外では厳しくて準拠してられないと思う

**デフォルトの名無しさん** · 2021/08/28(土) 00:02:42.33

ファッション感覚のバカしかアピールしてない言語だわ。
c++理解してない奴がライフタイムをまともに理解できるとも思わん。
それもわからんバカがcをバインディングなんかしたら事故しか起きんわ。
安全性もクソもない。

**デフォルトの名無しさん** · 2021/08/28(土) 00:03:44.74

組み込み向けRustって1冊本が出たみたいだけど
実際のとこ、見込みありそうなの？
ただのホビー？

**デフォルトの名無しさん** · 2021/08/28(土) 00:05:05.86

>>148
C++ はわかっててもミスるんだってば。

**デフォルトの名無しさん** · 2021/08/28(土) 01:13:09.37

C/C++知らないと～と言う人には型理論知ってる？って聞きたくなる
コンパイルが通れば大体ちゃんと動くようになってるって感覚はhaskellとかOCaml寄りだと思う

**デフォルトの名無しさん** · 2021/08/28(土) 01:30:02.36

Haskell の型システムは好きなんだけど
さすがに副作用 (Haskell 的にはアクションだが……) の扱いがしんどすぎるし
元から C++ には慣れてるので C++ (というか C) 風な文法や意味論と
組み合わせた言語があったらいいなぁと思ってたので
Rust の台頭にはばんじゃーい ∩( ・ω・)∩

**デフォルトの名無しさん** · 2021/08/28(土) 01:31:18.92

おまえらスルー力低すぎやろw

**デフォルトの名無しさん** · 2021/08/28(土) 07:36:29.05

>>151
お前こそ型理論知らんだろ。。
型理論てのは結局どれだけ簡易な計算でエラーチェックするかってだけの話なんだよ。
正しく示すだけならただ単に全実行するのが一番良い。

**デフォルトの名無しさん** · 2021/08/28(土) 08:21:08.61

ガファムがファッションでプログラミングしてるとは知らなかった

**デフォルトの名無しさん** · 2021/08/28(土) 08:46:20.33

twitterでRustは話題性があるように見えるが、ためしにLISPやSchemeや
Clojure(言語)を検索してみてもRustと似たり寄ったりの書き込みがあった。
Haskelが次代を担う言語だ、的な書き込みすらある。

**デフォルトの名無しさん** · 2021/08/28(土) 09:10:33.46

今のgoogleじゃまともなc++プログラマもだいぶ減ってるわな。。
kumagiとかイキってるだけでまともに理解してねーじゃん。

**デフォルトの名無しさん** · 2021/08/28(土) 10:14:03.36

>>156
Haskellの型システムをRustは受け継ぎつつCG無しでメモリ安全性を達成しているので
Rustが実用的なプログラミング言語として現実に機能していますね

**デフォルトの名無しさん** · 2021/08/28(土) 11:32:23.88

CG無し

**デフォルトの名無しさん** · 2021/08/28(土) 11:39:53.86

特撮オンリーでいくわけですねわかります

**デフォルトの名無しさん** · 2021/08/28(土) 11:48:49.70

>>145
MISRAに従ってコーディングするの辛いぞ。

**デフォルトの名無しさん** · 2021/08/28(土) 12:14:36.47

>>160
特撮にはCG有るぞ

**デフォルトの名無しさん** · 2021/08/28(土) 12:24:36.28

次のようなloop文のプログラム(可動)を
while文やfor文に書き換えてわかりやすくしたいのですが
上手く値をbreakできないので助けてください

fn main() {
　let a = [3, 5, 1, 6, 9, 4];
　print_first_even_else_zero(&a);
}
fn print_first_even_else_zero(a: &[i32]) {
　let mut i = a.iter();
　let even = loop {
　　if let Some(&n) = i.next() {
　　　if n % 2 == 0 {
　　　　break n;
　　　}
　　} else {
　　　break 0; // not found
　　}
　};
　println!("{}", even);
}

例えばwhile文なら　let even = while let Some(&n) = i.next() { となりそうで
さらに可能ならfor文で　let even = for &n in a { となるかと思うのですが

**デフォルトの名無しさん** · 2021/08/28(土) 12:44:34.41

let even = a.iter().find(|n| *n % 2 == 0).unwrap_or(&0);

**デフォルトの名無しさん** · 2021/08/28(土) 13:03:12.27

>>164
当然それはわかりますが、for式やwhile式ではどうなるのか、という質問です

**デフォルトの名無しさん** · 2021/08/28(土) 13:07:44.67

前スレより

625 デフォルトの名無しさん 2021/08/16(月) 09:44:36.63 ID:MZWGbmHz
loop式はbreakで指定した値を返せるのに
なぜwhile式やfor式は値を返せないの？
Option型にしてbreakで値を指定した時だけSome(値)としてそれ以外はNoneとすれば便利なのに

630 デフォルトの名無しさん sage 2021/08/16(月) 14:32:54.40 ID:ebJKRLr3
手間かけて機能拡張するほどのメリットがないってことだろうね
https://github.com/rust-lang/rfcs/issues/1767#issuecomment-292678002

**デフォルトの名無しさん** · 2021/08/28(土) 13:08:21.57

そうでしたかすみません
forとwhileは値を返さないのでご想像のようにはなりません

**デフォルトの名無しさん** · 2021/08/28(土) 14:07:01.17

>>166
なるほど
そこでの議論を読むと一番の肝が、
「for式が()を返さないと、最後がfor式で終わる関数の返り値で互換性が無くなる」
というところにあるようですが
「break;」が()を返すことにすれば特に問題ないように見えます
実際にloop式で値なしのbreakだと()を返しています

つまり
・「for/while/loop式が返す型」は「break式の型」とする
・「値指定のない『break;』の型」は()とする
・「break式がない場合の型」も()とする
ここまでは現状と同じになりますね

問題はfor/while式はbreakせずともループを抜けるので、値を返すには、
・「『break 値;』があるfor/while式」は「else節を取ってbreak式と同じ型を返す」
という単純ルールだけで済むように見えます
何か見落としがあるでしょうか？

**デフォルトの名無しさん** · 2021/08/28(土) 14:41:22.43

8日前にちょうどその内容で開かれたRFCあるじゃん
イテレータで思考停止してたわ
https://github.com/rust-lang/rfcs/pull/3163

**デフォルトの名無しさん** · 2021/08/28(土) 15:14:25.46

>>169
なるほどありがとうございます

ところで現状のRustで>>163の例のloop式をfor式で行おうとすると
即時関数を使ってbreakをreturnに置き換えることで
let even = (|| {
　for &n in a {
　　if n % 2 == 0 {
　　　return n;
　　}
　}
　0
})();
と実現できることを思いつきましたが
この方法は表記コストはともかく実行コストもかかってしまいますか？

ちなみにこの「最初の偶数を見つけるコード」はあくまでも例として単純化したものを出しているだけで
実際には様々な例でこのパターン(＝forやwhileで値を返せると便利)が出てくるので簡略な例題として話をしています

**デフォルトの名無しさん** · 2021/08/28(土) 15:30:38.48

>>168
イテレータのコードのほうが遥かにわかりやすい上に簡潔なので
新しく文法を拡張する価値がないと開発陣は考えてる点を見落としてる。る？
特にPythonの失敗例を鑑みれば機能追加される可能性は限りなくゼロ

**デフォルトの名無しさん** · 2021/08/28(土) 15:43:20.61

>>171
現実にはfindより複雑なことでも使うだろうし
async関数呼び出して判断もあるだろうし
イテレータでは無理なことも多いのでは？