Tại sao phương pháp này tham chiếu biên dịch chuyển nhượng?

Question

Tôi đang đấu tranh để hiểu tại sao đoạn mã sau biên dịch:

public class MethodRefs { 

    public static void main(String[] args) { 
     Function<MethodRefs, String> f; 

     f = MethodRefs::getValueStatic; 

     f = MethodRefs::getValue; 
    } 

    public static String getValueStatic(MethodRefs smt) { 
     return smt.getValue(); 
    } 

    public String getValue() { 
     return "4"; 
    } 

} 

tôi có thể thấy lý do tại sao việc chuyển nhượng đầu tiên là hợp lệ - getValueStatic rõ ràng phù hợp với quy định Function loại (nó chấp nhận một đối tượng MethodRefs và trả về một String), nhưng cái thứ hai cản trở tôi - phương pháp getValue không chấp nhận đối số, vậy tại sao nó vẫn hợp lệ để gán nó cho f?

Answer 1

Thứ hai một

f = MethodRefs::getValue; 

cũng giống như

f = (MethodRefs m) -> m.getValue(); 

Đối với phương pháp không tĩnh luôn luôn có một cuộc tranh cãi ngầm được biểu diễn dưới dạng this trong callee.

LƯU Ý: Việc triển khai hơi khác ở cấp mã byte nhưng cũng giống như vậy.

Answer 2

Đối với phương pháp không tĩnh, loại this được xem là ngầm định là loại đối số đầu tiên. Vì nó thuộc loại MethodRefs, các loại kiểm tra.

Answer 3

Một phương pháp không tĩnh về cơ bản có tham chiếu this của nó dưới dạng một loại đối số đặc biệt. Thông thường, đối số được viết theo một cách đặc biệt (trước tên phương thức, thay vì nằm trong dấu ngoặc đơn sau nó), nhưng khái niệm thì giống nhau. Phương thức getValue lấy một đối tượng MethodRefs (this) và trả về một chuỗi, vì vậy nó tương thích với giao diện Function<MethodRefs, String>.

Answer 4

Cho phép xác thịt nó ra một chút:

import java.util.function.Function; 

public class MethodRefs { 

    public static void main(String[] args) { 
    Function<MethodRefs, String> f; 


    final MethodRefs ref = new MethodRefs(); 

    f = MethodRefs::getValueStatic; 
    f.apply(ref); 
    //is equivalent to 
    MethodRefs.getValueStatic(ref); 

    f = MethodRefs::getValue; 
    f.apply(ref); 
    //is now equivalent to 
    ref.getValue(); 
    } 

    public static String getValueStatic(MethodRefs smt) { 
    return smt.getValue(); 
    } 

    public String getValue() { 
    return "4"; 
    } 
} 

Answer 5

Trong Hướng dẫn Java nó được giải thích rằng có 4 loại khác nhau của tài liệu tham khảo phương pháp:

1. tham chiếu đến một phương pháp tĩnh
2. tài liệu tham khảo cho một phương pháp thể hiện của một đối tượng cụ thể
3. reference to an instance method of an arbitrary object of a particular type
4. r eference đến một constructor

trường hợp của bạn là # 3, có nghĩa là khi bạn có một thể hiện của MethodRef ví dụ: ref, gọi apply trên chức năng của bạn f sẽ tương đương với String s = ref.getValue().