Kotlin中重写内置to运算符的效果、允许条件及作用域解析

原理：Kotlin重载解析的"最具体匹配"规则 #

Kotlin编译器在解析函数调用时，会优先选择最具体的候选函数。标准库默认的to中缀函数是一个针对所有任意类型的全局扩展：

infix fun <A, B> A.to(that: B): Pair<A, B>

而你定义的to是专门针对String类型的扩展，接收者类型比默认的A（任意Any子类）更具体。当调用"verbose" to true时，编译器判定你的自定义扩展更适配当前的String接收者场景，因此会优先选用它，而非抛出"重复定义"的错误。

允许自定义覆盖的条件 #

• 接收者类型更具体：自定义扩展的接收者必须是默认to接收者的子类型，这样编译器才能识别它是更匹配特定调用场景的候选函数。
• 符合中缀函数要求：必须用infix修饰，且参数列表只能有一个参数（和默认to的参数结构保持一致），才能被当作中缀运算符使用。
• 无同优先级歧义：只有当存在两个优先级完全相同的候选函数（比如两个针对String的to扩展，参数类型也完全一致）时，编译器才会抛出歧义错误；只要你的自定义扩展比默认实现更具体，就不会触发冲突。

自定义扩展的可见范围 #

自定义to扩展的可见性遵循Kotlin扩展函数的通用规则：

• 顶层扩展：默认public权限，全项目可见（需导入对应包）；用internal修饰则仅当前模块内可见；private修饰仅当前文件内可见。
• 类内部扩展：默认仅在类及其子类内部可见；private修饰则仅当前类内部可见。
• 作用域优先级：编译器优先查找当前作用域内的扩展（比如当前文件、当前类中定义的），其次是导入的扩展，最后才是标准库的默认扩展。也就是说，若你在某个类内定义了String.to扩展，该类内部的"xxx" to yyy都会使用你的自定义实现，外部则不受影响（除非主动导入）。

内容的提问来源于stack exchange，提问作者tunnuz