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/ 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 つまり足し算の実装 755 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 14:53:02.41 ID:qnkUxlpG.net] &i32 + i32 の計算ができるようAddトレイトで実装されていて、結果をi32で返すようになってるからエラーにならないってことでしょ？ 756 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 14:59:15.22 ID:OmSSsNQv.net] >>741 そのとぉーり！ 757 名前：デフォルトの名無しさん [2021/08/19(木) 15:34:51.11 ID:SriMwJau.net] >>741 ご丁寧にi32+i32 i32+&i32 &i32+i32 &i32+&i32の4種類をカバーしてくれてるね &&i32はサポートしていないため vec0.iter().filter(|x| x+1==2)はコンパイルエラー 758 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 16:37:43.70 ID:gHMNbMrQ.net] まず>>715の間違いを反省しようね >let a = 99; >let c = &&a; >assert_eq!(100, *c + 1); // &i32は参照外してi32でOK 759 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 16:44:47.80 ID:hQY8lbBV.net] >>744 それであってるぜ &i32+i32は左だけ参照を外してi32にして足し算する 760 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 17:44:32.43 ID:t/I60tUF.net] そりゃ当たり前だろw とことんダメなやつだな 761 名前：デフォルトの名無しさん [2021/08/19(木) 18:58:02.70 ID:58T7qCMn.net] >>733 >>734 丁寧に教えてくれて、ほんとありがとう 762 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 21:41:29.08 ID:vGJ7k9jZ.net] >>743 なるほど、なんかすべての挙動を把握しないとならないんだね でも、やっぱり「&1」が通用するのは納得いかない(´･ω･`) 763 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 22:05:30.35 ID:RF3Q0l8Y.net] >>748 基本的には正しく型を用いれば済む &i32は数値ではなく数値への参照にすぎない *付けなくても済む便宜の恩恵を受けるのはよいけどそれを理解したうえでしているかどうかの違い 764 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 22:29:20.97 ID:c562wt5h.net] String と &str が == で比較できるなら i32 と &i32 も比較できて良い気はする 単に impl がないだけだから pull req 送ったら取り込んで貰えるのでは 765 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 22:55:59.39 ID:vGJ7k9jZ.net] もう純粋に&1て、1の参照じゃんね その意味がわからんし、存在意義がわからん 変数同士ならわかるけど、定数的に書いてるんだったらもうプリミティブ型だったら 中身で判断してくれよヽ(`Д´)ﾉｳﾜｧｧｧﾝ 766 名前：デフォルトの名無しさん [2021/08/19(木) 23:28:13.13 ID:2mmZi2HD.net] >>750 今もi32と&i32の組み合わせ4通り定義 そこへ&&i32が加わると9通り定義 そこまでする意義は？ >>751 だからx==&1ではなくて素直に*x==1と書こう 767 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 23:48:19.67 ID:k/U3ouxt.net] >>751 プリミティブのwrapper crateを作って自分の好きなように定義すれば万事解決 768 名前：デフォルトの名無しさん mailto:sage [2021/08/19(木) 23:58:39.37 ID:A1SUdzrU ] [ここ壊れてます] 769 名前：.net mailto: そういや&1みたいなのって実際に使う場面あるの？ [] [ここ壊れてます] 770 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 00:03:22.90 ID:o+L+NM8T.net] 推奨する方法をやりやすく、推奨しない方法をやりにくく Rustは他の言語に比べると特に後者についてよく考えられてる 771 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 00:07:53.98 ID:iQK+FWFq.net] >>754 postgresクレートのquery()でparamsに数字を書きたいときとか pub fn query<T>(&mut self, query: &T, params: &[&(dyn ToSql + Sync)]) -> Result<Vec<Row>, Error> where T: ?Sized + ToStatement 772 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 01:09:30.92 ID:W7hoDzmL.net] >>752 *x == 1 と書けというのは分かるんだけど impl PartialEq<String> for &str や impl Add<&i32> for i32 があるのに impl PartialEq<&i32> for i32がないのは一貫性がないように思う なんで実装されていないのだろうか 773 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 01:11:40.00 ID:W7hoDzmL.net] >>757 自己解決 RFC1332で議論されていた 774 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 01:12:10.07 ID:hEbF/PXF.net] rubyもpythonも見よう見まねで書けるんだけどなー javaなんてC++とほとんど同じだから半日もあればマスターできる でもrustだけは勉強しないと無理っぽい 難しいよ 775 名前：デフォルトの名無しさん [2021/08/20(金) 01:34:49.41 ID:qcewwL/9.net] >>757 実は整数と文字列ではそこの逆転現象が起きていて Stringと&strの等号比較はOK assert!("xyz".to_string() == "xyz") しかしStringをmatch文でアームに&strだとコンパイル型エラーでNG // assert!(match "xyz".to_string() { "xyz" => true, _ => false, }); &i32とi32の等号比較はコンパイル型エラーでNG // assert!(&123 == 123); しかし&i32をmatch文でアームにi32だと比較OK assert!(match &123 { 123 => true, _ => false, }); 776 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 01:38:48.16 ID:omEK/Sui.net] オブジェクトの同一性 (メモリ上の同一の場所に配置されている) を判定したいときって 参照を == で比較しても駄目ですよね？ ポインタを取り出すのも恰好が悪いように思うんですが、 なんか定番の方法ってあります？ 777 名前：デフォルトの名無しさん [2021/08/20(金) 01:44:35.28 ID:qcewwL/9.net] >>754 消費(ムーブ)せずに参照で済ませるためにiter()を使うと当然 &1 が出てくる let vec0 = vec![1, 2, 3, 4, 5, 6]; assert_eq!(Some(&1), vec0.iter().next()); assert_eq!(Some(1), vec0.into_iter().next()); これはVecだから消費するinto_iter()が使えば 1 に出来るけど スライスだと消費という概念がないから必ず &1 が出てきてしまう 778 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 01:55:55.02 ID:jENR+46K.net] >>761 Rustは所有権があるから同一メモリを指すのは所有権を持つものへの参照同士かな つまりコード上明白であり比較する必要性がないことに？ 779 名前：デフォルトの名無しさん [2021/08/20(金) 02:30:09.57 ID:qcewwL/9.net] こういうことかな 複数の参照もmut参照も生ポインタも当然すべて同じアドレスを指している let mut i = 123; let pi1 = &i; let pi2 = &i; println!("{:p}", pi1); // 0x7fffebf915a4 println!("{:p}", pi2); // 0x7fffebf915a4 let pi3 = &mut i; println!("{:p}", pi3); // 0x7fffebf915a4 let rpi3r = pi3 as *mut i32; // 生ポインタ println!("{:p}", rpi3); // 0x7fffebf915a4 生ポインタを使って書き換えると元の変数が書き換わるので確かにこれは変数の格納アドレス unsafe { println!("{}", *rpi3); // 123 *rpi3 = 456; } println!("{}", i); // 456 780 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 02:32:13.12 ID:0J8On0UY.net] ptr::eqで 781 名前：デフォルトの名無しさん [2021/08/20(金) 10:16:46.67 ID:Z3M3k8Ob.net] メンテナンス性最悪の自己満足オナニー言語 782 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 11:41:07.99 ID:0Iuc7w1s.net] >>766 それは逆 メンテナンス性は最も優れているプログラミング言語の一つ 783 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 13:42:55.60 ID:ZqTwz4dI.net] ポインタ関連の問題が所有権と参照で絶対に発生しないってのはデカイよね 784 名前：デフォルトの名無しさん mailto:sage [2021/08/20(金) 13:59:09.33 ID:lR6AxyIv.net] 将来の苦痛を先に解消できるのが良いのにな、不具合も絞り込みやすい メンテナンス性悪いってどの辺言ってんのか聞いてみたい

---

---

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

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