Kotlin:可见性修饰符更改匿名对象的类型

Question

删除 private myScope 的修饰符以下工作代码中的(第 4 行)将破坏代码。原因是 myScope 的类型发生了变化。 .可见性是否设置为 private类型是:anonymous object : Scope .无 private类型切换为Scope .我该如何解决这种行为？

interface Scope
operator fun<SD: Scope> SD.invoke(block: SD.() -> Unit) = block()

private val myScope = object : Scope {
    fun Int.myScopedExtFunction() = 1337
}

fun usage() {
    myScope {
        1.myScopedExtFunction()
    }
}

这是 Android Studio 中的两个版本:

Answer 1

此行为是设计使然。见 documentation :

Note that anonymous objects can be used as types only in local and private declarations. If you use an anonymous object as a return type of a public function or the type of a public property, the actual type of that function or property will be the declared supertype of the anonymous object, or Any if you didn't declare any supertype. Members added in the anonymous object will not be accessible.