Java 8 - Suy ra kiểu trả về chung với lambdas

Question

Tôi đang cố gắng bảo toàn thông tin kiểu chung từ kiểu trả về của biểu thức lambda trên một số hàm bậc cao hơn trong Java 8. Tôi đã đơn giản hóa mã thực của tôi xuống thử nghiệm này trường hợp. Vấn đề không phải là những gì tôi mong đợi mã để làm chính xác, nhưng thay vì tôi mong đợi các loại chung (s) R được suy ra như java.lang.String và thực hiện thông qua các cuộc gọi chức năng.

import java.util.function.Function; 

public class AdamTest { 

    public final static void main(final String args[]) { 
     final AdamTest adamTest = new AdamTest(); 

     final String s = adamTest.thing2(7).apply(i -> i.toString()); 
     System.out.println(s); 
    } 


    private <R> R fn1(final Function<Integer, R> op) { 
     return op.apply(10); 
    } 

    private <R> Function<Function<Integer, R>, R> thing2(final Integer val) { 
     return fn1(i -> new Function<Function<Integer, R>, R>() { 
       @Override 
       public R apply(Function<Integer, R> op) { 
        return op.apply(val * i); 
       } 
      } 
     ); 
    } 
} 

Hiện tại mã này không biên dịch vì dòng này final String s = adamTest.thing2(7).apply(i -> i.toString());. Tôi nghĩ rằng tôi có một cái gì đó tinh tế sai với giới hạn loại của tôi, như trình biên dịch dường như không thể suy ra kiểu trả về của thing2(7).apply và báo cáo Object thay vì String mà tôi đã hy vọng.

Làm thế nào để giới hạn loại generic chính xác để các kiểu trả về đúng nghĩa java.lang.String được suy bởi trình biên dịch?

Answer 1

Như đã nói, những phát biểu được đánh giá từ trái sang phải.

Để buộc các trình biên dịch sử dụng đúng loại, bạn chỉ có thể viết nó như

final String s = adamTest.<String>thing2(7).apply(String::valueOf); 

EDIT: Theo các ý kiến, khái niệm lambda có thể được thay thế bằng một tài liệu tham khảo phương pháp (có vẻ sạch hơn).

Answer 2

Tôi không nghĩ rằng nó có thể được sửa mà không có phôi (có thể ai đó biết rõ hơn). Một cách khác là chia báo cáo của mình theo hai dòng:

Function<Function<Integer, String>, String> thing2 = adamTest.thing2(7); 
final String s = thing2.apply(i -> i.toString()); 

Cũng lưu ý rằng thing2 có thể được đơn giản hóa:

private <R> Function<Function<Integer, R>, R> thing2(final Integer val) { 
    return fn1(i -> (op -> op.apply(val * i))); 
} 

Answer 3

Bạn cần chuyển đến cài đặt của trình biên dịch để BẬT biểu thức lambda. Đây là một ví dụ với intellij. It's under file> Cấu trúc dự án, sau đó thả xuống này. Hy vọng điều này sẽ hữu ích!

nvm, không đủ danh tiếng. Nhưng tôi đã đưa ra chi tiết.