Rust part14

**デフォルトの名無しさん** · 2022/02/12(土) 01:24:16.59

公式
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/

※Rustを学ぶ際に犯しがちな12の過ち
https://dystroy.org/blog/how-not-to-learn-rust

※Rustのasyncについて知りたければ「async-book」は必読
https://rust-lang.github.io/async-book/

※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/

※次スレは原則>>980が立てること

前スレ
Rust part13
https://mevius.5ch.net/test/read.cgi/tech/1636247099/

**デフォルトの名無しさん** · 2022/05/05(木) 20:09:56.60

>>789
i32とありジェネリックになりきってないぞ

**デフォルトの名無しさん** · 2022/05/05(木) 20:31:42.14

ジェネリック数値型ガイジ

**デフォルトの名無しさん** · 2022/05/05(木) 21:39:31.34

>>792
必要に応じて実装してもらえればいいかな？
impl FizzBuzz for f32 {
fn fizzbuzz(&self) -> FizzBuzzResult<&Self> {
match (self % 3.0, self % 5.0) {
(0.0, 0.0) => FizzBuzzResult::FizzBuzz,
(0.0, _) => FizzBuzzResult::Fizz,
(_, 0.0) => FizzBuzzResult::Buzz,
_ => FizzBuzzResult::Num(self),
}
}
}
fn main() {
for n in 1..101 {
println!("{}", (n as f32).fizzbuzz())
}
}
正直言うとfn fizzbuzz<T>(n: T) -> FizzBuzzResult<T>
みたいな関数を書けないかと思って先に試してみたけど
中でリテラル使って計算してるのが祟って書けなかった

**デフォルトの名無しさん** · 2022/05/05(木) 21:51:56.06

>>794
実装コードが異なる型は別実装でいい
しかし今回は同じ実装コードだろ
そういう時はジェネリックに書くのがRust

**デフォルトの名無しさん** · 2022/05/05(木) 23:39:39.98

>>795
stdだとマクロ使ってるケースが多い気がするが

**デフォルトの名無しさん** · 2022/05/06(金) 00:00:07.68

>>796
一般的にジェネリックにするためのトレイト境界となるパーツのトレイトは個別に型列挙してimplする必要がある
そこではマクロが有用
パーツとなるトレイトを利用してプログラミングすれば列挙の必要性がない

**デフォルトの名無しさん** · 2022/05/06(金) 00:18:49.47

パターンに定数を使うことは可能です。

fn baz(x : usize) -> usize {
const ZERO : usize = 0;
match x {
ZERO => 1,
_ => 2
}
}

しかしトレイト内の定数で型が確定しない状況ではそれがパターンに使える定数なのかどうかわかりません。
(のでエラーになります。)

trait foo {
const ZERO: Self;
fn bar(&self) -> usize {
match self {
Self::ZERO => 1, // エラーになる
_ => 2
}
}
}

このとき Self がパターンに現れることが出来る型であるという制限を付けることは可能ですか？

(>>794 の定数だけ impl すればメソッド自体は共通化できるかなと思って試みたけどこれをどうにもできなくて困った)

**デフォルトの名無しさん** · 2022/05/06(金) 01:50:09.59

そういう場合はif使いなさい

**デフォルトの名無しさん** · 2022/05/06(金) 06:31:06.34

>>798
その問題もTraitの関数でconstを返せないため現状では無理
だからmatchパターンでは使えないがifガードでなら使える
　
>>789のうちimpl FizzBuzzだけ以下に変更

use std::ops::Rem;
impl<T> FizzBuzz for T where T: Copy + From<u8> + PartialEq + Rem<Output=T> {
fn fizzbuzz(&self) -> FizzBuzzResult<&Self> {
let zero = T::from(0);
match (*self % T::from(3), *self % T::from(5)) {
(x, y) if x == zero && y == zero => FizzBuzzResult::FizzBuzz,
(x, _) if x == zero => FizzBuzzResult::Fizz,
(_, y) if y == zero => FizzBuzzResult::Buzz,
_ => FizzBuzzResult::Num(self),
}
}
}

これでu128でもf64でも動く

**デフォルトの名無しさん** · 2022/05/06(金) 11:54:43.12

でもそれi8では動かないだろ

**デフォルトの名無しさん** · 2022/05/06(金) 12:16:10.95

ざんね～ん
f64はStepを実装していないので(1.0)..=(100.0)できませ～ん
いっけね！

**デフォルトの名無しさん** · 2022/05/06(金) 12:52:49.36

>>802
え？
>>794のas f64方式で動きましたけど

**デフォルトの名無しさん** · 2022/05/06(金) 13:38:51.38

impl XXX for T で where にだらだら制約書くやつは変に制約強くなりがちだから実装の共通化が目的ならマクロ使った方が良い
実装の共通化のために継承を使うようなもので、目的に対して不適切な手段を使っているように思う

**デフォルトの名無しさん** · 2022/05/06(金) 14:08:08.87

パラノイアみたいにジェネリックジェネリック言う割にはそこだけ{integer}なのは気にしないんだ

FizzBuzzなんて>>781でいいんだよ
もっと意味のある仕事をしようぜ

**デフォルトの名無しさん** · 2022/05/06(金) 14:14:00.63

ジェネリックにするのも時間の無駄だが
traitにするのがそもそもガイキチ

>>781は無限ビジーループで論外
最低限でも関数の入出力は考えろ

**デフォルトの名無しさん** · 2022/05/06(金) 14:15:08.65

マクロ使うしかないんだけど、マクロの部分はエディタのサポートがちょっと弱くなるのが残念だよね

**デフォルトの名無しさん** · 2022/05/06(金) 18:19:49.06

FizzBuzz を過剰にジェネリックにする意味はないが、
ここではジェネリック化の手法を色々知るというのがトピックで FizzBuzz はただの例だよ。

**794** · 2022/05/06(金) 18:53:54.80

>>797
> トレイト境界となるパーツのトレイトは個別に型列挙してimplする必要がある

もしよかったら具体的にどういうことか教えてちょ
不勉強すぎてまったくついていけない

>>798
> 定数だけ impl すればメソッド自体は共通化できるかな

定数だけimplするとは？

>>800
（´･∀･`）ﾍｰ
勉強になりました
Fromってそうやって使うんやね

>>804
みんながどうやらマクロで解決してるらしいのは流れみて分かったが
具体的にはさっぱり分からんのでツライところ
おまえらって詳しくてスゴイわ

**デフォルトの名無しさん** · 2022/05/06(金) 19:10:43.41

>>809
> 定数だけimplするとは？

実際には動作しないけどコードで言えばこんなのを考えてた。
https://ideone.com/vSnAET

**デフォルトの名無しさん** · 2022/05/06(金) 19:18:41.78

>>810
なるほど
言わんとする意味はバッチリ分かりました
みんな色々考えるんだなｗ

**デフォルトの名無しさん** · 2022/05/06(金) 19:23:32.30

>>809
マクロでtraitを実装するためには以下みたいなマクロを書けば良い
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=15c040ac82d2d655a7b75492c17bc73f

マクロ定義の方法などは rust macro でググるといろいろ情報出てくるかと

**デフォルトの名無しさん** · 2022/05/06(金) 21:26:29.85

>>810
RemのOutput型を指定すればちゃんとE0158エラーになるよ

**デフォルトの名無しさん** · 2022/05/06(金) 22:25:22.98

>>812
> マクロでtraitを実装する

（´･∀･`）ﾍｰ
imple X for Yまるごとマクロの中に来るんやね
Rustのマクロについては調べたこと無かったけど
やっぱやりたいことはできるようになってそうで安心
ありがとうございました

**デフォルトの名無しさん** · 2022/05/06(金) 22:43:10.27

ジェネリックにしつつpattern match使いたいなら
(0, 0)じゃなくて(true, true)でmatchすればいいと思う
https://play.rust-lang.org/?edition=2021&gist=c83dbaa7166545941649bb279f2162bd

**デフォルトの名無しさん** · 2022/05/06(金) 23:24:33.89

>>815
それいいな。
先にゼロと比較してから true にマッチさせる部分よりもゼロを作るテクニックのほうが面白いと思った。

**デフォルトの名無しさん** · 2022/05/06(金) 23:27:51.66

>>801
i8で動かない原因はFromを使っているためなのでTryFromを使えばi8でも動く

use std::convert::TryFrom;
use std::ops::Rem;
use num::CheckedAdd;

fn fizzbuzz<T>() -> impl Iterator<Item=FizzBuzzResult<T>>
where T: Copy + PartialEq + CheckedAdd + Rem<Output=T> + TryFrom<usize>,
{
let [zero, one, three, five] = [0, 1, 3, 5]
.map(|n| T::try_from(n).ok().unwrap());
itertools::unfold(zero, move |n|
n.checked_add(&one).map(|new| {
*n = new;
match (new % three, new % five) {
(x, y) if x == zero && y == zero => FizzBuzzResult::FizzBuzz,
(x, _) if x == zero => FizzBuzzResult::Fizz,
(_, y) if y == zero => FizzBuzzResult::Buzz,
_ => FizzBuzzResult::Num(new),
}
})
)
}

fn main() {
for f in fizzbuzz::<i8>() {
println!("{f}");
}
}

ちゃんとi8の上限127で停止

**デフォルトの名無しさん** · 2022/05/07(土) 00:46:09.52

やるじゃん
なぜかマクロを嫌うならそれでいいね

**デフォルトの名無しさん** · 2022/05/07(土) 01:43:00.17

>>818
すいません
マクロで>>817を実装可能なのですか？

**デフォルトの名無しさん** · 2022/05/07(土) 02:27:17.25

どっちがいいかどうかはともかくとして、817が使ったであろうnum-traitsのcrateのCheckedAddもマクロで実装されてるよん
こういうのはマクロになりがち

**デフォルトの名無しさん** · 2022/05/07(土) 03:15:28.92

どちらも正しい
・基本的な性質のTraitは型を列挙してimplする　→マクロになる
・それら以外のTraitは基本Traitを組み合わせる　→Trait境界の列挙となる

**デフォルトの名無しさん** · 2022/05/07(土) 03:24:48.03

>>819
>>817 ではイテレータになってたから全然同じじゃないけど、こういうのを言いたかった
マクロを使うことでTrait境界を要求しない実装ってこっちゃね

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=dfc41224af72ac88ab0e8b716a4d4a64

**デフォルトの名無しさん** · 2022/05/07(土) 03:48:53.73

>>822
ところで>>817のイテレータはマクロでできる？

**デフォルトの名無しさん** · 2022/05/07(土) 05:13:50.57

>>823
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=af4aee4ee627c2163d78714f82976a8f

今日の学び: RangeFromからnext()し続けるとオーバーフローでpanic!する

**デフォルトの名無しさん** · 2022/05/07(土) 08:35:04.90

現状はジェネリックじゃ実現できない事が多々あるから性能面を重視するならマクロになる
数値系は特に

**デフォルトの名無しさん** · 2022/05/07(土) 10:48:47.74

型パズルオナニストきついなぁ
長いコードをレスに直接貼りたがる性癖どうにかならんの？

**デフォルトの名無しさん** · 2022/05/07(土) 11:34:33.57

型パズルとか言ってるやつ
トレイト境界を理解できていないのか

**デフォルトの名無しさん** · 2022/05/07(土) 12:04:47.91

>>825
マクロとtraitで性能が変わりうるのってどういう時？
traitだと回りくどい記述になりがちということ？

**デフォルトの名無しさん** · 2022/05/07(土) 12:16:47.05

>>828
BigIntは参照で渡したいけどプリミティブ数値型は値で渡したい
traitだと値か参照かどっちかにしかできない、とかじゃねーの知らんけど

**デフォルトの名無しさん** · 2022/05/07(土) 13:05:53.65

>>827
トレイト境界を理解できないやつがいると思っちゃうところが相当ヤバいんですけど
さすオナ

**デフォルトの名無しさん** · 2022/05/07(土) 14:47:11.23

>>829
そういうときは Cow を使うもんじゃねーの
しらんけど

**デフォルトの名無しさん** · 2022/05/07(土) 16:45:29.23

>>828
const

**デフォルトの名無しさん** · 2022/05/07(土) 16:47:29.20

マクロとトレイトじゃなく
マクロとジェネリックの比較

**デフォルトの名無しさん** · 2022/05/07(土) 17:58:20.41

>>826
Rustに限った話じゃないけど、playground系で貼らないのは自己顕示欲の率直なあらわれだと思う

**デフォルトの名無しさん** · 2022/05/07(土) 18:06:27.34

辿れなくなる (サービスが終わったり障害が起こる) 可能性もあるから短いものはなるべく直接貼るようにしてる。
大抵は収まる大きさにならないけど。
5ch 自体が見れない場合はしょうがないんだが、話題に付随するコードが見れないときはだいぶんイラッとするぞ。

**デフォルトの名無しさん** · 2022/05/07(土) 18:29:03.69

https://play.rust-lang.org/が落ちてる場合はhttps://play.integer32.com/でもできる
Rust固有の機能が要らなければideone.com等のサービスも無数にある

**835** · 2022/05/07(土) 18:32:31.81

>>836
すでに投稿されてるものを読む側の話なんだが……。

**デフォルトの名無しさん** · 2022/05/07(土) 18:55:21.90

俺も貼れるなら直貼りするわ
いちいち見に行くのも面倒だろうし
そもそも自己顕示欲ないなら貼らないしw

**デフォルトの名無しさん** · 2022/05/07(土) 19:11:36.15

>>835
Githubより5chを信頼してるんだなwww
さすオナ

**835** · 2022/05/07(土) 19:12:51.63

>>839
話題が見れないときよりも話題は見れるのにコードが見れないほうがイラッとするという話なんやが。

**デフォルトの名無しさん** · 2022/05/07(土) 19:25:31.02

ちゃんとコンパイルとrustfmt通したもの貼りたいからplayground使う
スマホからも確認できて便利だよ

**デフォルトの名無しさん** · 2022/05/07(土) 19:59:43.62

勝手にイラついてろ

**835** · 2022/05/07(土) 20:14:55.20

>>842
うん。勝手にいらついてるよ。
でも俺は誰かをいらつかせないためになるべくレス内にコードを書くって話。

**デフォルトの名無しさん** · 2022/05/07(土) 21:14:52.07

独りよがりじゃない直貼りは別にいいと思うよ
>>780や>>781くらいなら全く気にならない
>>785もまあ可

ってアウトなの一人だけじゃん

**デフォルトの名無しさん** · 2022/05/08(日) 00:42:10.94

5chに貼られてインデントもないコードは読みづらいし、結局コピペして整形しなおすことになるんだから、最初からplaygroundとかを使って貼れよ
もちろんちゃんとコンパイルが通って実行可能な状態でな。
言及もせずにcrateやunstable機能使われてると、なかなか実行確認できずに面倒だからな

それが閲覧者のことを考えてる、ってもんだ
サービスダウンが心配なら、複数のサービスに貼り付けてくれればいいぞ、まあそこまではいらんけど

**デフォルトの名無しさん** · 2022/05/08(日) 00:49:23.57

直貼り辞めてくれない？
いらつくから

**デフォルトの名無しさん** · 2022/05/08(日) 00:51:23.20

たしかにインデントもないウンコな直貼りは約1名だけか

**デフォルトの名無しさん** · 2022/05/08(日) 01:34:10.66

ウェブブラウザだとインデント消えるのか
playground使った方がいいな

**デフォルトの名無しさん** · 2022/05/08(日) 01:36:52.75

>>847
妄想？
インデントが無いコードをこのスレで見たことないんだが

**デフォルトの名無しさん** · 2022/05/08(日) 01:47:03.57

連続した半角スペースがちゃんとインデントとして表示されるのは一部の専ブラとか使ったときだけ
通常のウェブブラウザではHTMLとして処理されて消える

**デフォルトの名無しさん** · 2022/05/08(日) 01:50:38.18

>>850
ところが>>847は、一人だけインデントがない、との主張だからそのケースとは違う

**デフォルトの名無しさん** · 2022/05/08(日) 02:08:11.23

主張だなんて大げさな

ウンコが約1名いる
そのウンコはインデントしない
そのウンコは直貼りする

それだけの話だろ

**デフォルトの名無しさん** · 2022/05/08(日) 02:15:49.76

スレの最初から見たけど全てのコードがインデントされてるな
1名だけインデントしていないとか言い出す人は何らかの精神病なんだろうけど

**デフォルトの名無しさん** · 2022/05/08(日) 02:52:18.44

二度手間だから最初からPlaygroundに貼りませんか？って話なのに
ウンコが何人いるかなんてどうでもいい話ばかり気にするのね

**デフォルトの名無しさん** · 2022/05/08(日) 03:49:22.98

面白そうだから次から直貼りする

**デフォルトの名無しさん** · 2022/05/08(日) 03:50:49.83

頑なにプレグラ使わないのはなんで？

**デフォルトの名無しさん** · 2022/05/08(日) 04:00:12.11

いちいち見に行くの面倒だからここでいいんじゃね
でも使いたい人を責めることはしないよ

**デフォルトの名無しさん** · 2022/05/08(日) 04:53:51.34

>>846
>>842

**デフォルトの名無しさん** · 2022/05/08(日) 07:15:54.25

どこの世界でも同じだが
特定の意見や特定の方針を他人に押し付ける人やイラつく人は嫌われる

**デフォルトの名無しさん** · 2022/05/08(日) 07:38:34.92

ブラウザにでっち上げた言語を無駄に抱き合わせることは、押し付けじゃないの?

**デフォルトの名無しさん** · 2022/05/08(日) 07:39:03.28

ブラウザごと干し上げられそうだけどねw

**デフォルトの名無しさん** · 2022/05/08(日) 09:09:22.14

ウンコード直貼りと自演擁護はいつもの複製おじさんだから
適当な所で切り上げないと時間の無駄だよ

**デフォルトの名無しさん** · 2022/05/08(日) 09:37:03.03

>>862
> 自演擁護
これまたでかいブーメランだな、久々に見たわ
で、インデントされてない1名ってどれ？w

**デフォルトの名無しさん** · 2022/05/08(日) 09:52:04.06

うんこ等の汚い単語を使うのはいつものキチガイだから無視するのがよいかと

**デフォルトの名無しさん** · 2022/05/08(日) 10:27:16.57

>>863
知らんがなw
直貼りでインデントされてるコードなんて見当たらない

**デフォルトの名無しさん** · 2022/05/08(日) 10:40:24.72

せめて技術的な話でやりあってくれめんすｗ
煽りオンリーは時間の無駄でつよ

**デフォルトの名無しさん** · 2022/05/08(日) 11:27:48.48

貼られたソースコードはクリック一つで自分の環境やplayground等に移せるようにしている
逆にplayground等に貼られたソースコードは自動引用表示してる
どちらもほぼ同じ表示となるため両派とも自由に好みのスタイルで貼ってくれて構わない

**デフォルトの名無しさん** · 2022/05/08(日) 14:12:20.46

インデント付きで表示される5chブラウザが存在するの！？

**デフォルトの名無しさん** · 2022/05/08(日) 14:46:10.02

最近はjaneでも連続半角スペースが表示されるようになってる
かなり短いコードじゃないと見にくいが

**デフォルトの名無しさん** · 2022/05/08(日) 15:16:56.45

>>868
chmate: https://i.imgur.com/LPDyEpr.jpg
Chrome: https://i.imgur.com/JUzhSQn.jpg
てか、どんなブラウザで見てんのよ

**デフォルトの名無しさん** · 2022/05/08(日) 16:00:44.57

>>870
ウンコ・オブ・ウンコを撮るあたりはさすがオナニスト

**デフォルトの名無しさん** · 2022/05/08(日) 16:41:53.28

おまえらrustfmt使ったことないのか？
クリックで1つで呼び出せるようにしてるので
インデントが崩れていようが元が変なインデントだろうが綺麗に見やすく表示できてるぞ
他者に文句を言う前に自分で技術で解決しろ

**デフォルトの名無しさん** · 2022/05/08(日) 16:41:56.65

直貼りやインデントは置いといて
コードの中身の技術的な面で何がウンコなのかを書いてくれ

**デフォルトの名無しさん** · 2022/05/08(日) 17:33:44.38

おっしゃる通り
技術的な議論だけにしていただきたい
表示問題はrustfmt自動適用

**デフォルトの名無しさん** · 2022/05/08(日) 17:54:41.31

自動適用するuserscriptなりextensionなり作ったの？

**デフォルトの名無しさん** · 2022/05/08(日) 17:55:41.35

めんどくせーから5chでシンタックスハイライトとrustfmtとコード実行できるようにしとけ

**デフォルトの名無しさん** · 2022/05/08(日) 18:08:39.11

各自の環境に合わせて様々な対応方法があるな
Webブラウザならブラウザ拡張でもいいしブックマークレットでもよい
専ブラは多種あり各々で可不可が違うのでノーコメント
自作ブラウザなら当然楽勝
ところでrustfmtは標準入出力かファイルだが公開ウェブサービスある？
無ければhyperで作ってローカルに動かして使う

**デフォルトの名無しさん** · 2022/05/08(日) 18:16:12.83

その次善策としてplaygroundで貼るという手法があります

**デフォルトの名無しさん** · 2022/05/08(日) 18:25:54.88

俺はウェブブラウザで見てるけど間にサーバを挟んでいるのでrustfmtもそこで呼び出すことにする
playgroundからのコード自動引用もやりたいが貼られたURLからrustコードを取ってくるにはどうすればいい？？

**デフォルトの名無しさん** · 2022/05/08(日) 19:52:50.48

例えば>>815ならばJSON
https://play.rust-lang.org/meta/gist/c83dbaa7166545941649bb279f2162bd

**デフォルトの名無しさん** · 2022/05/08(日) 21:46:56.59

「独りよがりの長いコードを繰り返し直貼りするな」
「見る側がフォーマットすればいいだけ」

なんじゃこの流れ
フォーマッタは汚物浄化装置じゃないぞ

**デフォルトの名無しさん** · 2022/05/09(月) 01:40:30.37

プログラム板でコードが貼られて困る人はいないだろうけど
どうしても欲しい人はコード表示on/offボタンを付ければ良さげ
いずれにせよ各個人の好みの問題は各個人で解決すべき

**デフォルトの名無しさん** · 2022/05/09(月) 02:58:02.40

オナニーうんコードが問題であって直貼りが問題じゃないんですよ

**デフォルトの名無しさん** · 2022/05/09(月) 03:29:00.32

技術面に触れないと突っ込まれそうなので、>>817についての個人的な感想ですが

Tのトレイト境界に関して、数が多くなるのは仕方の無いケースもあるが、この例では単に数が多いだけでなく、
CheckedAdd等の内部実装に踏み込んだトレイトまで指定されていて、その点が良くないと思います
例えばCheckedAddを実装していなくてもFizzBuzzできる型に対して、同じ関数を使うことができない
またCheckedAddを実装しているがより効率の良いアルゴリズムで実装できる型の場合でも、この関数では効率の悪いアルゴリズムで処理するしかない
ので>>822のようにFizzBuzzできるかどうかをtraitとして持たせ、実装詳細は各型に任せるのがよいと思います

こんなことで長文書くのも馬鹿馬鹿しいね

**デフォルトの名無しさん** · 2022/05/09(月) 03:47:02.18

>>884
その主張は全て間違い
checked addしなければオーバーフローしてプログラムが破綻するだけ
そしてchecked addはCPUレベルではオーバーフローフラグを見てるだけなのでコストゼロ
さらにCheckedAdd traitは任意の型に実装可能

**デフォルトの名無しさん** · 2022/05/09(月) 10:52:54.10

>>885
破綻しないよww
CheckedAddに依存する必要性全くないじゃん

**デフォルトの名無しさん** · 2022/05/09(月) 11:04:15.31

>>884
そのFizzBuzzイテレータ>>817を
checked_add()使わずに効率的にプログラミングするのは不可能だと思います

**デフォルトの名無しさん** · 2022/05/09(月) 11:05:16.81

>>885
Wrapping<T>を使って無限に返すイテレータを返して利用者側でtakeさせる設計でもいいよね

**デフォルトの名無しさん** · 2022/05/09(月) 11:09:02.87

>>887
checked_addを使うか否かではなく
T: CheckedAddという強い制約の必要性について聞かれてるんだと思うよ

**デフォルトの名無しさん** · 2022/05/09(月) 11:41:45.48

Rustにおいてchecked_add (及び同等で返し方が異なるだけのoverflowing_add) は数値を扱う上でオーバーフローを起こさせないための必須の存在
そしてchecked_addは整数型ならばadd直後のCPUのoverflowフラグを見るだけだからオーバーフローを検出するために最もコストが低く済む存在
だからその手のものを素直にコーディングすれば必ず登場
そのtrait CheckedAddを使うのは違和感なく自然に思えるが他にどんな手段があると主張している？？

**デフォルトの名無しさん** · 2022/05/09(月) 12:15:35.42

「ゼロからその型の最大値まで一個づつたどるイテレータ」
なんてもんに固執してるあたりがまずさいしょに珍妙

順序や範囲は他の理由で決定させて十分だと思う人は
イテレータとfizzbuzzをきれいに分離して考えてる

**デフォルトの名無しさん** · 2022/05/09(月) 12:26:48.80

>>891
その件は最初にFizzBuzzの話が出てきたときに終わっていて単なる例にすぎない
話が分かりにくいならばもっと単純な例としてフィボナッチ数列イテレータでどうかな
ご存知だと思うけど足し算するだけの数列ね