Tại sao tôi không thể gán trực tiếp tham chiếu phương thức cho biến kiểu Đối tượng?

Question

Câu hỏi đơn giản về cú pháp java-8. Tại sao JLS-8 hạn chế biểu hiện như vậy như:

Object of_ref = Stream::of; // compile-time error 

và chỉ cho phép một cái gì đó như:

java.util.function.Function of_ref = Stream::of; 
Object obj = of_ref; // compiles ok 

?

Answer 1

Đó là vì loại đích của tham chiếu phương thức hoặc biểu thức lambda phải là giao diện chức năng. Chỉ dựa trên đó, thời gian chạy sẽ tạo ra một cá thể của một lớp cung cấp việc thực hiện giao diện chức năng đã cho. Hãy suy nghĩ về lambdas hoặc tham chiếu phương thức như khái niệm abstract. Chỉ định nó cho một loại giao diện chức năng mang lại cho nó một ý nghĩa cụ thể.

Hơn nữa, một tham chiếu lambda hoặc phương thức cụ thể, có thể có nhiều giao diện chức năng làm loại mục tiêu của nó. Ví dụ, hãy xem xét lamda sau:

int x = 5; 
FunctionalInterface func = (x) -> System.out.println(x); 

lambda Đây là một Consumer của x. Ngoài ra, bất kỳ giao diện nào có phương thức trừu tượng đơn lẻ có chữ ký sau:

public abstract void xxx(int value); 

có thể được sử dụng làm loại mục tiêu. Vì vậy, giao diện nào bạn muốn thời gian chạy để triển khai, nếu bạn gán lambda cho loại Object? Đó là lý do tại sao bạn đã cung cấp một giao diện chức năng rõ ràng làm loại mục tiêu.

Bây giờ, khi bạn nhận được một tài liệu tham khảo giao diện chức năng tổ chức một ví dụ, bạn có thể gán nó cho bất kỳ tài liệu tham khảo siêu (bao gồm Object)

Answer 2

Object không phải là giao diện chức năng và chỉ có thể gán tham chiếu phương thức cho giao diện chức năng. Xem ví dụ JLS #15.13.2

Một biểu thức phương pháp tham chiếu là tương thích trong một bối cảnh chuyển nhượng, bối cảnh gọi, hoặc bối cảnh đúc với một loại mục tiêu T nếu T là một kiểu giao diện chức năng (§9.8) và sự biểu hiện là đồng dư với loại chức năng của loại mục tiêu mặt đất bắt nguồn từ T.

Answer 3

tôi nghi ngờ đây là một câu hỏi hoàn toàn academical, vì tôi không thể nhìn thấy bất kỳ thực -trường hợp sử dụng cho cuộc sống này. Tuy nhiên, tôi khá chắc chắn rằng nó đã làm với Stream::of là một biểu thức lambda. Bạn cũng có thể không làm điều này:

Object of_ref = list -> Stream.of(list); 

Tôi suy đoán rằng một kiểu trả về chính xác cho trình biên dịch mà FunctionalInterface nó đang được sử dụng. Nếu không có thông tin này, trình biên dịch sẽ không thể giải quyết biểu thức Lambda một cách chính xác và rõ ràng.

Answer 4

Điểm mấu chốt là không có "loại chức năng" bằng Java. Một biểu thức lambda không có một "loại" của chính nó - nó có thể được gõ vào bất kỳ giao diện chức năng có chữ ký của phương thức duy nhất phù hợp với lambda. Do đó, kiểu lambda dựa trên kiểu được cung cấp bởi ngữ cảnh của nó. Bạn phải cung cấp một giao diện chức năng như bối cảnh cho nó để có được một loại.

Đó là hướng dẫn để xem xét cùng một vấn đề nhưng đối với các lớp ẩn danh. Mặc dù có sự khác biệt về triển khai giữa lambdas và các lớp ẩn danh, về mặt ngữ nghĩa, lambdas về cơ bản tương đương với một tập con của các lớp ẩn danh, và biểu thức lambda luôn có thể được chuyển thành biểu thức tạo lớp ẩn danh tương đương.

Khi bạn viết:

Function<T, Stream<T>> of_ref = Stream::of; 

nó tương đương với một cái gì đó giống như sử dụng các lớp nặc danh sau:

Function<T, Stream<T>> of_ref = new Function<T, Stream<T>>() { 
    Stream<T> apply(T t) { 
     return Stream.of(t); 
    } 
}; 

Bây giờ xem xét

Object of_ref = Stream::of; 

tương đương với các lớp ẩn danh là gì ?

Object of_ref = new [**What goes here?**]() { 
    [**What method signature goes here?**] { 
     return Stream.of(t); 
    } 
}; 

Bạn thấy tại sao điều đó không có ý nghĩa - chúng tôi không biết loại nào sẽ sử dụng làm lớp cơ sở của lớp ẩn danh.