[過去ﾛｸﾞ] オブジェクト指向はオワコン (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
704(2): デフォルトの名無しさん [sage] 2024/01/20(土)12:26 ID:pJVjc8l1(2/4)
実装継承ではないのか、実装継承における問題が発生しないだけなのか、どっちなんだい？
705(1): デフォルトの名無しさん [sage] 2024/01/20(土)12:38 ID:+uoYRouQ(2/2)
>>704
両方
まず実装継承とは具体型の実装が別の具体型に継承されることだから該当しない
次に>>701が例示している件に対して
＞// TraitBをTraitAを実装するすべての型に対して実装する
＞impl<T: TraitA> TraitB for T {}
これは実装継承ではないだけでなく、類似しているように見えても、実装継承の問題と同じことは発生しない
734(1): デフォルトの名無しさん [sage] 2024/01/21(日)15:09 ID:LGH4j5ie(1)
>>705
>まず実装継承とは具体型の実装が別の具体型に継承されることだから該当しない
これは間違い
実装継承とは文字通り「実装」が「継承」されること <== この意味を理解できるかどうかが重要
実装継承における問題というのはこれも文字通り「実装」が「継承」されることによって起きる
継承元が具体型扱いかどうかは関係ない
>>704
>実装継承ではないのか、実装継承における問題が発生しないだけなのか、どっちなんだい？
Rustのトレイトデフォルト実装は実装継承の一種でもあるし、実装継承ににおける問題も発生する
C++等一部の言語で発生する実装継承における問題の一つが発生しにくいようになってるだけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s