如何导入使用Kotlin泛型重载运算符？解决Double*Q调用问题

问题根源 #

泛型扩展运算符属于包级函数，默认仅在定义它的文件内可见，其他文件需要显式导入才能让编译器识别到该运算符的存在。

具体解决步骤 #

1. 确认扩展运算符的可见性
   先检查Base.kt中Double.times(Q)的定义，确保它是包级可见（无private/internal修饰符），示例代码如下：

   // Base.kt
   abstract class Base<Q : Base<Q>> {
       // 成员运算符：Q * Double
       operator fun times(scalar: Double): Q {
           // 实现逻辑
           TODO()
       }
   }
   
   // 包级泛型扩展运算符：Double * Q
   operator fun <Q : Base<Q>> Double.times(other: Q): Q {
       return other * this // 复用成员运算符的实现逻辑
   }
   

2. 显式导入扩展函数
   在调用运算符的目标文件顶部，导入该扩展函数。假设Base.kt所在包为com.example，导入语句如下：

   import com.example.times
   

   无需指定泛型参数，编译器会自动根据上下文匹配Derived类型。

3. 处理同名函数冲突（可选）
   如果当前文件存在其他同名的times扩展函数，可使用别名导入避免冲突：

   import com.example.times as baseScalarTimes
   

   调用时使用别名：

   val result = 5.0.baseScalarTimes(d)
   

4. 验证派生类的继承约束
   确保Derived类正确实现泛型继承约束：

   class Derived : Base<Derived>() {
       // 实现Base的抽象逻辑（若有）
   }
   

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