2

一般に、Java のワイルドカードの解決は決定不能であるという主張を聞いたことがあります (これは、他の人が Java の具体化に反対する理由として使用されました)。

1) この主張の決定的な参照や証拠を持っている人はいますか?

これが真であると仮定すると、Scala の宣言サイトの実装と Java の使用サイトを比較すると、次のようになります。

2) 同じ証明が Scala でも機能しますか?

3) これにより、Scala の実行時に何か影響はありますか?

4

0 に答える 0