[過去ﾛｸﾞ] Rust part24 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
669: デフォルトの名無しさん [sage] 2024/07/09(火) 02:24:36.95 ID:ZNKPIxXk(1/3) AAS
>LSPは派生型がその基底型を継承する時その振る舞いは同じで代替できるという当たり前な話なんだが
0点
686(1): デフォルトの名無しさん [sage] 2024/07/09(火) 22:08:43.14 ID:ZNKPIxXk(2/3) AAS
>>685685(4): デフォルトの名無しさん [sage] 2024/07/09(火) 21:56:05.19 ID:sTXYSGuF(2/2) AAS
Rustのトレイトは優れているため
LSPに違反するコード例を作ることができないんだよ
もしRustに文句をつけたかったら
LSPに違反する二つの型のコード例を作って示してごらん
Rustで違反例を作るのは不可能だよ
Rustに文句をつけたいとかではなく
>>660660(3): デフォルトの名無しさん [sage] 2024/07/08(月) 13:25:29.85 ID:QAb8fFud(2/2) AAS
継承の本当の問題は、LSPを満たさない部分型関係を作ってしまいがちということ
他の型の実装に依存するのが良くないというのはDIの話で、直接は関係ない
でLSPに言及された途端に実装継承とか言わなくなって「最初から自分はLSPを理由に継承のダメさを語ってましたけど」って態度でイキリ倒してるの(+結局理解してなさそうなの)がバカにされとるんやで
698(1): デフォルトの名無しさん [sage] 2024/07/09(火) 23:56:35.46 ID:ZNKPIxXk(3/3) AAS
>Rustのtraitとその実装型はis-aの関係ではなくhas-aの関係を持つ
すげーのが出てきたなこりゃｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s