[過去ﾛｸﾞ] Rust part24 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
764(4): デフォルトの名無しさん [sage] 2024/07/12(金) 00:13:00.93 ID:0qGKBZrU(1) AAS
>>753753(1): デフォルトの名無しさん [sage] 2024/07/11(木) 16:57:46.28 ID:acwFdQNv(1) AAS
PartialOrdとPartialEqの一貫性とかLSPっぽいけど
Substitution（置換）とはちょっと違うんだよな
無理矢理Sに当てるならSurrogation（代用）あたりか
これをLSPに含めるかは定義重視vs意味重視で意見が分かれそう
754
トレイトの場合はLSPで言うsupertypeやsubtypeになるのは
トレイトを利用して作られるimpl Traitやtrait objectの型だよ
PartialOrd/PartialEqやFn/FnMut/FnOnceのように
supertrait/subtraitの関係にあるやつも便宜的にトレイトで互換性が語られるけど
実際はそれらを利用して作られる型についての話なのと同じなんだよ
765: デフォルトの名無しさん [sage] 2024/07/12(金) 00:16:45.77 ID:U8/iJiIO(1) AAS
>>764
真面目に相手してあげるの偉いな
766: デフォルトの名無しさん [sage] 2024/07/12(金) 00:19:01.43 ID:iZsWh24v(1/2) AAS
>>764
いいえ
traitが実装される具体的な型は全てsubtypeに相当する兄弟同士であるため
親となるsupertypeの具体的な型はありませんはありません
767(1): デフォルトの名無しさん [sage] 2024/07/12(金) 00:19:49.06 ID:iZsWh24v(2/2) AAS
>>764
いいえ
traitが実装される具体的な型は全てsubtypeに相当する兄弟同士であるため
親となるsupertypeに相当する具体的な型はありません
768(1): デフォルトの名無しさん [sage] 2024/07/12(金) 00:47:16.73 ID:KyXC0KGT(1/7) AAS
トレイトにはフィールド変数が一つもなくてメソッドも各個別型で実装されるものだから事前条件・事後条件など比較もできなくてLSP適用は無理でしょ
>>764
supertrait/subtraitの場合に例えばある構造体についてそのインスタンスはどちらも同一になるからLSPの前提である二つのインスタンス間での差は論じられないでしょ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s