815(1): デフォルトの名無しさん [] 2024/07/13(土) 11:36:15.00 ID:mV5TIlCk(2/8) AAS
よく分からんけど
fn do_somethg(x: impl T)
にS型のオブジェクトoを渡すなら、do_somethingにとって o is T が成り立つんじゃない？
この関数は渡された o が S1 なのか S2 なのかは認識しないのだし

812(3): デフォルトの名無しさん [sage] 2024/07/13(土) 10:59:18.93 ID:SqKWY/h6(1) AAS
>>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

814(1): デフォルトの名無しさん [sage] 2024/07/13(土) 11:14:27.08 ID:3n/3tOrD(1) AAS
>>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となんら関係がない