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/ 654 名前：ﾌ辺とか。.iter()じゃなくて.into_iter()やね https://doc.rust-lang.org/reference/expressions/loop-expr.html#iterator-loops [] [ここ壊れてます] 655 名前：デフォルトの名無しさん [2021/08/17(火) 03:20:14.87 ID:q/ldIEfm.net] この言語の敷居の高さの上げ方は異常すぎる。誰も全容分かってない 656 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 03:39:07.39 ID:yPn/BtRt.net] C++ よりマシ。 657 名前：デフォルトの名無しさん [2021/08/17(火) 04:00:51.74 ID:run+2ZVZ.net] それだと最初のエラーを拾ってしまうけど今回はエラーになる引数を与えてそれらを無視して拾い集めるコード もしエラーにならない引数だけを与えて成功するコードならばその方針もいいかも あとfrom_u32はOptionを返すのでResultでなく全体をOptionにするとして 最後にunwrapも必要なのでmap().collect()のコードは以下になると思いますが 元の>>636より長くなってしまいますね println!("{}", std::env::args().skip(1).map(|x| std::char::from_u32(x.parse::<u32>().ok()?+110)).collect::<Option<String>>().unwrap()); 実行結果 $ cargo run 4 7 5 6 rust 658 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 09:39:00.09 ID:Wyc5eeHq.net] 小中学生あたりでもわかる本ある？ 659 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 09:48:35.92 ID:uTdncVPo.net] きったねぇコードだな 660 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 13:39:50.79 ID:hwU1GG4D.net] 参照型の変数xをlet文で新しい変数yの初期値にした場合、 let a = 123; let x:&i32 = &a; let y = x; y は参照型になるんだっけ？ そもそも、最初の文は let x = &a; と書いても全く同じ意味だっけ？　さらに、 let x:&i32 = a; と書いても同じ？ 661 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 14:30:13.21 ID:082KifEP.net] >>647 試してみるといいよ yの型を知りたければtype_of(&y)で fn type_of<T>(_: &T) -> &str { std::any::type_name::<T>() } let a = 123; let x = &a; let y = x; println!("{}:{}, {}:{}", x, type_of(&x), y, type_of(&y)); 662 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 14:31:53.69 ID:hwU1GG4D.net] 答えを知ってる人に書いて欲しい。 この言語、試してみないと型すら分からないんだったら困るな。 663 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 14:35:58.73 ID:Ok9gkDKS.net] >>647 > y は参照型になるんだっけ？ なる > そもそも、最初の文は > let x = &a; > と書いても全く同じ意味だっけ？ ほぼ同じ 下だとaの型がi32に固定されない点だけ違う > さらに、 > let x:&i32 = a; > と書いても同じ？ これは全然違う そもそも型エラーでコンパイルできない 664 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 14:41:24.86 ID:QXNoWfC2.net] >>647 めちゃ基本的なことなので入門書を読もう 665 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 14:45:56.55 ID:hwU1GG4D.net] 本を読んだけど、明確には書いてなかったと思う。 let文に置いて参照型が右辺の場合、左辺も参照型になるということなのか。 ということは、letを書かない代入文で左辺に参照型で無い型を 書いて、右辺に参照型がある場合にはエラーになるのか？？？ わけが分からん。 666 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 14:51:57.21 ID:WvkHdE3s.net] C++出身の人かな 667 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:00:35.72 ID:hwU1GG4D.net] C++出身だ。 Rustにおける参照型の変数の規則性が分からない。 668 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:06:15.30 ID:Ok9gkDKS.net] >>654 Rustの参照はC++の参照じゃなくてポインタのほうが近いよ 669 名前：デフォルトの名無しさん [2021/08/17(火) 15:06:32.93 ID:uFWUzCTr.net] Rustから入る人や 色々な言語をやってきた人は理解が早い しかしC++だけやJavaだけしか経験ない人は 自己中な思い込みが激しくて素直に学習しようとせずに間違った解釈したりして無駄な質問ばかりしがち 670 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:06:36.98 ID:hwU1GG4D.net] Rustは例はあるが、ちゃんとした論理的な言葉や数式の様なもので、規則性が 書いてないのではない？ C++だともっと厳密に書いてある。 671 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:10:48.52 ID:+ZvfT+RK.net] >>652 何て本？ 672 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:11:29.96 ID:hwU1GG4D.net] >>656 そうではなくて、規則性を言葉で書いてくれ、ということだよ。 試してみてなんとなくの経験法則とかじゃなく。 673 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:12:37.71 ID:hwU1GG4D.net] >>658 bookの印刷版も読んだが、途中読み飛ばしたページもあるが 読んだところにはちゃんと書いてなかったと思う。 数学的な規則が欲しいんだ。 文学的な言葉や例ではなく。 674 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:13:56.74 ID:Ok9gkDKS.net] >>657 そういう位置付けのドキュメントはこれだね ただし冒頭にもある通り完全ではない The Rust Reference https://doc.rust-lang.org/stable/reference/ 675 名前：デフォルトの名無しさん [2021/08/17(火) 15:15:28.48 ID:Y5PdM7En.net] >>656 まずはC++を忘れろ 思い込みは習得の邪魔になる あるいは様々な言語をやってきていれば各言語で概念や書式や用語などが少しずつ異なることが理解できるはずだ 676 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:18:24.83 ID:hwU1GG4D.net] >>662 めんどくさいので試してないんだよ。 試さなくても数学の用に読んで理解できる規則が欲しい。 Cのポインタは難しいとされるが、俺は数学が得意なので本を読んだだけで 完璧に理解できた。 C++探せばちゃんと書いてある本がある。 677 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:23:08.50 ID:hwU1GG4D.net] >>661 BNFで書いてあるようだが、具体的にどこに書いてあるか示してくれ。 ちなみにBNFだと意味論までは語れ無い事があるので無理かも知れない。 678 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:24:30.00 ID:+8wra73u.net] 「俺は数学が得意なんだ！」 ワロタ いつものBoxおじいさんじゃん 679 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:24:31.45 ID:hwU1GG4D.net] 目次を見てもReferenceの文字が見当たらないが。 C++だとちゃんとあるぞ。 どうしてReferenceも型のはずなのに、目次すらないんだよ。 680 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:25:31.33 ID:hwU1GG4D.net] >>665 トップだったからな。 681 名前：デフォルトの名無しさん [2021/08/17(火) 15:27:48.00 ID:bPhCjiXF.net] >>660 そこまで言うならば十数種類あるRustドキュメントのうち、 editionとapiとstdとreferenceとtheとcookとexampleあたりにあとはcliとasyncくらいまでが基礎かな。 あと外部たがcargoとrustcにrustdocなどのbookも。 unstableやnomiconは後でいい。 wasmやembedded系bookも必要なら。 682 名前：デフォルトの名無しさん [2021/08/17(火) 15:28:18.82 ID:jTG+Bjsl.net] IQ87の人でしょ 相手しちゃダメ 683 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:29:44.40 ID:hwU1GG4D.net] >>668 なんで、この言語に置いて最も重要な型の一つの規則性がそんな何千ページもの 本を読まないと解説されてないんだよ。 684 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:30:14.32 ID:hwU1GG4D.net] >>669 お前の友達と一緒にすんな。 685 名前：デフォルトの名無しさん [2021/08/17(火) 15:35:47.16 ID:JF4CPCdG.net] >>667 数学得意ならRustも深く理解しやすい 強い静的な型システムの元にある そして生死貸借も明確で数学的にメモリ安全性を保証 利便性のための参照＆外し自動適用を除いて型キャストが暗黙に自動で行われることともない 686 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:44:19.09 ID:hwU1GG4D.net] >>672 さっきから聞いているのに、ちゃんとした論理的規則を語った人は誰も居ない。 つまり、今このスレに居る人達は誰も理解してない証拠だろう。 つまりこれは、Rustが試してみないと分からない言語だからではないか。 687 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:46:21.18 ID:diXkc4zq.net] >>673 5chじゃなくて users.rust-lang.org あたりで聞いてみたら 専門家がいっぱいいるよ 688 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:48:51.11 ID:hwU1GG4D.net] >>674 参照型はRustにとって最重要の型。 それがそんなところに質問しなければ分からないというのは困ったことだぞ。 689 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:56:13.41 ID:UjpqRJxn.net] ポインタを理解するのにもRustを理解するのにも数学の得意不得意は関係なくね？ ポインタを理解できない人をあまり多く見たことがないから実際のところどうなのかよく分からないんだが 690 名前：デフォルトの名無しさん [2021/08/17(火) 15:57:56.00 ID:U4J278+6.net] >>670 どこにも記述されていないことを君が自己中心的な思い込みで間違いなく判断や間違った推測をしているから>>647や>>652の書き込みになっている let文や呼び出し引数はirrefutable pattern matchingであり各種destruturingはあっても個々の型は対応する Tと&Tがmatchingすることはない 691 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 15:59:25.04 ID:hwU1GG4D.net] >>677 どから、それがどこに書いているのかリンクを張ってくれ。 あなたの独自説ではなく、公式のな。 692 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 16:06:26.36 ID:KRsjniKD.net] >>672 >利便性のための参照＆外し自動適用を除いて型キャストが暗黙に自動で行われることともない rustではcoercionと呼んでるものが暗黙の型変換だぞ 693 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 17:16:17.31 ID:uVOQbHaf.net] グリーンスレッド何それ？さんだっけ？ 694 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 17:20:32.19 ID:apgY8ckc.net] 公式の言葉が欲しいってならreferenceのlet statement, reference patternsあたりでもみりゃいいんじゃないっすかね知らんけど 695 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 17:32:50.74 ID:fMgDzJWA.net] rustは思ったより流行りそうにないなぁ。 使用者爆発的に増えてくるハズがC++知らん人は そもそも使う層じゃないし、 C++知ってる人は、逆にめんどくさいから様子見、流行らなければスルー ぐらいかね。 696 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 18:03:44.37 ID:PENy3uzh.net] ぶっちゃけ1言語のみしか使えないようなプログラマが有能だとはとても思えないが 実際にそういう人はいるけど融通効かないし生産性が高いとも思えない 所詮ドカタじゃないの 697 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 18:14:54.04 ID:yPn/BtRt.net] >>682 C++ で疲弊した人が Rust に移ってるってのはあるぞ。 698 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 18:21:01.37 ID:diXkc4zq.net] >>675 だからそう主張してくればよいじゃん ここにいる人じゃ話にならないんでしょ？ 699 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 20:01:51.20 ID:uTdncVPo.net] 疲弊というかドロップアウター 700 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:03:40.91 ID:iE5VyQYC.net] >>647 上３つの式は正しいのに、なんで下２つの式はそうなるのか 701 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:04:44.45 ID:iE5VyQYC.net] >>687 見間違えた 一番下の式だけだね 702 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:18:21.30 ID:sY2NwSu8.net] 実際はc++わからんけどrustわかればマウント取れそうじゃね？って馬鹿しか手を出してないという現実。 703 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:24:14.87 ID:hwU1GG4D.net] Rustは、GoogleTrendsでは他の言語に比べて低空飛行だけど(Kotlinと同じくらい ではあるが)、他の言語が下がる傾向があるのに対してRustだけは少しずつ上がってる。 Stackoverflowでは既にC++の30%〜40%位まで質問の量が迫ってきているとか。 なので良く分からない。 GoogleTrendsが実際と合ってないという説も見かけた。 704 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:26:37.22 ID:hwU1GG4D.net] crates.ioでcrateをダウンロードされた回数が20億回を越えていたり、 投稿されたcrateの数が3万種類を超えたりとか。 20億回というのはとんでもない大きな数字。 全世界のプログラマの数は2,500万人くらいだそうだから相当な数だ。 良く分からないくらい異常に大きな数値。 705 名前：デフォルトの名無しさん [2021/08/17(火) 21:35:56.30 ID:hYkkAkQv.net] iocrateはきっと誰かがwhile true do; cargo build; cargo clean;doneみたいの流し続けたんだろ c++よりマシなのは確かだがredosだかみたいの全然進まんしc++,cな代替物にはなれなさそう tech giantsみたいな連中が根幹部分rustに変えるみたいな事言ってるけど流行ってる感じ全然しないよね(´・ω・｀) 706 名前：デフォルトの名無しさん [2021/08/17(火) 21:40:50.24 ID:jTG+Bjsl.net] 久しぶりに流行ってない流行らないアピールきてるね 707 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:41:43.37 ID:LO76a4+c.net] 土方では流行らないでしょ 708 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:45:28.03 ID:yac5fWyQ.net] リポジトリの分散化考えないとマジ負荷が半端無さそう 709 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 21:49:53.88 ID:fMgDzJWA.net] rustで作ったライブラリは他の言語から使いやすいんかい？ c\c++置き換えるなら、むしろそここそ一番重要かもしれん。 710 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 22:12:04.05 ID:53TH2cCY.net] >>696 Rustのライブラリは他言語からは使いにくいのが問題になっていると聞いたが。 多分、C/C++のライブラリのようにはいかないと思う。 711 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 22:14:00.60 ID:53TH2cCY.net] >>692 前半、なるほど。 githubで最高人気であるところのvue.jsも、いいねは2万くらいだったと思うし。 なんか数値に異常さを感じる。 712 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 22:16:21.15 ID:53TH2cCY.net] vue.jsのgithubでのStar数は、18万7,000だった。 crate.ioのダウンロード回数はこの1万倍を越えている。 普通に使っているだけでは辻褄が合いそうに無いな。 全世界の全てのプログラマが100回くらいcrateをダウンロードしたことになる。 713 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 22:54:36.64 ID:Ok9gkDKS.net] crates.ioのDL数と比較すべきはnpmのDL数では？ https://www.npmtrends.com/vue 714 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 00:15:56.99 ID:24ORvnDg.net] crates.ioのダウンロード数は依存crateのCIが走る度に増えるようなものだからそりゃ多くなるでしょ GitHubのstarと比較したのはなぜ？ 715 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 00:33:37.55 ID:c7Y+RcIr.net] 別にプログラマが手動でダウンロードするわけではないんだが… 1回コンパイルすると100個以上落としてくるのも普通だから 2千万回コンパイルが実行された、という程度の話 ざっくり5年で均せば1日1万回ってとこか 716 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 01:06:03.53 ID:WOvB8ChX.net] CIだろうね。人がcargoを直に打ってるとは思えん 717 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 01:16:27.76 ID:wcIqldgw.net] 強力にキャッシュが効くはずのCIでツールが未整備なために効かず 異常にDL数が伸びてしまっただけだろう 718 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 04:35:06.87 ID:AXrkZvXQ.net] CIのライブラリインストールが動画の次に無駄な帯域を食ってると言われているだけある 719 名前：デフォルトの名無しさん [2021/08/18(水) 09:18:01.26 ID:k0LDI8WO.net] >>639 難しく考えすぎ &と*の関係は単純明白 let a = 123; // a: i32 let b = a; // b: i32 let p = &b; // p: &i32 let q = p; // q: &i32 let &r = &p; // r: &i32 let x = &q; // x: &&i32 let s = *x; // s: &i32 let c = *r; // c: i32 let y = &&c // y: &&i32 let z = y; // z: &&i32 let d = **z; // d: i32 720 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 09:35:44.42 ID:GD93l4al.net] ライブラリが他言語から使いにくいってのも謎だな 他言語からならC ABI一択なわけで、どの言語でライブラリ書こうが使い勝手は同じだと思うが 721 名前：デフォルトの名無しさん [2021/08/18(水) 09:48:19.81 ID:JVjfL7Fa.net] >>697 例えばPyO3でPythonからRust呼び出せるよ 722 名前：デフォルトの名無しさん [2021/08/18(水) 10:49:15.04 ID:NS5B/B7Q.net] >>672 自動的な参照外し(*を記載してないのに*適用)って、値を使うところで&Tや&&Tなどが使われたときにTの値になる、というルールだからそれも数学的でしょ。 あと&Tではない各種スマートポインタや自作の型を、*記載で参照外しする時も、Derefトレイト実装通りに行われるからこれも数学的。 723 名前：デフォルトの名無しさん [2021/08/18(水) 11:27:15.93 ID:k0LDI8WO.net] >>647氏が混乱したのもそこかもね 例えば let a = 99; let b = &a; assert_eq!(100, b + 1); assert_eq!(100, *b + 1); つまり値を使う所では参照のままではなく安全に*が自動適用 構造体のフィールドアクセスも struct Point {x: i32, y: i32} let p = Point {x: 19, y: 31}; let q = &p; assert_eq!(p.x, q.x); assert_eq!(p.y, (*q).y); つまりフィールドアクセスする所では参照のままではなく安全に*が自動適用 だからC言語などにある「q->y」という記法がRustには不要なので存在しない 724 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 11:41:08.71 ID:XfIyaV62.net] こじつけの自己レス自演が気持ち悪い これでバレないとおもってるんだからww お前も頑張って勉強中なの丸出しなのになぜそんなに上から目線で書きたがる？ 725 名前：デフォルトの名無しさん [2021/08/18(水) 12:12:05.22 ID:cmZsMbhP.net] >>710 assert_eq!(100, b + 1);　は通るけど assert_eq!(99, b);　はコンパイルエラーになるところがミソかな 726 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 12:12:56.84 ID:Lbl25gGI.net] 演算子も含めてメソッド呼出しのときの self の参照が調整されるのは言語コアの機能だけど 演算子の右辺で参照が剥がされるのは参照を受け取るバージョンのメソッドも用意されてるから という理解でいいんだよね？ 727 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 12:16:13.67 ID:UTiWVDvk.net] >>710 >assert_eq!(100, b + 1); `b + 1`のbは*が自動適用されてるわけじゃない 728 名前：デフォルトの名無しさん [2021/08/18(水) 12:52:27.85 ID:KGSse8GZ.net] そこはstd::ops::Addトレイトのimplがあるかどうか ただしi32と&i32に対してはあるけど&&i32に対してはない そのためさきほどの例だと let a = 99; let c = &&a; assert_eq!(100, **c + 1); // i32はそのままOK assert_eq!(100, *c + 1); // &i32は参照外してi32でOK assert_eq!(100, c + 1); // &&i32のAddトレイト定義はないからコンパイルエラー 729 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 13:56:40.85 ID:XmrgRQmj.net] 繰り返し間違った内容垂れ流すのいい加減やめれ 730 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 14:02:16.47 ID:NAGfODce.net] >>715で合ってるよ 731 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 14:42:37.07 ID:tdn9Bdbv.net] ご愁傷様 732 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 15:05:20.49 ID:PR0UGd3d.net] ご安全に* 733 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 19:37:59.33 ID:e8CK2aK/.net] 質問したようなのと近い流れになってて助かった (0..7).filter(|&x| x == 0); ↑これ通るから　↓こうしたら駄目だった。なんでなん？ let mut vec0 = vec![1, 2, 3, 4, 5, 6]; vec0.iter().filter(|&x| x == 1); そこで、様々テストしたら、↓の方法でコンパイルが通ることがわかった どのやり方が一般的なん？個人的には1か4かと思うんだけど。あと、2は+0することで型推論が働いてるのん？ vec0.iter().filter(|&x| *x == 1); //1 vec0.iter().filter(|&x| x + 0 == 1); //2 vec0.iter().filter(|&x| x == &1); //3 vec0.iter().filter(|&x| x.clone() == 1); //4 vec0.iter().filter(|x| **x == 1); //5 vec0.iter().filter(|x| *x == &1); //6 734 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 19:43:27.81 ID:4IMEZtM2.net] 全部結果まで含めて正しかった？ 735 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 19:48:58.01 ID:e8CK2aK/.net] ベクタの内容を↓にして let mut vec0 = vec![1, 2, 1, 4, 1, 6]; 1の数をcountするようにして表示させてみたけど、>>720の1〜6のやり方でどれもcountの数は同じだね 736 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 20:01:07.37 ID:e8CK2aK/.net] いいぞ！いいぞ！これも通るぞ！！ let mut test6 = vec0.iter().filter(|&&x| x == 1).count(); let mut test7 = vec0.iter().filter(|x| x == &&1).count(); let mut test8 = vec0.iter().filter(|x| *x + 0 == 1).count(); ヽ(ﾟ∀ﾟ)メ(ﾟ∀ﾟ)メ(ﾟ∀ﾟ)ノ 737 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 20:03:48.63 ID:gDWYR9GO.net] Bible終えるのにどれぐらい時間かかりましたか？ 738 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 20:30:38.07 ID:4eCzRIG7.net] >>720 739 名前： (0..7).filter(|&x| x == 0);と同等なのは let v = vec![1,2,3,4,5,6]; v.into_iter().filter(|&x| x==0); [] [ここ壊れてます] 740 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 20:47:56.15 ID:e8CK2aK/.net] >>725 うおー、まじか！ わかったありがとう。だからforループはちょっと違う挙動になるんだな 741 名前：デフォルトの名無しさん [2021/08/18(水) 21:38:07.08 ID:KGSse8GZ.net] 違いをわかりやすく示すと let vec0 = vec![1, 2, 3, 4, 5, 6]; assert_eq!(Some(&1), vec0.iter().next()); assert_eq!(Some(1), vec0.into_iter().next()); 742 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 21:41:22.71 ID:e8CK2aK/.net] ありがとうありがとう &TのイテレータとTのイテレータが別々になっているとはおもわなんだ 743 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 21:54:22.03 ID:8n3xPETQ.net] まだ慣れてないからideに言われるがままに直してるな、、 744 名前：デフォルトの名無しさん mailto:sage [2021/08/18(水) 22:38:04.93 ID:ErZJGc/A.net] イテレータ回りはこのスライドが良いと思ったけど多少基礎知識ないときついかもしれんな https://speakerdeck.com/optim/domination-of-the-rust-iterators 745 名前：デフォルトの名無しさん [2021/08/18(水) 23:13:44.45 ID:KGSse8GZ.net] >>728 そう考えるよりもムーブor借用と捉えるほうがいいかな vec0.into_iter()だとムーブになるから値そのものが次々と来る。しかしその後にvec0は使えない。 vec0.iter()だと借用になるから値への参照が次々と来る。その後もvec0は使える。 (&vec0).into_iter()でも借用になるから値への参照が次々と来る。その後もvec0は使える。 746 名前：デフォルトの名無しさん [2021/08/19(木) 02:05:43.13 ID:58T7qCMn.net] この2つは何が違うんですか？ 演算子? https://tourofrust.com/38_ja.html unwrap https://tourofrust.com/39_ja.html 747 名前：はちみつ餃子 mailto:sage [2021/08/19(木) 02:52:20.85 ID:z/GAGLjl.net] >>732 これは例がよくないな。 もう一段ほど関数呼出しを挟む構造になっていればより分かり易くなる気がする。 ? 演算子はエラーだったときにそのエラー値を返り値として return する。 つまりその例の場合は do_something_that_might_fail が エラー値を返したときは main から抜ける。 関数がエラーを出したときに上位にもエラーとして伝播させる機能。 unwrap は Result を剥がすが、エラー値だったときにはその場で panic する。 unwrap を書くというのは「エラー値が返されることはないことをプログラマとして保証する」 または「そのエラーに対して対処する方法はない、対処する気はない」という表明で、 assert 的な意味合いを含む。 エラーの対処を書くのが面倒だけど Result を剥がして型は合わせないといけない というときに雑に unwrap することはあるんだけど、 多少なりとも汎用的なライブラリにするなら (事前条件が正しい限り) panic が 起こるのは好ましくはないので使い方は慎重に。 748 名前：デフォルトの名無しさん [2021/08/19(木) 03:04:22.69 ID:KOsZ1Iay.net] >>732 ?演算子はほぼtry!マクロのsyntax sugar 言語自体に組み込んだ時にその適用範囲を広げた try!マクロとは見やすく省略して書くと Result型rに対してはtry!(r)がほぼmatch r { Ok(n) => n, Err(e) => return Err(e) }となる つまり?演算子はOption型やResult型の尻につけてNoneやErrの時にreturnする 一方でunwrapはpanicして死ぬ 749 名前：デフォルトの名無しさん [2021/08/19(木) 06:51:23.03 ID:3IqCrn23.net] ほぉ、なるへそ noneとかへの振る舞いの遅延行為としての?op ある関数を呼んだ関数自体でerrへの振る舞い決定すべきだと考えた場合は?opにする とすると?op含んだ関数のcallerはmatchとかのタイプ別振る舞い定義をちょっとやかましめ書く必要ありだな いまいちpanicの振る舞いが分からん spawned threadが内部でパニくった場合その娘、息子スレッド（スレッドの下層スレッド）とそのスレッド自体にのみunwindが適用されるんだよな？(´・ω・｀) 750 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 08:14:51.20 ID:1vsNr98D.net] 何でやねん(笑) 751 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 12:31:22.21 ID:vGJ7k9jZ.net] vec0.iter().filter(|&x| x == &1); これの数字に&つけて型同じにしたら通るってのが納得できないな〜 比較がプリミティブ型の変数同士だったら自動的に数値として扱って欲しい 752 名前：デフォルトの名無しさん [2021/08/19(木) 13:09:24.52 ID:5RRw/fpd.net] >>737 それは強い静的型付けのメリット 異なる型同士の==が通るのは困る といいたいところだけど PartialEqトレイト次第で異なる型でも==してくれる場合もある 文字列など でも整数は厳密でi32とi16ですら不許可 753 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 13:34:53.71 ID:vGJ7k9jZ.net] >>738 でも、上の例で vec0.iter().filter(|&x| x + 0 == 1); が通るのは+0したときに中身がプリミティブ型だから数値だけ取り出してくれてるんでそ？ 754 名前：デフォルトの名無しさん [2021/08/19(木) 13:41:52.67 ID:NIu45PdU.net] >>739 それはまた別で>>715 つまり足し算の実装

---

---

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

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