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/ 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行目の仕様なんだろうけど、これの理由ってなんなのかな。 449 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 08:03:12.35 ID:LX2CDHAF.net] 文に型なんてないよ 450 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 08:14:26.64 ID:9WJC0mlm.net] 文って値を返さないのかと思ってたけれど、 ()を返してるって事？ 451 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 08:37:40.51 ID:LX2CDHAF.net] ブロックの型はブロックの最後の「式」の型と等しい。(「ブロックの最後に式がない」場合は()) ここの間違いが他のすべての説明によく分からない辻褄合わせを持ち込んでいるだけだと思う 452 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 09:58:43.22 ID:rdzsGCBs.net] >>437 ＞・ブロックの途中の文は () 型でなければならない。 そもそもブロックの途中の文を()以外にすることってできるの？ { foo; bar } みたいなブロックを{ foo bar }とは書けないし 453 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 10:29:08.57 ID:LX2CDHAF.net] >>442 それは型の問題以前に文法の問題 型だけの問題だというなら、{ let foo = (); foo bar }と書けばコンパイルできるはずだが、 もちろんそんなことはない 454 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 11:58:08.16 ID:ch5q2ifJ.net] Facebook、次期ビルドシステムの開発でRust言語の採用を明らかに https://www.publickey1.jp/blog/21/facebookrust.html 455 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 11:59:44.89 ID:rdzsGCBs.net] >>443 文法の問題を解決しつつブロックの途中の文を（）以外にする方法がわからんってことよ 456 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 12:46:01.08 ID:LX2CDHAF.net] >>445 何度でも言う 文に型はない 457 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 12:58:11.75 ID:LX2CDHAF.net] 「文を()にする/()以外にする」の正確な意味を言語化してほしい 「文が評価されて結果として()/()以外が得られる」という意味で言っているのなら、文は評価されて結果を返すものではない 評価されて結果を返すものは式と呼ばれる 文は式ではない 458 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 13:10:10.87 ID:rdzsGCBs.net] >>447 俺もそのへんはよくわからんが、 式文は「文が評価されて結果として()が得られる」って認識で使ってた これが誤りならまあすまん ここにこだわるつもりは全然なくて、 ようするに>>437の「ブロックの途中の文は () 型でなければならない。」ってのがどういうこっちゃってこと この表現だと() 型じゃなくする方法があるように読めるからさ 459 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 13:12:38.58 ID:YxciSlP+.net] この一連の議論の評価値は () 460 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 13:27:20.45 ID:LX2CDHAF.net] >>448 自分は>>441で書いた通りその部分は辻褄合わせだと思ってるよ まあでも、自分もRust入門したころは似たようなことでこんがらがってたような気はする ブロックが式だなんて思ってなかったからかな 461 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 14:29:43.24 ID:x93GMB6T.net] >>449 コンパイルエラーだよ 462 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 14:52:26.31 ID:QoybXfTv.net] セミコロン省略できる式文(?)の型が()ではない場合は型エラーになるね https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=85e09ac464b7f9fb07b6aa1e2d08e8c9 セミコロンをつけたり、型を()にしたりするとエラーにならない https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=4e4152ae35e8fd2821060f44ed9a2fda https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=86429babc54c38b515dfe1f9de85f127 463 名前：デフォルトの名無しさん [2021/07/28(水) 17:33:51.84 ID:Ns6HtioT.net] 最も単純化してこれはコンパイル通るけど fn main() { 　if true { 　　1 　} else { 　　0 　}; 　() } しかし上記のifの尻のセミコロン無しだとコンパイルエラー【値が()ではない】となる セミコロン無しでも数字1と0を()へ変えればコンパイルが通る つまり >>437 ＞・ブロックの途中の文は () 型でなければならない。 ifをセミコロン無しで値が数字だと上記の条項を満たせないためエラー ifをセミコロン無しで値が()だと上記の条項を満たせる あるいは ＞・セミコロンで終端された文は強制的に () 型となる。 値が数字でもifをセミコロン終端させれば上記の条項を満たせる 464 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 17:46:15.09 ID:SAGnL8kO.net] で？って感じだけど とりあえずリファレンス見てくれば？ https://doc.rust-lang.org/reference/expressions/block-expr.html 465 名前：デフォルトの名無しさん [2021/07/28(水) 18:03:06.43 ID:zh3fVAA3.net] >>454 そのリファレンスの説明だけだと 以下はコンパイル通るけど、関数内の3つの()のうち任意の1つでも数値に変えるとコンパイルエラーとなる説明はどの部分になる？ fn main() { 　if true { 　　() 　} else { 　　() 　} 　() } 466 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 18:13:09.38 ID:gOp2Ufou.net] 今問題になってるのはこっちだね 最後の方に「;省略した式文は()でないといけない」となっている https://doc.rust-lang.org/reference/statements.html 467 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 18:38:39.95 ID:SAGnL8kO.net] >>455 Note: As a control flow expression, if a block expression is the outer expression of an expression statement, the expected type is () unless it is followed immediately by a semicolon. https://doc.rust-lang.org/reference/expressions/block-expr.html An expression that consists of only a block expression or control flow expression, if used in a context where a statement is permitted, can omit the trailing semicolon. This can cause an ambiguity between it being parsed as a standalone statement and as a part of another expression; in this case, it is parsed as a statement. The type of ExpressionWithBlock expressions when used as statements must be the unit type. When the trailing semicolon is omitted, the result must be type (). https://doc.rust-lang.org/reference/statements.html#expression-statements あとif式はifのブロックとelseのブロックで型が揃ってないとだめだよ 468 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 20:25:06.81 ID:o1sqfUmC.net] >>440 「値を返さない」と「()を返す」は同義だと思う。 469 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 20:32:49.95 ID:lhnCplqc.net] >>458 値を返さないことはnever typeとして別途定義されてるから()を返すこととは違うよ 470 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 21:30:00.41 ID:o1sqfUmC.net] never は値どころか制御も返さないから別物では？ ()を返す(値は返さない)ことはできるけど、neverは返すことも不可能だと思う。 471 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 21:34:29.80 ID:iYnBfOfY.net] >>455 2つのエラー要因がある ifは式(rustでは式文と呼ぶのか)なので、 472 名前：then節とelse節が同じ型でないといけない mainはTerminationトレイトを実装していないといけないので最後の()は数値にできない [] [ここ壊れてます] 473 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 21:51:43.19 ID:iYnBfOfY.net] >>458 値を返さない、という言葉が今この場では曖昧に見える 本当にrustが値を返すものじゃない、と定義しているのは文法レベルで定義しているのはletや関数定義などの文 これは型チェック入る前にエラーになる 文法的に正しい、けど「値を返さない型」としか呼べないような式も存在して、それはrustだとnever type (!) と呼んでいる loop {} とかif true { return 10} else { return 0 }とか、こいつらは式だけど決して値にならない 474 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 23:11:13.67 ID:SAGnL8kO.net] >>458 違うって 何回も指摘されてるやん 475 名前：デフォルトの名無しさん [2021/07/28(水) 23:15:38.71 ID:fFOGvJ3Q.net] >>461 じゃあどうしてこれがコンパイルエラーとなるの？ fn main() { 　if true { 　　1 　} else { 　　0 　} 　() } 476 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 23:25:02.98 ID:SAGnL8kO.net] The syntax for a block is {, then any inner attributes, then any number of statements, then an optional expression, called the final operand, and finally a }. The type of a block is the type of the final operand, or () if the final operand is omitted. https://doc.rust-lang.org/reference/expressions/block-expr.html let foo = { fn_call(); }; // final operandがないのでブロックの型は() let bar = { fn_call() }; // final operandがあるのブロックの型はfn_call()の型 式文が()を返すわけじゃない 477 名前：デフォルトの名無しさん mailto:sage [2021/07/28(水) 23:28:39.35 ID:SAGnL8kO.net] >>464 fn main() { 　if true { 1 } else { 0 } // <- 式。文法的にfinal operand以外は文じゃないとダメ。if式の型が()の場合のみセミコロンを省略可。 　() // <- final operand } 478 名前：デフォルトの名無しさん [2021/07/28(水) 23:34:19.58 ID:2+fvqic5.net] >>466 なぜ『if式の型が()の場合のみセミコロンを省略可。』という謎ルールがあるの？？ 479 名前：デフォルトの名無しさん mailto:sage [2021/07/29(木) 00:18:18.96 ID:J3IrN4Ey.net] >>467 使い勝手がいいから fn main() { 　if true { 1 } else { 0 } 　() } ↑この`if true { 1 } else { 0 }`に意味ないでしょ？ 意味持たせるには`let foo = if true { 1 } else { 0 };`みたいに評価結果の値を何かしら使う形にする必要がある 意味がないけどセミコロンで式文にして「値を無視します」と表明すればエラーにはしない 表明がなければ「お前意味ないことやってるぞ」とエラーにしてくれる `if condition { println!(“1”) } else { println!(“0”) }`みたいに()に評価されるif式は 副作用を起こしたいケースなので評価結果の値を何かしら使う形じゃなくても意味がある この使い方の時にセミコロンを必須にすると他言語習得者にとってはめちゃくちゃ使い勝手が悪い 知ってれば役に立つことはあっても普段コードを書く時に意識する必要のないルール 480 名前：デフォルトの名無しさん [2021/07/29(木) 00:18:47.37 ID:+vgAr19b.net] >>467 他の言語での一般的な書き方も出来るようにだと思う 481 名前：デフォルトの名無しさん mailto:sage [2021/07/29(木) 00:23:32.99 ID:vLI97hvR.net] >>467 if式から値が返ってきた場合、次の行まで式が継続するのか;省略なのかが曖昧になるから ()ならそれに対してなにか操作はできないから、式が継続する可能性は消えて、;省略が確定する 482 名前：デフォルトの名無しさん mailto:sage [2021/07/29(木) 00:27:10.13 ID:J3IrN4Ey.net] >>468 >`let foo = if true { 1 } else { 0 };` 一応補足しておくと↑この場合のセミコロンは文法的にはlet statementのセミコロン 483 名前：デフォルトの名無しさん mailto:sage [2021/07/29(木) 08:55:08.12 ID:KzEq3JVg.net] >>470 構文解析フェーズで型を意識してるの？ 484 名前：デフォルトの名無しさん [2021/07/29(木) 22:05:11.47 ID:0uhLIXqL.net] >>470 こういうことかな if true { () } else { () } - 2 【値-2】 if true { 1 } else { 0 } - 2 【エラー】 if true { 1 } else { 0 }; - 2 【値-2】 (if true { 1 } else { 0 }) - 2 【値-1】 485 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 02:02:42.06 ID:VAfd9CHU.net] rust version 1.54.0 リリース 486 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 11:59:34.52 ID:3yGih40v.net] https://twitter.com/mattn_jp/status/1420772207186255880 (deleted an unsolicited ad) 487 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 13:41:26.16 ID:bSJbrTlR.net] Cは、明確にポインタをつかって書くことで手作業で最適化できるが、 Rustのsafeモードは、見た目は参照もポインタも使わず実体コピーのような 書き方をする。例えば、 let a = Box::new(オブジェクト名:{・・・}); や、 let b = Box::new(オブジェクトを返す関数(・・・)); のように。 これはちゃんとコピーが生じないように最適化されているのだろうか？ C++は、同様の書き方をする場合は、無駄をなくすために例えば、 vector::emplace_back() なるものがあり、最適化に任さずに明確にコピーを省略するマクロの様な 働きをするらしい。 488 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 14:17:32.88 ID:bSJbrTlR.net] >>476 あと、C++の場合、 CPerson person = CPerson(・・・); と書いた場合は、代入にならずに必ず、 CPerson person(・・・); と書いた場合と全く同様にコンストラクタが呼び出されることが決まっている。 Rustの場合、そういうことが全くドキュメント化されてない。 C++プログラマはそのことを理解しているから高速なコードが書けるが、 Rustは書いてないのでテキトーに書くしかない。 結果、あまり速くないコードになって、しかもどこが原因かも分からなく なりそう。 489 名前：はちみつ餃子 mailto:sage [2021/07/30(金) 14:26:14.81 ID:qMgk6unv.net] >>476 https://doc.rust-lang.org/beta/unstable-book/language-features/box-syntax.html 490 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 14:26:20.43 ID:uBYlPp6h.net] それよりdropがいつ走るかわからない方が怖いわ 491 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 15:17:37.81 ID:bSJbrTlR.net] Rustでは、CPersonのメンバ関数 new()の中で Heapにオブジェクトを作る時、 fn new(yyy) { return Box::new( CPerson { age: xxxx, name: xxxx } ); } みたいに書くしかないらしい。しかし、C++だと、コンストラクタの中で、 GetSystemModuleName(&name, zzz); のような書き方も出来る。 何が言いたいかと言えば、Rustだと代入形式でしか書けないので柔軟性に 欠けるということ。 492 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 15:19:00.34 ID:bSJbrTlR.net] >>478 リンク先間違ってない？ 493 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 15:31:40.72 ID:87Gl51wF.net] bindings_after_at stableになったのうれしい 494 名前：デフォルトの名無しさん [2021/07/30(金) 16:14:14.47 ID:ghy/bFcm.net] >>480 メモリ安全性を保つのが困難になっていくからそれを避ける方法がベストだよ 495 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 16:42:36.73 ID:bSJbrTlR.net] >>483 なんともなあ。 496 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 16:53:36.97 ID:SwFfvD28.net] せっかくだしこっち使ってくれよ https://mevius.5ch.net/test/read.cgi/tech/1619219089/ 497 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 16:58:32.68 ID:9xDw6FKV.net] >>476 コピーが生じないように最適化される。 つまり、スタック上の一時オブジェクトをヒープにコピーするのではなく、ヒープ上に直接オブジェクトを作成する。 498 名前：デフォルトの名無しさん [2021/07/30(金) 17:02:02.06 ID:lHY+syIy.net] >>480 具体的にこのように書きたいけどエラーになるというRustのコードを示してください。（他の言語のコードは不要） それによりようやく初めて、何を問題としているのか、何が問題なのか、がはっきりします。 499 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 17:29:20.46 ID:nNXXdoxJ.net] VeqDequeに二分探索実装されてるけどそもそもソートできなくない？？？ 500 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 18:21:23.96 ID:N3W+nBLQ.net] >>488 make_contiguousかas_mut_slicesで中身の可変スライスを受け取って そのスライスのsortかsort_byを使えばソートできそう（試してない） make_contiguousが本線っぽいからリファレンス読んでくれ 501 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 18:33:31.64 ID:nNXXdoxJ.net] make_contiguousするならそのあとのas_mut_slicesに対して二分探索でよくない？？？？ 502 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 19:00:01.19 ID:N3W+nBLQ.net] その辺はもう「お好きにどうぞ」としか言えない 503 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 20:35:47.56 ID:Lxzkaxvv.net] contiguousじゃないがsortされてることが保証されてるケースで使いたいのかね 504 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 21:37:49.30 ID:7fXRNBDL.net] sort順を壊さない位置に要素を挿入するのにbinary_searchを使う 505 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 21:46:04.82 ID:Lxzkaxvv.net] https://github.com/vojtechkral/rfcs/blob/vecdeque-binary-search/text/0000-vecdeque-binary-search.md#motivation 506 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 23:01:01.92 ID:YV3ifLwI.net] >>486 オブジェクトを返す関数を Box::new()のパラメータの位置に書いてもそうなるの？ 507 名前：デフォルトの名無しさん mailto:sage [2021/07/30(金) 23:11:44.30 ID:ZatLdYYe.net] >>477 explicitでなければな 508 名前：デフォルトの名無しさん mailto:sage [2021/07/31(土) 16:04:12.94 ID:4L+o4Dn8.net] 配列の添え字はusize以外も許容してほしいなー 509 名前：デフォルトの名無しさん mailto:sage [2021/07/31(土) 16:11:02.83 ID:zwQwPVDS.net] std::ops::Index を実装すればええんちゃう？ 510 名前：デフォルトの名無しさん mailto:sage [2021/07/31(土) 16:31:36.36 ID:4L+o4Dn8.net] >>498 おお、こんなのあるのか。知らなかった。 511 名前：デフォルトの名無しさん [2021/08/02(月) 06:51:52.57 ID:rcivjOzc.net] Tokio @tokio_rs Announcing Axum - An ergonomic and modular web framework that takes full advantage of the Tokio, Hyper, and Tower ecosystem. https://tokio.rs/blog/2021-07-announcing-axum 512 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 10:51:16.95 ID:/2ZmNaA8.net] Rocketが統一するんじゃなかったんかい 513 名前：デフォルトの名無しさん [2021/08/02(月) 11:07:27.91 ID:IM57Srba.net] axumはシンプルかつ洗練されており柔軟性もあって、よりRustっぽい それでいてtokio直轄だから今後の主流になりそう 514 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 11:09:36.24 ID:gKjubcDS.net] actix-webと比較するとどう？ 515 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 11:22:47.21 ID:LBPYCkqw.net] asyncも結局Tokioが覇権になるんかな？ 516 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 11:40:06.27 ID:txHGxpYt.net] 高収入エンジニアは「ラスト」に注目、ファインディ調査：日本経済新聞 https://www.nikkei.com/article/DGXZQOUC312180R30C21A7000000/ 517 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 11:52:00.11 ID:XqEhhKmo.net] tokio、名前がダサすぎて無理w async-std勢にもっと頑張ってほしい 518 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 13:37:03.39 ID:b7V5cI6n.net] どうしても沢田研二を思い出すからな 519 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 13:48:07.46 ID:cEvsPyTU.net] 客の入りが悪くてダサいヤツ 520 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 14:35:12.33 ID:txHGxpYt.net] Tokioの名前の由来って普通に東京の可能性があるのか ＞I enjoyed visiting Tokio (Tokyo) the city and I liked the "io" suffix and how it plays w/ Mio as well. I don't know... naming is hard so I didn't spend too much time thinking about it. https://www.reddit.com/r/rust/comments/d3ld9z/how_tokio_crate_got_its_name_like_that/ 521 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 18:57:04.81 ID:+XZCqP9q.net] axumのimpl IntoResponseとかはaxcixより命名規則とかディレクトリ構造とかよかったけどappの組み立て方が微妙だなー n-texとかがかなりいいよね 522 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 21:06:18.53 ID:K5Gz/oHK.net] tokioは問題のある挙動が発覚しそうで嫌 523 名前：デフォルトの名無しさん mailto:sage [2021/08/02(月) 23:22:29.33 ID:5JIyBWeF.net] async-stdなら発覚しない？ 524 名前：デフォルトの名無しさん [2021/08/03(火) 05:46:07.98 ID:NdBhyyWi.net] ランタイムはasync-std, tokio, actixの3系統という認識であっていますか？ 今回は組み込みとか除外で、ウェブ使う前提での根幹の非同期ランタイムに限る話として。 それぞれの系統のデメリットは何ですか？ 525 名前：デフォルトの名無しさん mailto:sage [2021/08/03(火) 10:52:22.44 ID:C59tapei.net] actixは内部でtokio使ってるから実質tokio 526 名前：デフォルトの名無しさん [2021/08/04(水) 05:06:56.84 ID:vy1xC0f1.net] ここ反tokio派が多いようなので 見習ってasync-std派になろうと思います デメリットなどあれば教えてください 527 名前：デフォルトの名無しさん mailto:sage [2021/08/04(水) 13:06:46.39 ID:i8X/nYqM.net] ワタシはtokio派 528 名前：デフォルトの名無しさん mailto:sage [2021/08/04(水) 13:23:10.51 ID:djLthEM6.net] どうせ遊びコードだろうしどれでもいっしょだろ 529 名前：デフォルトの名無しさん mailto:sage [2021/08/04(水) 14:08:55.46 ID:kUGuSA9v.net] 遊びコードなら非同期なんか要らないだろ 同期処理のフレームワークにしとけ 530 名前：デフォルトの名無しさん [2021/08/04(水) 14:41:35.72 ID:wzpAdwFh.net] tokioは巨大な一枚岩になっていて方針がおかしくね？ 531 名前：デフォルトの名無しさん mailto:sage [2021/08/04(水) 18:03:25.14 ID:ixF3VIJu.net] smolってどうなの 532 名前：デフォルトの名無しさん [2021/08/05(木) 00:05:10.42 ID:+sKg5038.net] >>520 smolはasync-ioやasync-fsやasync-netやasync-executorなどの親分だね それらsmolのサブクレートであるasync-*シリーズはsmol以外のところでも使われてる 533 名前：デフォルトの名無しさん mailto:sage [2021/08/05(木) 06:32:52.89 ID:vEltfgyn.net] RustではじめるWebAssembly入門〜JavaScriptを超える高速なWebアプリ開発を実践しよう https://codezine.jp/article/detail/14567 534 名前：デフォルトの名無しさん [2021/08/05(木) 22:19:57.77 ID:CdYIb2/R.net] 昔はtokioも同じように多数のtokio-xxxから成り立っていた しかしどんどん合併していき巨大な一枚岩tokioになってしまった 535 名前：デフォルトの名無しさん mailto:sage [2021/08/05(木) 23:44:46.85 ID:igzlcjJl.net] 最終的に各機能は連携するので整合性を維持したまま保守し続けることを考えたら 全体でひとつのパッケージにしてしまうのが楽というのはわかる。 536 名前：デフォルトの名無しさん mailto:sage [2021/08/06(金) 00:29:20.56 ID:BpKFUZU0.net] featureで機能on/offするtokio方式の方が使う側も楽では 537 名前：デフォルトの名無しさん [2021/08/06(金) 05:47:54.70 ID:uymdWrFB.net] >>520 smolもasync-stdもStjepan Glavinaが立ち上げた だからasync-ioなど両者共にベースとしている 538 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 08:24:17.06 ID:xZrMsPjx.net] オライリーの本で勉強始めたんだが、説明なしにいきなりSomeとか出てきてもやもやしながら読み進んでいる。 索引にも見つからないし。この本のどこかにSomeの説明があるなら誰かページ数教えて。 539 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 08:54:25.11 ID:pHhntc3E.net] Somewhere 言いたかっただけだから叩かないで蹴らないで 540 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 09:03:20.19 ID:Xj8Oc6zx.net] わいの持ってるオライリーの『プログラミング Rust』だと27ページ（§2.6.1）でOptionの説明してる 541 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 09:03:35.46 ID:7YRCcDcM.net] 索引に「Option<&T>」はない? 542 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 09:10:40.92 ID:xZrMsPjx.net] 同じ本です。そこで使っているSome(T)の説明がなかったので。 文脈からするとT型の値を持っている何かなんだろうけど、正体がわからないのがもやもやして。 543 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 09:22:21.99 ID:Xj8Oc6zx.net] 列挙型（enum）なら10章で取り上げてるね Optionは出てこないかもしれないけど 544 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 09:30:04.54 ID:xZrMsPjx.net] あ、なるほど。Some(T)とい型があるのかと思ってしまったけど、Some<T>じゃないですね。 Option<T>の値の一つとしてSomeがあって、それがTの値を持っていると。 545 名前：デフォルトの名無しさん mailto:sage [2021/08/07(土) 09:31:53.94 ID:tg14s6ns.net] オライリー、はやく改訂してくれええあええぃ！

---

---

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

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