Kotlin допускает ту же сигнатуру функции, что и получатель свойств, но с другим типом возврата

Обновление 2020-12-23

Описание происхождения немного сбивает с толку. Kotlin не только допускает одну и ту же подпись с геттером в подклассе, но и в собственном классе. Итак, это также разрешено:

open class BaseRequest {
    val params = mutableMapOf<String, String>()
    fun getParams(): List<String> {
        return params.values.toList()
    }
}

Как сказал @Slaw, это поведение компилятора kotlin, и оно работает, поскольку JVM вызывает правильный метод, используя адрес, но не «подпись».

Я столкнулся с ситуацией, когда кажется, что Kotlin позволяет подклассу создавать ту же подпись, что и геттер суперкласса.

Как правило, функции имеют одинаковую сигнатуру, и разные типы возврата не допускаются. Так что я в недоумении от этой ситуации. Я не уверен, что это задумано.

Вот пример:

open class BaseRequest {
    val params = mutableMapOf<String, String>()

    init {
        params["key1"] = "value1"
    }
}

class SpecificRequest : BaseRequest() {
    init {
        params["key2"] = "value2"
    }

    fun getParams(): List<String> {
        return params.values.toList()
    }
}

В MediatorRequest есть функция getParams(), которая имеет ту же сигнатуру, что и суперкласс, но имеет другой тип возвращаемого значения. При использовании этой функции кажется, что подкласс и суперкласс имеют разные реализации одного и того же объявления.

fun main() {
    val specificRequest = SpecificRequest()
    println("specificRequest.params: ${specificRequest.params}")
    println("specificRequest.getParams(): ${specificRequest.getParams()}")
    println("(specificRequest as BaseRequest).params: ${(specificRequest as BaseRequest).params}")
}

Вывод будет таким:

specificRequest.params: {key1=value1, key2=value2}
specificRequest.getParams(): [value1, value2]
(specificRequest as BaseRequest).params: {key1=value1, key2=value2}

Если мы посмотрим на декомпилированный код Java, то увидим, что два метода имеют одинаковую сигнатуру и разные типы возвращаемого значения, и это действительно не разрешено в Java.

public class BaseRequest {
   @NotNull
   private final Map params;

   @NotNull
   public final Map getParams() {
      return this.params;
   }

   /* ... */
}


public final class SpecificRequest extends BaseRequest {
   @NotNull
   public final List getParams() {
      return CollectionsKt.toList((Iterable)this.getParams().values());
   }
   /* ... */
}

Я знаю, что имя функции не подходит, но существует потенциальный риск того, что если мы используем SpecificRequest в .java, мы не сможем посетить параметры карты, пока не приведем экземпляр к его суперклассу. И это может привести к непониманию.