2017-05-15から1日間の記事一覧
普段、Javaはあまり使わないほうですがJavaの型について学んだことがあったのでメモします。(触れるのはJavaですが、型の問題としては一般に関わる話です。) BがAの部分型であるときにBの配列をAの配列の部分型にしてよいか ということに関してです。
普段、Javaはあまり使わないほうですがJavaの型について学んだことがあったのでメモします。(触れるのはJavaですが、型の問題としては一般に関わる話です。) BがAの部分型であるときにBの配列をAの配列の部分型にしてよいか ということに関してです。