Required loại là giống như tìm thấy loại

Question

Tôi muốn làm điều này:

Foo<String> foo = new Foo<>(); 
    Foo<String>.Bar fooBar = foo.new Bar(); 

    fooBar.doSomething("this works!"); 

Nhưng sau đó 2 dòng đầu tiên trong một dòng duy nhất như:

Foo<String>.Bar fooBar2 = new Foo<>().new Bar(); 
fooBar2.doSomething("The above line gives: incompatible types. Required: Foo.Bar Found: Foo.Bar"); 

Nhưng dòng đầu tiên thất bại. Tôi nhận được:

các loại không tương thích.

Yêu cầu: Foo.Bar

Tìm thấy: Foo.Bar

Tại sao vậy?

public class Foo<T> { 


    public class Bar extends SomeOtherClass<T> { 

     public void doSomething(T t) { 

     } 

    } 

} 

Và lớp cuối cùng:

public class SomeOtherClass<T> { 
} 

Answer 1

Có một số tình huống trong đó Java không thể xử lý những suy luận kiểu tất cả những gì tốt (khi ai nghĩ rằng nó nên). Đây là một trong những tình huống đó.

Nếu bạn vượt qua rõ kiểu dữ liệu cho new gọi, nó sẽ biên dịch:

Foo<String>.Bar fooBar2 = new Foo<String>().new Bar(); 

Answer 2

Trong ví dụ đầu tiên, bạn cho java mà bạn đang sử dụng Foo<string> bằng cách tuyên bố foo như một Foo<string>:

Foo<String> foo = new Foo<>(); 

Bạn cần phải làm rõ loại mẫu trong foo tốt hơn trong ví dụ thứ hai:

Foo<String>.Bar fooBar2 = (new Foo<String>()).new Bar();