JAVA：インスタンスリファレンスとの混乱

Question

インスタンスとその実装についてかなり深刻な混乱があります。私はList<String>がインタフェースであることを知っているが、私は、基準変数としてのタイプを使用することができ、私はまた、RHSが実際Listの実装であるArrayListを返すことを知っているので

List<String> lines = Files.readAllLines(Paths.get(fileAddress), 
    Charset.defaultCharset()); 

上記のコードが有効です。また、lines.getClass().getName()はjava.util.ArrayListを返します。

しかし、意外にも私は、

ArrayList<String> lines = Files.readAllLines(Paths.get(fileAddress), 
    Charset.defaultCharset()); 

私は、可能であることをどのように

Type mismatch: cannot convert from List<String> to ArrayList<String>

を、エラーを取得していますか？

Answer 1

Javaコンパイラは、メソッドから返される型を「認識」しません。

java.util.listはinterfaceであり、すべての既知のリストインターフェイス実装のリストがあります。

これは、readAllLines方法Files.readAllLinesため
public static List<String> readAllLines(Path path, Charset cs) throws IOException
ドキュメントの署名です。

readAllLinesメソッドがList<String>を返すという情報だけがコンパイラにはありますが、実装には情報はありません。なぜなら、コンパイラはコードをコンパイルできないからです。