2(4): デフォルトの名無しさん [sage] 2024/05/27(月) 06:42:29.23 ID:T4AFD1f4(2/3) AAS
Rust The Book (日本語版)
外部ﾘﾝｸ:doc.rust-jp.rs
Rust edition guide (日本語版)
外部ﾘﾝｸ:doc.rust-jp.rs
Rust by example (日本語版)
外部ﾘﾝｸ:doc.rust-jp.rs
Rust cookbook (日本語版)
外部ﾘﾝｸ:uma0317.github.io
Rust API guideline (日本語版)
外部ﾘﾝｸ:sinkuu.github.io
Rust nomicon book (日本語版)
外部ﾘﾝｸ:doc.rust-jp.rs
Rust async book (日本語版)
外部ﾘﾝｸ:async-book-ja.netlify.app
Rust WASM book (日本語版)
外部ﾘﾝｸ:moshg.github.io
Rust embeded book (日本語版)
外部ﾘﾝｸ:tomoyuki-nakabayashi.github.io
Rust enbeded discovery (日本語版)
外部ﾘﾝｸ:tomoyuki-nakabayashi.github.io
Rust Design Patterns (日本語版)
外部ﾘﾝｸ:qiita.com
外部ﾘﾝｸ:qiita.com
Rust API guideline (日本語版)
外部ﾘﾝｸ:sinkuu.github.io

685(4): デフォルトの名無しさん [sage] 2024/07/09(火) 21:56:05.19 ID:sTXYSGuF(2/2) AAS
Rustのトレイトは優れているため
LSPに違反するコード例を作ることができないんだよ
もしRustに文句をつけたかったら
LSPに違反する二つの型のコード例を作って示してごらん
Rustで違反例を作るのは不可能だよ

691(7): デフォルトの名無しさん [] 2024/07/09(火) 22:57:23.83 ID:/lHavWP5(1) AAS
>>685
リスコフの置換原則は設計的な原則だから言語仕様で違反を防ぐことはできないぞ
悪名高い長方形・正方形の問題はトレイトがあっても起こり得る

trait Rectangle {
　fn set_width(&mut self, width: i32);
　fn set_height(&mut self, height: i32);
　fn width(&self) -> i32;
　fn height(&self) -> i32;
　fn area(&self) -> i32 { self.width() * self.height() }
}

struct Square { len: i32 }

impl Rectangle for Square {
　fn set_width(&mut self, width: i32) { self.len = width; }
　fn set_height(&mut self, height: i32) { self.len = width; }
　fn width(&self) -> i32 { self.len }
　fn height(&self) -> i32 { self.len }
}

fn func(x: &mut impl Rectangle) {
　x.set_width(3);
　x.set_height(4);

　// xが長方形であれば以下が成り立つはずだが、Square型を渡された場合に失敗する
　assert!(x.area() == 12);
}