Rust part11

1 名前：デフォルトの名無しさん mailto:sage [2021/06/17(木) 00:24:12.56 ID:NvYoNP9C.net] 公式 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/ ※C++との比較は専用スレへ C++ vs Rust https://mevius.5ch.net/test/read.cgi/tech/1619219089/ 前スレ Rust part10 https://mevius.5ch.net/test/read.cgi/tech/1617367084/ 348 名前：デフォルトの名無しさん mailto:sage [2021/07/20(火) 13:51:30.35 ID:x1qprig3.net] 日本語でOK 349 名前：デフォルトの名無しさん mailto:sage [2021/07/20(火) 14:46:16.61 ID:0ur63h8Z.net] https://async-book-ja.netlify.app/01_getting_started/02_why_async.html 古い版ベースっぽいが 350 名前：デフォルトの名無しさん [2021/07/20(火) 17:53:25.45 ID:poqzYj22.net] >>339 どのプログラミング言語でも同じ概念の話として 非同期プログラミングとスレッドプログラミングの違いをまず学ぶと良いでしょう 非同期プログラミングはスレッド使わないシングルスレッドでも成立するしよく使われます スレッドは無駄にリソースを喰って重いのでスレッドを使わないシングルスレッドでプログラミング出来る事ならばそれが最も軽くて速いです まずはシングルスレッドでの非同期プログラミングを経験しておきましょう もちろん最初はasync/awaitを使わずに非同期プログラミングを体験したほうが良いでしょう そうすることで初めてasync/awaitの意義と利便性を理解することができます 以上が通常のasync/awaitの初心者がたどるべき入門コースです 351 名前：デフォルトの名無しさん [2021/07/21(水) 18:10:51.09 ID:xEcHVrDP.net] 初級プログラマーは非同期プログラミングをしたことない人もいるけど 中級プログラマーになるには必須の技術だからね 352 名前：デフォルトの名無しさん mailto:sage [2021/07/21(水) 20:22:35.81 ID:zFAfbWuD.net] 初級なら知らなくても仕方ない、中級なら必須という区分けはなんか違和感あるかな。対象の業務次第で知っとけよって範囲は違うからなぁ。 353 名前：デフォルトの名無しさん mailto:sage [2021/07/22(木) 00:13:25.98 ID:nOo3Pk8s.net] その辺は分野にもよるでしょ 組み込みと可だと初級でもマルチスレッドシラネはかなり問題だぞ 354 名前：デフォルトの名無しさん mailto:sage [2021/07/22(木) 00:59:16.39 ID:GmU5m4WV.net] 昔ながらの言語だとスレッドはできてもコルーチンはできなかったりするので分野次第かな 355 名前：デフォルトの名無しさん [2021/07/22(木) 03:11:24.17 ID:lswwPTyi.net] >>346 今回はマルチスレッドしか知らなくて (シングルスレッドでも動く)非同期プログラミングを知らないという話だから 356 名前：デフォルトの名無しさん [2021/07/22(木) 10:08:08.42 ID:I7nexIle.net] プリエンプティブじゃないマルチタスクωですねわかります 357 名前：デフォルトの名無しさん [2021/07/22(木) 11:38:36.18 ID:K4TSDl0a.net] await後にどのスレッドが戻ってくるかは運なの？ 358 名前：デフォルトの名無しさん mailto:sage [2021/07/22(木) 13:02:57.44 ID:DiCBumX8.net] >>350 ランタイムの実装次第 359 名前：デフォルトの名無しさん [2021/07/22(木) 16:56:26.36 ID:PJWgwtfy.net] >>350 async/awaitとスレッドは直接は関係がない async/awaitの対象はタスク 例えば1つのスレッドに10000のタスクを動作可能 8つのスレッドそれぞれでそれを行なえば計80000のタスクになるけども スレッド1つにタスク1つしか使わなければ8つのスレッドで計8つのタスクになるといった具合い これらはランタイムによってサポートが様々 したがって正確な質問は「await後にどのタスクが戻ってくるかは運なの？」となるけど これはランタイムのスケジューリング次第 ランタイムはRustの言語仕様範囲外なので自分で決めた方針でスケジューリングするランタイムを作ることが可能 つまり運ではなく自分の思い通りに実行させることも可能 360 名前：デフォルトの名無しさん mailto:sage [2021/07/22(木) 17:10:57.69 ID:KJg/dUdU.net] JSのasync awaitってややこしい goroutineのほうが簡単 361 名前：デフォルトの名無しさん mailto:sage [2021/07/22(木) 20:26:18.99 ID:7YxYJ8AQ.net] promise使うのに比べてそこまで楽か？って言われるとそうでもないわな 362 名前：ハノン mailto:sage [2021/07/22(木) 20:40:46.75 ID:BtepJ1kx.net] >>352 え？ そもそもタスクとはどう定義するのですか？ あなたの�@プロセス�Aスレッド、そして�Bタスクの定義を教えてください、多分�@�A�Bの違いが明確でないので話が混乱しているかと 363 名前：デフォルトの名無しさん mailto:sage [2021/07/22(木) 23:09:12.36 ID:9gEORT6M.net] JSのawait/asyncとかめちゃくちゃ簡単やろ シングルスレッドなのと背後にイベントループが存在することを抑えておけば余裕よ すまんスレチだな 364 名前：デフォルトの名無しさん [2021/07/23(金) 00:43:44.14 ID:n7dIeb/9.net] >>355 ここはRustのスレ。 スレッドとはstd::threadであり、いわゆるOSスレッド。 つまり1つのOSプロセスの中で、1つまたは複数のOSスレッドが動く。 一方で、async/.awaitが対象としているのは、スレッドよりさらに小さいタスク。 つまり1つのOSスレッドの上で、1つまたは複数のタスクが動く。 例えばシングルスレッドマルチタスクランタイムでは、1つのOSスレッドの上で無数のタスクを動かすことができる。 async/.awaitはこの非同期に実行されるタスクを扱う。 365 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 02:10:09.02 ID:j3QjPF86.net] asyncは途中I/Oウェイトで待たされるような処理じゃないと意味がない 366 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 10:52:29.51 ID:QeE9wwG7.net] スレッド、プロセス、タスクなどの定義は分野やプラットフォーム等によって異なる 367 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 12:55:46.87 ID:luTvzo3i.net] VSCode+Rust Analyzerの環境で、ミュータブル変数にアンダーラインが付されるのをやめたいのですがどうすればよいですか？ 368 名前：デフォルトの名無しさん [2021/07/23(金) 13:55:17.59 ID:Y7b/5yJk.net] awaitの前後でスレッドは変わる可能性があるものの、タスクは変わらないんだと思ってたわ 369 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 13:58:58.67 ID:c2hWXBFi.net] >>357の言う「タスク」って1つのasync関数のように読めるんだが、そういう理解で合ってるのか？ 370 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 14:46:14.22 ID:eQcO0XNp.net] >>362 tokio::spawnなどの引数に渡すものがタスク async関数やブロックの場合もあるし、それらをコンビネーターでしたものの場合もある 371 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 15:12:50.36 ID:c2hWXBFi.net] だとすると「スレッドよりさらに小さい」ってのは変だな。大きい小さいあるいは包含関係が決められるものじゃない。 372 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 15:14:21.60 ID:6EkuYiQH.net] そもそも直交する概念だし用途によって使い分けるものでもあるし 373 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 16:49:32.73 ID:+8+VImv7.net] スレッドより軽量という意味での小さいなら分かる 374 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 19:17:06.47 ID:Nx0yKcVz.net] Elixirのプロセスは、軽量プロセスと言われていて、 OSのプロセスやスレッドではなく、Greenスレッドです カーネルではなく、VMでスケジューリングされるので軽量、 コンテキストスイッチが発生しない 1軽量プロセスで約300ワードです 375 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 19:46:36.80 ID:j3QjPF86.net] ここはRustスレ 376 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 21:20:19.48 ID:O9MjyOb4.net] いつものRubyキチガイだろう 何言っても無駄だからスルーするしかない 377 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 21:25:52.66 ID:c2hWXBFi.net] >>366 スレッドで動くんだから「スレッドより軽量」ってことはない。 378 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 21:50:34.41 ID:TZPR0HeA.net] >>367 軽量プロセスでもコンテキストスイッチは発生するよ 379 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 22:59:27.49 ID:eQcO0XNp.net] >>370 タスクと同じことをスレッドでやろうとした場合の比較ね タスクと同じ数のスレッドを作った場合スタックだけで結構な量のメモリが必要になったりする あとコンテキストスイッチのコストは少なく済んだりするんじゃないかな 380 名前：デフォルトの名無しさん mailto:sage [2021/07/23(金) 23:08:30.77 ID:c2hWXBFi.net] >>372 「タスク」の定義が>>363のようなものならそれはスレッドと直交する概念だと思うが？ 381 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 00:30:53.20 ID:LBBZ+Kmj.net] 心臓のスイッチ切って死なねえかなこいつら 382 名前：デフォルトの名無しさん [2021/07/24(土) 01:45:40.45 ID:5ex845z5.net] >>370 async/awaitでのタスクはスレッドよりリソースを喰わず軽量 例えば1つのスレッドの上に1万個のタスクでも動作可能でいわゆるC10K問題も対応できる軽量さ >>373 直交する概念ではなく重量順に OSプロセス≧OSスレッド≧タスク （それぞれ＝となるのは1プロセス1スレッドおよび1スレッド1タスクで用いる時） 383 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 02:52:34.75 ID:F/fcX2Mm.net] タスクって名前が良くないな 一般的にはタスクってプロセスのことじゃない？ 384 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 02:57:53.91 ID:UokC4u3Y.net] んなことないでしょ？？？ 385 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 04:00:31.27 ID:NjCPGO8Q.net] タスクってのは内部実装的には非同期I/Oを使ったシングルスレッドでしょ。 386 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 07:37:56.03 ID:vPIKycwR.net] >>375 OSプロセスは複数のスレッドを持つ場合があるから≧でいいが、>>363の言うタスクなら 1スレッドで同時に実行できるのは1タスクしかないと思うが？ 387 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 09:29:01.55 ID:qEX1axDl.net] Rustのasyncについて知りたければ「async-book」は必読なので 次からテンプレに入れよう https://rust-lang.github.io/async-book/ >>980 よろしこ 388 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 10:59:35.94 ID:/TMjuFD+.net] >>379 1スレッドで同時に実行されるタスクが1つというのは正しい 従来のスレッドでの並列化(1スレッド1タスク)の場合、IO処理を呼び出すと処理完了するまでの間はスレッドはsleep状態になってしまっていた sleepしている間に他のタスクを実行させるためには、実行するタスクと同じ数だけのスレッドを生成する必要があるが スレッド生成で消費するリソースが多いため数万タスクを同時に捌くことは難しかった async-awaitではIO処理完了までの間スレッドをsleep状態にするのではなく別のタスクを実行する これによりスレッドあたりの処理可能タスク数が増えるため、アプリケーション全体で同時に捌けるタスク数も増える 従来の手法でもスレッドをsleepさせないようなプログラミングは可能だけどプログラムの構造を大きく書き換えないといけなかった 普通のスレッド並列のプログラムと同じ書き味でより多くのタスクを捌けるプログラムが書けるというのがasync-awaitの一番のメリット ただし常にasync-awaitが望ましいわけでもない async-awaitで効率的に実行できるのはIO待ちが発生するタスクの場合で、CPUをぶんまわす処理には向いていない 適材適所で従来のスレッドによる並列化手法と組み合わせて使うことになる 389 名前：デフォルトの名無しさん [2021/07/24(土) 11:28:00.32 ID:0bHT8/gy.net] >>379 いいえ 1つのスレッド上で同時に複数のタスクを並行(concurrent)に実行できるのがasync/awaitのタスクです。 C10Kと言われるように1つのスレッド上で10000のタスクでも並行に実行できます。 ちなみに1つのスレッド上で並列(parallel)に実行されるのは1つのタスクのみなのは当たり前なので、わざわざ言うことはないです。 今回はasync/awaitの話なので、 『1つのスレッド上で同時に複数のタスクを並行(concurrent)に実行できる』が正解です。 390 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 11:33:29.24 ID:vPIKycwR.net] >>381 その1スレッドが時分割で複数タスクを実行できるということのちょうど裏返しで、1タスクは複数スレッドから実行され得る。 つまりそこに大小関係、包含関係などは無い直交した概念。 軽量云々てのはOSスレッドとグリーンスレッドの話とごっちゃになってんじゃないかねぇ。 391 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:05:51.45 ID:F/fcX2Mm.net] >>382 >C10Kと言われるように1つのスレッド上で10000のタスクでも並行に実行できます。 本当に並行に実行される？ キューイングされたコールバックを順に呼んでるだけじゃなくて？ 392 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:13:15.89 ID:XrocH4ML.net] ねえこの引っ込みがつかなくなったゴミクズ共のメンチの切り合いっていつまで続くの？ 393 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:14:13.90 ID:XrocH4ML.net] 包丁刺し合って死んで終わらないからネットのマウ 394 名前：ント取り合いって性質が悪いんだよね [] [ここ壊れてます] 395 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:17:43.31 ID:sVj/Jq99.net] 5chに何も期待してるのか 396 名前：デフォルトの名無しさん [2021/07/24(土) 12:21:52.26 ID:K4Uz+tqB.net] >>384 あなたは初心者のようだから まずは基礎知識である並行(concurrent)と並列(parallel)の違いを理解してから あらためて>>382を読み直して理解しましょう 397 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:40:53.43 ID:F/fcX2Mm.net] >>388 理解した 並列じゃないってことね 398 名前：デフォルトの名無しさん [2021/07/24(土) 12:41:30.17 ID:F/fcX2Mm.net] 間違った 並行じゃないってことね 399 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:42:53.22 ID:F/fcX2Mm.net] で、実際のところランタイムってlongjmpみたいなことしてるの？ 400 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 12:49:05.14 ID:yYYDVwTY.net] >>391 しない Futureを実装したオブジェクトのメンバとして持ち回る クロージャがFnMut/FnOnceを実装したオブジェクトのメンバとして状態を持ち回るのと同じ 401 名前：367 mailto:sage [2021/07/24(土) 12:51:25.18 ID:zz8rVX09.net] Elixir, Go の軽量プロセスと同じでしょ？ OS は関係ない。 言語(VM)内で切り替えているだけだから 402 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 13:02:35.92 ID:yYYDVwTY.net] タスクの厳密な定義が気になるのってFutureを必要とする動機が無いんじゃないかね 別に新しいことができるわけじゃないし、必要無ければ知らなくていいよ 403 名前：デフォルトの名無しさん mailto:sage [2021/07/24(土) 13:54:25.17 ID:lC8WbEdp.net] C10k問題がまずあって、それをselect/epollで解決するってシナリオをまず理解しておかないと 何でめんどくさい事わざわざやってんの？としかならんでしょ モチベーションが大事 404 名前：sage [2021/07/24(土) 14:51:29.52 ID:HHfUZBfC.net] まともにテストしてねーじゃん https://lkml.org/lkml/2021/7/7/422 405 名前：デフォルトの名無しさん mailto:sega [2021/07/25(日) 01:04:24.12 ID:2QCCz/RS.net] オライリーのrustの本ってどう？ これから勉強するんだけど、これ使っても時代に遅れない？ 406 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 02:38:56.34 ID:kViuqetF.net] 4年前の本だからおすすめはしないな 407 名前：デフォルトの名無しさん [2021/07/25(日) 02:43:00.77 ID:xzEFH2+d.net] >>383 マルチスレッドなランタイムを使えばスレッドとタスクはm:nだけど シングルスレッドなランタイムを使えばスレッドとタスクは1:n いずれの場合でもタスクはスレッドより軽量な存在であり直交する概念ではない 408 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 09:01:27.23 ID:gzVcIMN0.net] >>397 原著の第2版がオススメ といってもasyncの章が追加されたのを除くとコアなところは第1版と同じ 今のところオライリー本が圧倒的に良いので他の本で学ぶくらいなら第1版の訳書のほうがいい 古くなってるところはEdition Guideやasync-book、Rust Blogで補完 409 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 09:12:18.43 ID:vKIU/TO0.net] 俺もそう思う。古かろうがオライリー本が圧倒的に良い。 410 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 09:59:11.23 ID:jOyNlFI3.net] >>397 言語仕様的なのが延々と書いてあっても辛くないタイプの人ならオススメ 自分はそういうのが好きだが、「サンプルアプリを作りながら学びましょう」ってタイプではないので合わない人はいると思う 411 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 11:34:17.97 ID:CXQT/x9B.net] Rust はサンプルコードを見ながら真似ていれば雰囲気で書けるようになる…… なんていう言語ではないので基礎的な理屈を体系的に (それでいてわかりやすく) 説明してくれるオライリー本はとても良いよ。 確かに理屈っぽいが、 Rust がそういう言語なのでオライリーの本がつらいと思う人は そもそも Rust がつらいタイプの人なんだと思う。 412 名前：デフォルトの名無しさん [2021/07/25(日) 19:04:19.16 ID:HNTE1GP9.net] Rustlingsのこれやっててよくわかんなかったんだけどさあ https://github.com/rust-lang/rustlings/blob/main/exercises/if/if1.rs 自分の解答は pub fn bigg 413 名前：er(a: i32, b: i32) -> i32 { if a > b{ return a; } b } これなんだけど、「return a;」のところってなんで「a」だけじゃダメなの？ [] [ここ壊れてます] 414 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 19:46:35.31 ID:gzVcIMN0.net] elseがあればいいんじゃない？ 415 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 19:49:48.51 ID:Wj/gwJho.net] >>404 関数の最後じゃにゃいから 416 名前：デフォルトの名無しさん mailto:sage [2021/07/25(日) 21:25:46.69 ID:2QCCz/RS.net] オライリー買ってくる 417 名前：デフォルトの名無しさん [2021/07/25(日) 21:31:05.59 ID:HNTE1GP9.net] ありがとう 最後の式だ特別なのか 418 名前：デフォルトの名無しさん mailto:sage [2021/07/26(月) 20:33:20.42 ID:FeBtPwa3.net] 文と式を区別しましょう 419 名前：デフォルトの名無しさん mailto:sage [2021/07/26(月) 21:31:17.41 ID:H6CQkre6.net] ブロック式が値を持つなら式文も値を持たせればよかったと思うんだけど、それだと何か都合が悪いのかな。 420 名前：デフォルトの名無しさん mailto:sage [2021/07/26(月) 21:53:51.50 ID:6YP5cq8/.net] それは式文を構成する式と何が違うのか 421 名前：デフォルトの名無しさん mailto:sage [2021/07/26(月) 22:05:31.99 ID:H6CQkre6.net] 最後だけセミコロンを外すとかしなくて済む。 422 名前：デフォルトの名無しさん mailto:sage [2021/07/26(月) 22:09:46.01 ID:x+l/EPbt.net] セミコロンあるなしで意味が変わるのって、バグを産む原因になりそう 423 名前：デフォルトの名無しさん mailto:sage [2021/07/26(月) 22:26:28.18 ID:6YP5cq8/.net] その流れ前スレでも見た気がする 424 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 00:03:59.51 ID:rFi02BpK.net] どちらかというと;の有無で()を返すかどうか制御できる方がいい気がするけどな 式文も値を持つならわざわざ();って書かないといけない （まぁわざわざ書かせるのもRustらしい気もするが） >>413 間違えたら型エラーになるからバグにはならんと思うよ 425 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 03:17:46.37 ID:MlLztw4F.net] () を返す場合は関数省略だからreturn必須でよかったな 426 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 05:41:20.63 ID:QHeETuJ4.net] if-elseとかmatchとかでひたすら();書くのさすがにやばくない？ 427 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 08:21:13.66 ID:fovpYeUo.net] どうしても () を返さなきゃならない場面ってそんなに多いんだっけ？ 428 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 08:35:39.46 ID:XvzwJYSJ.net] コード例がないから全然わからん 429 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 08:54:31.16 ID:D32lY0Gw.net] Ok(())とか？ 430 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 09:50:38.86 ID:UmdqpWnl.net] 最初アホみたいにReturn合った方が…とか思ってたけど慣れると全く要らん境地になるから不思議 431 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 10:35:08.16 ID:KNfqOmw/.net] >>418 少なくともletは値を返すわけにはいかないので()だね まぁCopyなら返せなくもないけど、Copyかどうかで挙動が変わるのはさすがに… ();を明示する、みたいにするとletだけ特別扱いになるし、結局今のルールでいいんじゃないかと 432 名前：デフォルトの名無しさん [2021/07/27(火) 11:00:19.20 ID:+VH8W8kj.net] elseのないif式で偽の時の値の話だと思ってた 433 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 11:03:48.76 ID:MlLztw4F.net] >>417 書き方が悪かった returnは値を返す時は必須だけどreturnがない場合は省略する。 関数の返り値と同じ法則で 434 名前：デフォルトの名無しさん [2021/07/27(火) 19:22:36.90 ID:AoeS3kCP.net] でも、関数の最後じゃなくてもさあ 文があったら、そこでリターンしてくれたらいいのにな まあ、ミスってても気づき辛くなるからダメなんかな？ 435 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 19:47:32.00 ID:klQCV9Qk.net] 2文目以降は一切評価されないってことか 斬新だね 436 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 21:44:05.27 ID:fovpYeUo.net] >>422 特別扱いってのがよくわからないなぁ。 let x が () なら let x; も () でいいし (); を明示する必要もないと思うんだけど。 437 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 21:53:09.04 ID:fgL6LRsn.net] そもそもletは式じゃないし 438 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 22:40:27.72 ID:KUIeKdyD.net] XXXがstatementだとか、XXXはe 439 名前：xpressionだとか そういう議論が出る時点でダメ言語のオーラが 言語オタクには楽しいかもしれないけど [] [ここ壊れてます] 440 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 22:47:11.69 ID:fovpYeUo.net] だから式文じゃない文は () でいいんじゃね？特に特別扱いとは思わんが。 441 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 23:18:47.62 ID:rFi02BpK.net] 文は()という単純なルールを崩してまで式文から値を得たいモチベーションがよくわからん 単に;を取って式にすればいいだけなのに 442 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 23:20:35.98 ID:3rBo4v1y.net] Rust書いてて式と文を意識して区別しないといけないことなんて無いよ CやPythonならあるけど 443 名前：デフォルトの名無しさん mailto:sage [2021/07/27(火) 23:30:43.54 ID:fgL6LRsn.net] 関数末尾だけセミコロン外すのが気に入らないなら、C/C++でやってたようにreturn x;とすればいい それで不都合を生むことはない 444 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 00:01:15.04 ID:SAGnL8kO.net] clippy先生に注意される 445 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 01:30:00.88 ID:ch5q2ifJ.net] 全てはclippy先生の仰せのままに 446 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 01:47:51.35 ID:QoybXfTv.net] #![allow(clippy::foo)] を書けばいいじゃん 447 名前：デフォルトの名無しさん [2021/07/28(水) 04:09:34.57 ID:96ImUxMy.net] なるほど ＞Rustのセミコロンは意味と構文からそれぞれ説明できる。 ＞意味論的には、以下の原則を覚えておけば十分である。 ＞ ＞・セミコロンで終端された文は強制的に () 型となる。 ＞・ブロックの途中の文は () 型でなければならない。 ＞・ブロックの型はブロックの最後の文の型と等しい。(文がひとつもない場合は ()) 448 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 07:29:31.85 ID:o1sqfUmC.net] ＞・ブロックの途中の文は () 型でなければならない。 これがあるから1行目の仕様なんだろうけど、これの理由ってなんなのかな。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef