Kotlin - khi biểu thức có kiểu trả về của hàm

Question

Tôi muốn tận dụng lợi thế của kotlin khi biểu thức và các phương thức chung để đơn giản hóa các ưu tiên chia sẻ api của Android.

Thay vì gọi getString() & getInt() vv mọi lúc, điều tôi muốn làm là tạo một hàm mở rộng sẽ chuyển đổi dựa trên kiểu trả về của hàm và gọi phương thức thích hợp. Một cái gì đó như sau:

fun <T> SharedPreferences.get(key: String): T? { 
     when (T) { //how do I switch on return type and call appropriate function? 
      is String -> getString(key, null) 
      is Int -> getInt(key, -1) 
      is Boolean -> getBoolean(key, false) 
      is Float -> getFloat(key, -1f) 
      is Long -> getLong(key, -1) 
     } 
     return null 
    } 

Tất nhiên, nó sẽ không hoạt động. Nhưng có giải pháp nào để sử dụng khi biểu thức cho kiểu trả về của hàm không? Tất cả các đề xuất đều được chào đón.

Answer 1

Để đạt được chính xác những gì bạn muốn, bạn có thể sử dụng reified type parameters. Điều này sẽ làm cho trình biên dịch nội tuyến chức năng của bạn tại các trang web cuộc gọi của nó với T được thay thế bằng loại được sử dụng tại trang web cuộc gọi.

Chức năng sẽ trông như thế:

@Suppress("IMPLICIT_CAST_TO_ANY") 
inline operator fun <reified T> SharedPreferences.get(key: String): T? = 
    when (T::class) { 
     String::class -> getString(key, null) 
     Int::class -> getInt(key, -1) 
     Boolean::class -> getBoolean(key, false) 
     Float::class -> getFloat(key, -1f) 
     Long::class -> getLong(key, -1) 
     else -> null 
    } as T? 

^{Nếu bạn thực hiện get một operator function, bạn cũng có thể gọi nó là sử dụng cú pháp điều hành: prefs[name].}

Các cuộc gọi nên, tất nhiên, cung cấp đầy đủ thông tin kiểu cho trình biên dịch để suy ra T:

val i: Int? = prefs["i"] // OK, the type information is taken from the declaration 
val j: Int = prefs["i"]!! // OK 

val x = prefs["x"] // Error, not enough type information 
val y = prefs.get<String>("y") // OK, the type will be `String?` 

fun f(z: Int) = z 
f(prefs["z"]!!) // OK, the type information is taken from the parameter type