Kotlin có chức năng nhận diện không?

Question

Scala có identity hàm tổng quát trong Predef:

def identity[A](x: A): A 

Liệu Kotlin có một cơ sở tương tự trong thư viện chuẩn? Tất nhiên tôi chỉ đơn giản có thể sử dụng { it } thay vào đó, nhưng tôi thấy identity dễ đọc hơn, và instantiating tất cả những lambdas là một chút lãng phí.

Tôi phải có thể sử dụng chức năng identity này ở những nơi có chức năng (Foo) -> Foo, cho bất kỳ loại nào Foo. Có phải một chức năng như vậy có thể thực hiện được trong hệ thống kiểu của Kotlin không? (Trong trường hợp của Scala, có một chuyển đổi ngầm mà kết thúc tốt đẹp các phương pháp bên trong một đối tượng hàm hoặc một cái gì đó.)

Answer 1

Không có chức năng như vậy vào lúc này, nhưng bạn có thể dễ dàng xác định nó cho mình:

fun <T> identity(x: T): T = x 

Nếu bạn nghĩ rằng có đủ trường hợp sử dụng cho hàm này được khai báo trong thư viện chuẩn Kotlin, vui lòng gửi một vấn đề tại youtrack.jetbrains.com. Cảm ơn!

Answer 2

Nếu bạn cần chuyển hàm nhận dạng làm tham số cho hàm khác, bạn có thể chỉ cần sử dụng { it }. Ví dụ, nó, bạn có một danh sách < Danh sách < Chuỗi >> và muốn san bằng nó vào một danh sách < String>, bạn có thể sử dụng:

list.flatMap(identity) 

nơi identity là chức năng nhận dạng. Điều này có thể được viết như sau:

list.flatMap { it } 

này tương đương với:

list.flatMap { x -> x } 

Việc thay thế sẽ được xác định chức năng nhận diện đâu đó, chẳng hạn như:

val identity: (List<String>) -> List<String> = { it } 

Nhưng chúng ta có thể' t tạo ra một chung val, vì vậy chúng tôi sẽ phải xác định một chức năng nhận dạng cho từng loại. Các giải pháp, (vì nó được thực hiện trong giao diện Java Function) là xác định nó như là một hàm liên tục:

fun <A> identity(): (A) -> A = { it } 

và sử dụng nó như:

list.flatMap(identity) 

Tất nhiên, đó là dễ dàng hơn nhiều để viết :

list.flatMap { it } 

Tuyên bố chức năng nhận dạng một lần cho tất cả (có thể hoạt động cho tất cả các loại) là không thể vì nó sẽ phải được tham số hóa. Những gì có thể là sử dụng một hàm trả về chức năng danh tính này:

fun <T> identity(): (T) -> T = { it } 

Mặc dù nó không công việc, nó không phải là rất hữu ích bởi vì người ta có hiện nay để viết:

list.flatMap(identity())