带有默认函数参数值的Kotlin接口

Question

我想为实现接口的类中的函数参数使用默认值，如下所示：

interface FileStoreService {
    fun storeFile(path: String, payload: InputStream, type: MediaType, replace: Boolean = true)
}

kotlin prettyprint-override">class LocalFileStoreService : FileStoreService {

    override fun storeFile(path: String, payload: InputStream, type: MediaType, replace: Boolean /* ?? */) {
        // ....
    }
}

现在这里是编译的，这里是不编译的：

KO：不允许重写函数为其参数指定默认值

class LocalFileStoreService : FileStoreService {

    override fun storeFile(path: String, payload: InputStream, type: MediaType, replace: Boolean = true) {
        // ....
    }
}

KO:类“LocalFileStoreService”不是抽象的，并且没有实现抽象成员公共抽象存储文件（路径：String，负载：InputStream，类型：MediaType）：fqn中定义的单元。。。文件存储服务

class LocalFileStoreService : FileStoreService {

    override fun storeFile(path: String, payload: InputStream, type: MediaType, replace: Boolean) {
        // ....
    }
}

好 啊：

class LocalFileStoreService : FileStoreService {

    override fun storeFile(path: String, payload: InputStream, type: MediaType) {
        storeFile(path, payload, type, true)
    }

    override fun storeFile(path: String, payload: InputStream, type: MediaType, replace: Boolean) {
        // ....
    }
}

这是预期的行为吗？有没有更好的方法来管理接口中的默认参数值？

Answer 1

你所描述的很奇怪，因为通过尝试用静态编程语言1.4.20重现它，我看不到相同的行为。

下面的代码工作正常：

interface Test {
    fun test(p1: String, p2: Boolean = true)
}

class TestImpl : Test {
    // below commented function breaks compilation
    //override fun test(p1: String) = println("That's odd... received: $p1")

    // You cannot overwrite default value, that would break interface contract
    override fun test(p1: String, p2: Boolean) = println("It works ! Received: $p1 and $p2")
}

fun main() {
    // Default value for second parameter is deduced from interface signature 
    TestImpl().test("Hello")
}

如果我取消对没有布尔参数的函数的注释，编译就会崩溃，因为该方法不会从接口继承。

一般来说，如果在接口级别定义默认值，那么更改特定实现的默认值是个坏主意，因为这会破坏API契约。

编辑

请注意，从注释函数中删除overries关键字将产生有效的代码，因为它成为特定于实现的函数。不过，我发现这种行为很危险，因为以下程序：

interface Test {
    fun test(p1: String, p2: Boolean = true)
}

class TestImpl : Test {
    fun test(p1: String) = println("That's odd... received: $p1")
    override fun test(p1: String, p2: Boolean) = println("It works ! Received: $p1 and $p2")
}

fun main() {
    val t : Test = TestImpl()
    t.test("Hello")
    (t as TestImpl).test("Hello")
}

然后将产生以下输出：

It works ! Received: Hello and true
That's odd... received: Hello