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