Scala 有没有办法让外部模块添加可以在内部模块中使用的隐式？

所以我想创建一个模块，它添加了一个trait Convertible，它的伴生对象在初始化时用一个可转换列表做一些事情

trait Convertible {
    def toInt: Int
    def toBoolean: Boolean
    def toFloat: Float
}
object Convertible {
    val objects = List(1, 2, "", 4, 44.4f, "Hello World!", 42)
    
    def init(): Unit = {
        for(obj <- objects) {
            obj match {
                case con: Convertible => ImportantStuff.doStuff(con.toInt, con.toBoolean, con.toFloat)
                case _ =>
            }
        }
    }
}

---

是否有办法让初始模块在运行中识别其他模块的隐式转换？

首先，不要使用任何隐式转换。至少直到你完全确定这是绝对必要的。但在实践中，99.99%的任务并非如此

您希望在scala中有一个惯用的解决方案—它是类型类模式。我建议你在报纸上读一下

所以在你的情况下，你可以写

trait Convertible[A] {
  def toInt(a: A): Int
  def toBoolean(a: A): Boolean
  def toFloat(a: A): Float
}

或者也可以从第二种类型中提取

trait Convertible[A, B] {
  def convert(a: A): B
}

然后在具有自定义类型的其他模块中的客户机代码中，您可以为所需的类编写typeclass实例

object AnotherGuysModule {
  type AnotherModuleDataType = Int // there can be any type that you want
  objec AnotherModuleDataType {
    implicit val andtToIntInstance:     Convertable[AnotherModuleDataType, Int]     = ??? // implementation AnotherModuleDataType to Int
    implicit val andtToFloatInstance:   Convertable[AnotherModuleDataType, Float]   = ??? // implementation AnotherModuleDataType to Float
    implicit val andtToBooleanInstance: Convertable[AnotherModuleDataType, Boolean] = ??? // implementation AnotherModuleDataType to Int
  }
}

在通用代码中，您可以像这样使用它：

def init(): Unit = 
  objects.foreach {
    case someInt: Int => 
      val toFloat: Float = implicitly[Convertable[Int, Float]].convert(someInt)

    case someBiInteger: BigInteger => 
      val toFloat: Float = implicitly[Convertable[BigInteger, Float]].convert(someBiInteger)

    case etc => ???
}}

它将是静态类型的。您将拥有参数多态性的能力，您将能够抽象类型组、程序类型和关系。 例如，如果您有从字符串到int的转换，以及从int到boolean的转换，那么您将自动有从字符串到boolean的转换。 您只需使用一个常用函数编写此关系：

implicit def chain[A, B, C](a: A)(implicit aToB: Convertible[A,B], bToC: Convertible[B,C]): Convertible[A, C]  = {
  val b = aToB.convert(a)
  bToC.convert(b)
}

您可以编写许多实用程序函数来消除客户机和库代码中的样板文件。怎么做？同样，您可以在中阅读

在那之后，它将看起来像

import your.lib.Convertable.syntax._
def init(): Unit = 
  objects.foreach {
    case someInt: Int => 
      val toFloat: Float = convert(someInt)

    case someBiInteger: BigInteger => 
      val toFloat: Float = convert(someBiInteger)

    case etc => ???
  }

---

PS：在Scala 3中，类型类将有惯用的语法糖，因此它的使用将更加简洁明了。

您需要a+the。您的前提是错误的<代码>对象是类型<代码>列表[任何]。其所有元件都不会通过

可转换
测试。
import your.lib.Convertable.syntax._
def init(): Unit = 
  objects.foreach {
    case someInt: Int => 
      val toFloat: Float = convert(someInt)

    case someBiInteger: BigInteger => 
      val toFloat: Float = convert(someBiInteger)

    case etc => ???
  }