>>217
継承という語は、一般に部分型関係を作ることを目的とする構文という意味で使われるが、Rustのトレイトは部分型関係を作るものではない。一般的にもRustのトレイトが継承であるとは説明されない。
C/C++のテンプレートやPythonのプロトコルなんかを一種の構造的な型として観念する考え方は個人的には結構好きだが、言語仕様としての型(これらの言語において通常の意味での型とされる名前付きの型)と同様の扱いがされるわけではない。テンプレートが構造的型付け「に近い」とか、構造的型付け「的」とか、「一種の」構造的型付けといった、ちょっと含みのある表現で説明されることが多いのはなぜかを考えてみるとよい。
大体、そんなオレオレ定義・解釈を前提に「名前的型付けには型の互換性を指定する方法が継承しかない。だから、構造的型付けの方が優れている」とやっても誰も聞いてくれないでしょ。名前的型付けと構造的型付けの比較の文脈で、「テンプレートは構造的型付けだから構造的型付けの方が優れている」と主張することがどれだけ無意味か考えてみたら分かりそうなものだが。そんなことをしなくても構造的型付けには一定の価値は認められているよ。
ニュース
- 【サッカー】U-21日本代表、韓国に敗れアジア大会銀メダル チケット完売の決勝戦…16年ぶり優勝逃す★3 [ゴアマガラ★]
- 経済同友会、「金融所得課税の強化」提言…税・社会保険料の負担大きい年収400万円までの世帯支援に活用 [首都圏の虎★]
- 自民党幹部「辞めさせない」 簗大臣の発言「格好つけて言ってしまっただけ」 [バイト歴50年★]
- 【芸能】「詐欺じゃないですか?!」 Amazonで新品購入→届いた商品にグラドルが憤り… ネットも「これはひどい」 [冬月記者★]
- 【野球】セ・リーグ G 2-5 DB [10/3] 阪神タイガース初のセ・リーグ連覇達成 DeNA5割以上確定 巨人2位でシーズン終了 [鉄チーズ烏★]
- 難関国立大学院卒の若手女性社員高学歴の若手社員、仕事の前にあるべき論解雇されると「会社が悪い」 [ぐれ★]
- 【高市悲報】中学生「カネを出せ!」と、首を絞め現金強奪!あの街 [219241683]
- 【高市内閣】簗大臣、辞任もせずに被災地見学。質問も拒否 [219241683]
- 妹可愛いけど
- 柏レイソル🏡
- 【速報】死後の世界、あった [308389511]
- 簗農水大臣「私は高市総理と直に繋がってる」 [931948549]