695(1): デフォルトの名無しさん [] 2024/07/09(火) 23:30:16.52 ID:KAvgjhF7(2/2) AAS
>2つの異なる長さを持つ(受け取る)機能を定義しているのならば
>正方形はその実装型にはなりえません
論理的にはそう
でも実際にそういうコードを書けばビルドは通る

>>685 で
>LSPに違反する二つの型のコード例を作って示してごらん
>Rustで違反例を作るのは不可能だよ
とあったので、これはその反例として示した
このような問題は設計の問題であり、まずい設計をする人が使えば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);
}

729(2): デフォルトの名無しさん [sage] 2024/07/10(水) 18:28:13.04 ID:/bwWoePd(1) AAS
>>728
panicを禁止という概念も方法もなく不可能だよ
何をしたいの？