Chức năng Tài liệu tham khảo và lambdas

Question

Tôi đang phải đối mặt với một lỗi biên dịch khi cố gắng sử dụng lambdas/tài liệu tham khảo chức năng với Kotlin:

class Foo { 

    fun getFilteredList(){ 
     val numbers = listOf(1, 2, 3) 
     numbers.filter(::isOdd) // prints [1, 3] 
    } 

    fun isOdd(x: Int): Boolean = x % 2 != 0 

} 

Nhưng tôi nhận được một lỗi thời gian biên dịch nói một kiểu phù hợp:

Error:(18, 16) Gradle: Type inference failed: inline fun kotlin.Iterable.filter(predicate: (T) -> kotlin.Boolean): kotlin.List cannot be applied to receiver: kotlin.List arguments: (kotlin.reflect.KFunction2) Error:(18, 23) Gradle: Type mismatch: inferred type is kotlin.reflect.KFunction2 but (kotlin.Int) -> ??? was expected Error:(18, 23) Gradle: Type mismatch: inferred type is kotlin.reflect.KFunction2 but (kotlin.Int) -> kotlin.Boolean was expected Error:(18, 25) Gradle: Left-hand side of a callable reference with a receiver parameter cannot be empty. Please specify the type of the receiver before '::' explicitly

Tôi không chắc chắn lỗi nào cũng như loại tôi nên chỉ định rõ ràng trước '::'

Câu hỏi khác: Tôi có thể sử dụng một đối tượng khác làm tham chiếu trong kotli không n? Một cái gì đó như thế này:

class Bar { 
    fun isOdd(x: Int): Boolean = x % 2 != 0 
} 

class Foo { 

    fun getFilteredList(){ 
     val bar = Bar() 
     val numbers = listOf(1, 2, 3) 
     numbers.filter(bar::isOdd) // Use Bar's method 
    } 
} 

Answer 1

Trên ví dụ thứ hai: có, cú pháp bound function reference được hỗ trợ từ Kotlin 1.1, vì vậy bạn có thể viết bar::isOdd tương tự như Java. Trong ví dụ đầu tiên, lỗi đang cố gắng nói rằng isOdd thực chất là một hàm của hai tham số (loại Foo và Int) và chuyển một hàm lấy hai tham số làm đối số có kiểu là hàm của một tham số không được phép. Để biên dịch ví dụ, bạn có thể làm cho hàm isOdd ở mức cao nhất hoặc hàm cục bộ, làm cho hàm này trở thành một hàm của một tham số kiểu Int. Hoặc, nếu bạn sử dụng Kotlin 1.1+, hãy sử dụng cú pháp tham chiếu hàm ràng buộc và chỉ cần viết this::isOdd.

Answer 2

Điều đó thật buồn cười. "Java tấn công trở lại". Haha

Vấn đề của bạn rất đơn giản: bạn đã khai báo isOdd trong lớp Foo, phải không? Sau đó, nó không phải là một hàm , nhưng phương thức . Điều đó có nghĩa là nó yêu cầu một phiên bản Foo để được chuyển vào (tham chiếu this) - đó là lý do tại sao nó là một chức năng của 2 tham số: Foo.(Int) -> Boolean. Và lỗi cú pháp cho thấy rằng - tham chiếu đến một phương thức trông giống như Foo::isOdd.

Dù sao, việc khai báo một phương pháp không tĩnh không sử dụng đối tượng là một mẫu mã ngay cả trong Java, bạn có đồng ý không?

Vấn đề có thể được giải quyết bằng cách tuyên bố một chức năng miễn phí mà không cần một lớp hoặc bằng cách làm cho nó trở thành một phần mở rộng: fun Int.isOdd()

T.B. Về câu hỏi thứ hai của bạn - tính năng đó chưa được hỗ trợ.