本文へスキップ

名前的部分型とは?

なまえてきぶぶんがた

明示的な宣言に基づいて型互換性を判断する型システム

名前的部分型は型の構造でなく明示的な継承やimplements宣言で型互換性を決める型システムでJavaやC#が採用しており意図しない型互換を防ぐ安全性がある。

使い方・例文

Javaではinterfaceをimplementsと明示した型だけがそのinterfaceと互換になる名前的部分型を採用している。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語