Tại sao không phải là lỗi khi gọi phương thức không tham số với các đối số kiểu?

Question

tôi có chương trình Java sau đó tôi đã hy vọng không biên dịch, nhưng nó đã làm:

class Test { 
    public static void f() { 
    } 

    void m() { 
      Test.<String>f(); 
    } 
} 

Tại sao javac cho phép gọi một phương pháp phi tham số theo cách này?

Phiên bản trình biên dịch Java của tôi là: javac 1.7.0_75

Answer 1

Tham số loại rõ ràng chỉ bị bỏ qua.

Điều này được nêu trong JLS, Section 15.12.2.1:

• Nếu phương pháp gọi trình bao gồm lập luận kiểu tường minh, và các thành viên là một phương pháp chung chung, sau đó số lượng các đối số loại bằng đến số lượng các tham số kiểu của phương thức.

Điều khoản này ngụ ý rằng phương pháp không chung chung có thể có khả năng là áp dụng cho yêu cầu cung cấp đối số loại rõ ràng. Thật vậy, nó có thể bật ra được áp dụng. Trong trường hợp này, loại đối số sẽ bị bỏ qua.