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/ 596 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 09:41:32.99 ID:u04QFiKf.net] >>576 全部自分で作れるんならね 既存のライブラリとかOSのAPIとかの制限は自分じゃどうにもならん 597 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 09:51:21.46 ID:u04QFiKf.net] >>577 .with使うのが面倒 .borrow_mutもね そのまま読み書きしたい そもそもstaticな時点で生存期間のチェックなんていらないんじゃないかと 598 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 14:05:16.63 ID:mSeKT5En.net] >>585 可変参照が複数同時に存在すると即UBだから safe なコンテキストでは with や borrow は必須にせざるを得ないだろうね RefCell とかと同じ 599 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 15:05:08.24 ID:QyXjq7Ed.net] みんなありがとう、なんとなく再帰できたよ。やり方あってるかわからんけども 以下お試しプログラム ttps://paiza.jp/works/mondai/dp_primer/dp_primer_stairs_boss use std::*; fn main() { 　let mut str = String::new(); 　io::stdin().read_line(&mut str).unwrap(); 　let mut nums0: Vec<i32> = str.trim().split(" ").map(|it| it.parse().unwrap()).collect(); 　let mut test = Test { nums: nums0 }; 　println!("{}", test.calc(0)); } pub struct Test { 　nums: Vec<i32>, } impl Test { 　pub fn calc(&mut self, id: i32) -> i32 { 　　if id == self.nums[0] { return 1; } 　　let mut res0: i32 = 0; 　　for i in 1..=3 { 　　　if id + self.nums[i] <= self.nums[0] { 　　　　res0 += self.calc(id + self.nums[i as usize]); 　　　} 　　} 　　　return res0; 　　} } 600 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 15:09:12.73 ID:QyXjq7Ed.net] ちな、同じプログラムをkotlinで fun main() { 　var numList = readLine()!!.split(" ").map { it.toInt() }.toIntArray(); 　fun calc(id: Int): Int { 　　if (id == numList[0]) return 1 　　var res: Int = 0 　　for (i in 1..3) { 　　　if (id + numList[i] <= numList[0]) 　　　　res += calc(id + numList[i]) 　　} 　return res; 　} 　println(calc(0)) } 601 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 15:34:52.35 ID:yd00h36W.net] >>587 このケースだとmutの必要もないし 単に`fn calc(id:i32, nums:Vec<i32>) -> i32`にすればよくない？ 602 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 16:13:38.39 ID:QyXjq7Ed.net] とりあえずできるかどうか適当に書いたものだからｗ あと、これはindexだけを順繰りに送っていけばいいので引数1個でいいけど、 複雑な問題だとindexに、3次元配列の添え字として3つ、その配列本体、比較する配列の文字列とか、 さらにメモ化するためには、メモする配列もとか、めっちゃ引数がもの凄くなることがあるのね だから、なんとかグローバル変数にアクセスできないかと思って 逆に構造体に全部の参照したい変数をまとめて、それだけを持ち回るとかもいいかもｗ 603 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 22:09:35.86 ID:OZBv7QiC.net] 再帰使うならもっと再帰っぽく書いてくれ numsの初項とそれ以降の数値の意味が全く違うなら同じ変数に入れないでくれ 書き捨てや試行錯誤の途中ですらやらないぞこんなの 604 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 22:40:39.77 ID:OOQ3UOoB.net] 競プロってそういうもんだし…… 605 名前：デフォルトの名無しさん mailto:sage [2021/08/10(火) 22:43:09.06 ID:QyXjq7Ed.net] >numsの初項とそれ以降の数値の意味が全く違うなら同じ変数に入れないでくれ 確かにそうなんだが、一度配列にいれちゃったからいいと思ってｗ そして十分に再帰っぽいと思うけどなあ ↓スキルがありそうな人のご意見なので、もし良ければ再帰での美しい実装を披露して欲しい ↓参考にしたいのでよろしくお願いします ttps://paiza.jp/works/mondai/dp_primer/dp_primer_stairs_boss 606 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 00:14:29.43 ID:KIBLBTNR.net] スマン競プロなの失念してた。ならしょうがないゴメンよ 607 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 01:42:26.90 ID:z0BKpdQB.net] dpに関しては再帰使わない方が計算量少なそう 608 名前：デフォルトの名無しさん [2021/08/11(水) 02:02:46.71 ID:umCpXnDX.net] >>592 競技プログラミングが何の実用的な実力に結びつかず、全く役に立たない遊びに過ぎない、と言われているのはそこですね 609 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 02:13:25.09 ID:haNghl2/.net] 再帰でメモ化したバージョンとループでボトムアップにしたバージョン https://play.rust-lang.org/?version=stable&mode=release&edition=2018&gist=d1b9bd1a085e334225a253ed9360c2e7 テストはしてない 610 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 02:37:36.02 ID:z0BKpdQB.net] メモ化するならグローバル変数(もしくは引数で渡す)にした方が良いんじゃないの？ 611 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 02:55:43.83 ID:oifoaA/x.net] >>596 競プロは戦闘機でいうところのアクロバット技術と同じようなものだな アクロバット飛行はときに見るものを魅了するし部分的には実戦に通じるような高度な技術も必要だが それ自体は実戦では役にたたず実戦でアクロバット飛行のような飛び方をしようものなら撃墜される 612 名前：デフォルトの名無しさん [2021/08/11(水) 06:37:52.46 ID:MmQ+sLSI.net] >>593 やってみた 入出力例のassertも通ったけどこれでいい？ fn main() { 　assert_eq!(17, count(10, &vec![2, 3, 4])); } fn count(n: i32, abc: &[i32]) -> i32 { 　if n < 0 { 0 } else if n == 0 { 1 } else { abc.iter().map(|a| count(n - a, abc)).sum() } } 613 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 17:20:51.95 ID:haNghl2/.net] >>598 そだね 少し数が増えるとめちゃ効率悪かったわ 614 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 18:22:13.11 ID:iayIuizo.net] >>600 おお　与えられた数値をmapのなかでラムダ式で計算して、リストのsumするところが素晴らしいｗ この場合はカウントだからsumだけど、最小値のminとか最大値のmaxとかでも利用できそうだ 615 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 20:10:22.26 ID:iayIuizo.net] >>600 いま試しにやってみたけど、メモ化は必須だから、その美しさは保つことができなかった(´･ω･`) 616 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 20:23:36.62 ID:haNghl2/.net] メモを連れ回す方式に修正した borrowだと面倒なのでmoveにしたがRefCell使うともう少し速くなったりするのかもしれない https://play.rust-lang.org/?version=stable&mode=release&edition=2018&gist=a0cd25619216cbe4dcdab6c51b7301ad 617 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 20:39:47.21 ID:zSuiQf57.net] 競プロって計算量を落とせるアルゴリズムを考えることがポイントだと思うんだけど 実装言語の差異はどれくらい影響してくるの？ 618 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 20:46:12.70 ID:iayIuizo.net] >>605 あくまで参考だけど、こういうのがあるよ ttps://twitter.com/chokudai/status/1325981178730438657 ただ3次元配列になると途端に速度が落ちるとか、そういうのもあるので鵜呑みにはできないけど傾向ってことで あと、各言語の時間制限をしているサイトもある ttps://paiza.jp/guide/language.html この各言語の時間制限をみると、運営が考えている言語ごとの速度の違いが大まかにわかる (deleted an unsolicited ad) 619 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 21:01:22.52 ID:+LwnMsCS.net] 競プロやっても日本の情報処理産業の国際的地位向上に結びつく気がしない 620 名前：デフォルトの名無しさん mailto:sage [2021/08/11(水) 21:19:11.26 ID:iayIuizo.net] そら趣味だもの。仕事とは関係ない ただ、言ってる論理構成が、某小学生youtuberが義務教育なんか 必要ないって言ってる理屈と同じだなと感じる 621 名前：デフォルトの名無しさん [2021/08/12(木) 00:24:49.53 ID:pB2NXWq+.net] >>603 メモ化するならこう fn main() { 　let mut input_line = String::new(); 　std::io::stdin().read_line(&mut input_line).unwrap(); 　let input_numbers: Vec<i32> = input_line.split_whitespace().filter_map(|s| s.parse().ok()).collect(); 　let n = input_numbers[0]; 　let abc = &input_numbers[1..]; 　let mut memo: Vec<i32> = vec!(1); 　memo.resize((n + 1) as usize, -1); 　println!("{}", count(n, abc, &mut memo)); } fn count(n: i32, abc: &[i32], memo: &mut [i32]) -> i32 { 　abc.iter().map(|a| { let m = n - a; if m < 0 { 0 } else { if memo[m as usize] == -1 { memo[m as usize] = count(m, abc, memo); }; memo[m as usize] }}).sum() } 622 名前：デフォルトの名無しさん mailto:sage [2021/08/12(木) 02:22:16.40 ID:WcppFbZK.net] >>608 むしろ義務教育でyoutube撮影方法教えるべきだとか主張するアホと一緒だろ 623 名前：デフォルトの名無しさん mailto:sage [2021/08/12(木) 04:12:25.44 ID:/wS1lumL.net] >>608 資格主義や学歴主義もだけど戦略不在でそれ自体が目的化しているように感じる 手段が目的化して迷走している事例は腐るほどあるような 624 名前：デフォルトの名無しさん mailto:sage [2021/08/12(木) 14:49:35.08 ID:xCjM/E2I.net] 競プロはある種のパズル パズルを解いたり競ったりを楽しむのもの パズルをたくさん解くことで仕事のプログラミングに活きる部分がなくも無いが その二つを同一視してる人は有害 625 名前：デフォルトの名無しさん mailto:sage [2021/08/12(木) 15:56:43.60 ID:id/zPgju.net] 同一視してるというか 同一視された方が有利になれる人が同一視するように仕向けている それ誰よっていうと、サロン屋や人材屋 626 名前：デフォルトの名無しさん mailto:sage [2021/08/12(木) 18:29:44.63 ID:/wS1lumL.net] ○○検定とかも同じ臭いがする 627 名前：デフォルトの名無しさん mailto:sage [2021/08/12(木) 18:49:01.38 ID:5/ThobAf.net] キャベツ？ 628 名前：デフォルトの名無しさん [2021/08/13(金) 02:12:49.72 ID:nWHbUrjv.net] Rustlingsの問題なんだけど、これの37行目のmutってなんで必要なの？？？ https://ideone.com/41tBgy 参照するアドレスが変わるわけでもないのに・・・・どう理解すればいいものなんだろう・・・・ それと、ある構造体を構成するメンバーって、全部がmutか否かの二択になっちゃうわけ？混ぜれないの？？？ 629 名前：デフォルトの名無しさん [2021/08/13(金) 02:51:10.09 ID:FruLH7M6.net] >>616 え？どこに参照が出てきているの？構造体そのものでしょ そして直後に構造体の中を書き換えているからmutが必要 そして構造体のメンバーはバラバラに生死貸借が起きることはないからメンバー個別の指定の必要性はない 630 名前：デフォルトの名無しさん mailto:sage [2021/08/13(金) 02:55:04.80 ID:E7XaaQej.net] 38,39でその構造体のメンバーに代入するのに必要 631 名前：デフォルトの名無しさん mailto:sage [2021/08/13(金) 11:51:53.45 ID:FT9FF6Ap.net] >>616 1. let mut x = create_order(); 2. let mut x = &create_order(); 3. let y = &mut create_order(); 4. let mut y = &mut create_order(); それぞれ何がmutableなのか違う 「参照するアドレスが変わるわけでもないのに」ってのは3番目をイメージしてると思われる 632 名前：デフォルトの名無しさん [2021/08/13(金) 18:27:47.71 ID:fDsS9u/P.net] let mut your_name = Some(String::from("変更前")); match robot_name { Some(ref mut name) => *name = String::from("変更後"), None => (), } println!("君の名は。: {:?}", your_name); 633 名前：デフォルトの名無しさん mailto:sage [2021/08/14(土) 04:36:12.68 ID:ndgh8Ezu.net] 初歩的な申し訳ないんだが let x = "hello".to_string(); // convart text to a string テキストを文字列に変換 let y = String::from("hello"); // get text directly テキストを直接取得 これの違いがわかりません やってること同じですよね？ 出力の違いが出る例とかあれば教えてもらえないでしょうか？ 634 名前：デフォルトの名無しさん [2021/08/14(土) 06:01:03.88 ID:AK8F+nV0.net] to_stringはinlineでString::fromしてるから全く同じ impl ToString for str { #[inline] fn to_string(&self) -> String { String::from(self) } } 635 名前：デフォルトの名無しさん mailto:sage [2021/08/14(土) 06:06:43.67 ID:ndgh8Ezu.net] >>622 早朝からレス感謝 もやもやがとれて勉強に集中できそうです ありがとうございました 636 名前：デフォルトの名無しさん [2021/08/15(日) 13:09:40.85 ID:QO3tNTj5.net] 社員120人が原則テレワーク、「在宅勤務を語ろうチャット」で不安解消　ピクスタ流の働き方 https://www.itmedia.co.jp/business/articles/2103/04/news016.html 正社員ゼロ､会議ゼロのベンチャーが､急成長している驚きの秘密 https://president.jp/articles/-/39405 テレワーク率95％をキープ！　“全員原則テレワーク企業”が導入した「Uber手当」「Zoom飲み会代」 https://www.itmedia.co.jp/business/articles/2102/26/news024.html 驚異のテレワーク率「9割超」　営業利益16倍の企業は、生産性が「下がった」社員をどのようにケアしたのか https://www.itmedia.co.jp/business/articles/2102/04/news010.html Withコロナ時代の営業改革とは？アステリアが説く「ワークログ」と「マイクロラーニング」の重要性 https://saleszine.jp/article/detail/1677 出社率100％→50％　オフィスレイアウトの変更例　社員が「オフィスに行く理由」を考慮せよ https://www.itmedia.co.jp/business/articles/2101/19/news122.html キャンピングカーでテレワーク　京急などが実証実験 https://www.itmedia.co.jp/business/articles/2102/17/news112.html コロナ禍で働き方が激変　これからのシェアオフィスに必要なものとは？ https://www.itmedia.co.jp/business/articles/2103/09/news002.html 【サンフロンティア不動産】〜通うオフィスから“集うオフィス”へ アフターコロナ時代の働き方を提案するワークプレイス「LIT（リット）」2021年５月オープン https://prtimes.jp/main/html/rd/p/000000013.000069250.html 637 名前：デフォルトの名無しさん [2021/08/16(月) 09:44:36.63 ID:MZWGbmHz.net] loop式はbreakで指定した値を返せるのに なぜwhile式やfor式は値を返せないの？ Option型にしてbreakで値を指定した時だけSome(値)としてそれ以外はNoneとすれば便利なのに 638 名前：デフォルトの名無しさん mailto:sage [2021/08/16(月) 10:30:33.78 ID:rx7L9F9W.net] (while true のような実質無条件ループを除き)条件付きループをbreakで抜けるのは可読性を下げる要因になるから一般的にはRustに限らずできるだけ避けるだろ 悪い作法を推奨するような機能は付けるべきではない 639 名前：デフォルトの名無しさん [2021/08/16(月) 10:39:16.03 ID:WTBg47DG.net] ほぉたしかにそうゆうのあれば便利な時もありそう macroで似たような物は作れそうな気がする たしかにlispとかでもwhileはnil returnだな(´・ω・｀) 640 名前：デフォルトの名無しさん [2021/08/16(月) 12:47:44.44 ID:meTevnZp.net] >>626 forでお目当てのものが見つかったらその時の値を欲しい時 当然そこで打ち切りたいから普通にbreakすると思うが君は回り続けるのかね？ 641 名前：デフォルトの名無しさん mailto:sage [2021/08/16(月) 14:09:14.90 ID:ScFkjf4y.net] >>628 打ち切りたいなら、take_whileの結果を対して回せばよくね？ 642 名前：デフォルトの名無しさん mailto:sage [2021/08/16(月) 14:32:54.40 ID:ebJKRLr3.net] 手間かけて機能拡張するほどのメリットがないってことだろうね https://github.com/rust-lang/rfcs/issues/1767#issuecomment-292678002 643 名前：デフォルトの名無しさん [2021/08/16(月) 16:29:22.27 ID:RqqPeHPy.net] つまりforやwhileではなくiterを使うかloopを使えってことか 644 名前：デフォルトの名無しさん mailto:sage [2021/08/16(月) 16:36:53.53 ID:iL7TnNF0.net] awaitとか ? が絡むとループ使いたい場合はあるかもね 645 名前：デフォルトの名無しさん [2021/08/16(月) 16:57:08.35 ID:QDTL5fKB.net] >>632 それらメソッドチェーン部分ではもちろん使えるけど iter系で指定するクロージャの中でも使えるんだっけ？ 646 名前：デフォルトの名無しさん mailto:sage [2021/08/16(月) 20:57:35.53 ID:iL7TnNF0.net] >>633 Item が Option や Result なら ? は使えるけど await は async fn か async block の中でしか使えないからほぼ使えないと思ってよさそう 647 名前：デフォルトの名無しさん [2021/08/16(月) 22:05:08.22 ID:bBW7ChkS.net] featuresは？ 648 名前：デフォルトの名無しさん [2021/08/16(月) 23:25:05.01 ID:e18AJ9DT.net] >>634 ?の方だけど、NoneやErrを除外してSomeやOkの皮を外すのはfilter_map使わないとメンドイね 例えばこんな感じで「?」はクロージャ内で使えた println!("{}", std::env::args().filter_map(|x| std::char::from_u32(x.parse::<u32>().ok()?+110)).collect::<String>()); 実行結果 $ cargo run 4 test 7 5 987654321 6 rust 649 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 01:06:37.74 ID:diXkc4zq.net] >>636 これは filter_map よりも map().collect::<Result<String, _>>() の方がよさそう 650 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 01:42:37.78 ID:2Xo4qCNa.net] 全く関係ないけど、 for x in v には、 for x in &v for x in &mut v for x in v.iter() のようなバリエーションもあるようだけど、 for &x in v のような書き方も出来るの？ あと、v と書いても v.iter() の省略なの？ この辺の話はどこに書いてる？ 651 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 01:44:24.62 ID:2Xo4qCNa.net] >>638 ついでに、 let x = &y; は、 let &x = &y; let &x = y; みたいに書くことも出来るの？？？ 652 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 01:46:10.93 ID:yPn/BtRt.net] >>638-639 左辺と右辺はパターンマッチで対応するメカニズムになっている。 653 名前：デフォルトの名無しさん mailto:sage [2021/08/17(火) 02:15:00.92 ID:Ok9gkDKS.net] >>638 forの展開はこ� 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言語のみしか使えないようなプログラマが有能だとはとても思えないが 実際にそういう人はいるけど融通効かないし生産性が高いとも思えない 所詮ドカタじゃないの

---

---

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

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