[過去ﾛｸﾞ]
Rust part24 (1002ﾚｽ)
Rust part24 http://mevius.5ch.net/test/read.cgi/tech/1716759686/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
812: デフォルトの名無しさん [sage] 2024/07/13(土) 10:59:18.93 ID:SqKWY/h6 >>767 >>768 >traitが実装される具体的な型は全てsubtypeに相当する兄弟同士であるため >supertrait/subtraitの場合に例えばある構造体についてそのインスタンスはどちらも同一になるから どちらも同じ勘違いをしてるよ よく読もうね What is wanted here is something like the following substitution property: If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T http://mevius.5ch.net/test/read.cgi/tech/1716759686/812
814: デフォルトの名無しさん [sage] 2024/07/13(土) 11:14:27.08 ID:3n/3tOrD >>812 そこでRustの場合はTがトレイトでSが構造体などの各型で 「impl T for S 」とS型にトレイトTを実装して 「let o1: S = ...」がS型の値(＝オブジェクト)になる 『object o1 of type S』 ←存在する 『object o2 of type T』 ←存在しない したがってRustのトレイトはLSPとなんら関係がない http://mevius.5ch.net/test/read.cgi/tech/1716759686/814
819: デフォルトの名無しさん [sage] 2024/07/13(土) 12:02:36.42 ID:7b/8td6H >>812,814,816 なんで毎回飛んでレスするの？ http://mevius.5ch.net/test/read.cgi/tech/1716759686/819
824: デフォルトの名無しさん [] 2024/07/13(土) 12:40:54.94 ID:mV5TIlCk >>821 >>812 を字義通りに解釈するならそうだけど、その文章はC#やJavaが登場する前の1988年のもので、現在のオブジェクト指向にそのまま適用して良いのか？と思う インターフェースでない、実体のあるクラスの継承関係についてしか言えなくなるし 現在だとリスコフの置換原則は抽象インターフェースも含んで説明される方が多いように思う 「クラスを継承する際のみに適用できるルール」のように説明されてるのは、少なくとも自分は見たことがない http://mevius.5ch.net/test/read.cgi/tech/1716759686/824
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s