[過去ﾛｸﾞ]
Rust part24 (1002ﾚｽ)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
685: デフォルトの名無しさん [sage] 2024/07/09(火) 21:56:05.19 ID:sTXYSGuF Rustのトレイトは優れているため LSPに違反するコード例を作ることができないんだよ もしRustに文句をつけたかったら LSPに違反する二つの型のコード例を作って示してごらん Rustで違反例を作るのは不可能だよ http://mevius.5ch.net/test/read.cgi/tech/1716759686/685
686: デフォルトの名無しさん [sage] 2024/07/09(火) 22:08:43.14 ID:ZNKPIxXk >>685 Rustに文句をつけたいとかではなく >>660でLSPに言及された途端に実装継承とか言わなくなって「最初から自分はLSPを理由に継承のダメさを語ってましたけど」って態度でイキリ倒してるの(+結局理解してなさそうなの)がバカにされとるんやで http://mevius.5ch.net/test/read.cgi/tech/1716759686/686
687: デフォルトの名無しさん [sage] 2024/07/09(火) 22:36:56.01 ID:YflJELWV >>685 >>684みたいに、 トレイトがpanicを禁止したいのに、ユーザーのトレイト実装がpanicを返す というのはLSP違反だろ。 http://mevius.5ch.net/test/read.cgi/tech/1716759686/687
691: デフォルトの名無しさん [] 2024/07/09(火) 22:57:23.83 ID:/lHavWP5 >>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); } http://mevius.5ch.net/test/read.cgi/tech/1716759686/691
695: デフォルトの名無しさん [] 2024/07/09(火) 23:30:16.52 ID:KAvgjhF7 >2つの異なる長さを持つ(受け取る)機能を定義しているのならば >正方形はその実装型にはなりえません 論理的にはそう でも実際にそういうコードを書けばビルドは通る >>685 で >LSPに違反する二つの型のコード例を作って示してごらん >Rustで違反例を作るのは不可能だよ とあったので、これはその反例として示した このような問題は設計の問題であり、まずい設計をする人が使えばRustでも問題は起こり得るということを言いたい http://mevius.5ch.net/test/read.cgi/tech/1716759686/695
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s