248(2): デフォルトの名無しさん [sage] 2024/06/18(火) 19:12:43.09 ID:1V33WRQR(1) AAS
団体がすべての主導権を握ってるならある日急にガラッと変えても誰も文句を言えない
実装が仕様です

C++や他の言語で規格がって言ってるのはコンパイラだけの問題じゃなくてコード利用してる側の都合でもある

348(2): デフォルトの名無しさん [sage] 2024/06/25(火) 07:47:56.32 ID:hXiD4muz(1) AAS
>>345
っ move semantics
っ RAII
っ SmartPointer(Rc)

764(4): デフォルトの名無しさん [sage] 2024/07/12(金) 00:13:00.93 ID:0qGKBZrU(1) AAS
>>753 754
トレイトの場合はLSPで言うsupertypeやsubtypeになるのは
トレイトを利用して作られるimpl Traitやtrait objectの型だよ

PartialOrd/PartialEqやFn/FnMut/FnOnceのように
supertrait/subtraitの関係にあるやつも便宜的にトレイトで互換性が語られるけど
実際はそれらを利用して作られる型についての話なのと同じなんだよ

850(1): デフォルトの名無しさん [sage] 2024/07/14(日) 10:33:24.33 ID:iqWqiKXK(6/10) AAS
そして万能型のfoldを呼び出す形で
このような特定の型の構造に依存しない抽象的なコードが
trait Iteratorに用意されているため使えます

fn reduce<F>(mut self, f: F) -> Option<Self::Item>
where
　Self: Sized,
　F: FnMut(Self::Item, Self::Item) -> Self::Item,
{
　let first = self.next()?;
　Some(self.fold(first, f))
}