多不同类型SchemaHelper实例存在时Scala隐式解析失败

需求 #

为无法修改伴生对象的若干T类，实现scala-jsonschema的Schema[T]与play-json的Writes[T]，并将二者绑定定义，确保重构时同步更新。

实现方案 #

创建SchemaHelper trait封装配对的Schema[T]和Writes[T]，同时定义隐式转换方法，从SchemaHelper实例中提取对应的Schema[T]和Writes[T]：

import play.api.libs.json.Writes
import json.schema.Schema

trait SchemaHelper[T] {
  def schema: Schema[T]
  def writes: Writes[T]
}

object SchemaHelper {
  // 从SchemaHelper提取Schema的隐式转换
  implicit def schemaFromHelper[T](implicit helper: SchemaHelper[T]): Schema[T] = helper.schema
  // 从SchemaHelper提取Writes的隐式转换
  implicit def writesFromHelper[T](implicit helper: SchemaHelper[T]): Writes[T] = helper.writes
}

遇到的问题 #

当隐式作用域中存在多个不同类型的SchemaHelper隐式实例时，所有实例的隐式解析均失败。例如在MySchemas中定义String、Int、Foo类型的SchemaHelper实例后：

case class Foo(value: String)

object MySchemas {
  implicit val stringHelper: SchemaHelper[String] = new SchemaHelper[String] {
    override def schema: Schema[String] = Schema.string
    override def writes: Writes[String] = Writes.stringWrites
  }

  implicit val intHelper: SchemaHelper[Int] = new SchemaHelper[Int] {
    override def schema: Schema[Int] = Schema.integer
    override def writes: Writes[Int] = Writes.intWrites
  }

  implicit val fooHelper: SchemaHelper[Foo] = new SchemaHelper[Foo] {
    override def schema: Schema[Foo] = Schema.record[Foo](_.value -> Schema.string)
    override def writes: Writes[Foo] = Writes.writes[Foo]
  }
}

使用implicitly[Schema[Foo]]无法完成解析，但直接调用schemaFromHelper[Foo]可正常工作；若仅保留Foo类型的SchemaHelper实例，则implicitly可正常解析。

问题原因 #

核心问题是隐式歧义：scala-jsonschema本身已为String、Int等基础类型提供了默认的Schema隐式实例。当你为这些类型自定义SchemaHelper并通过转换生成Schema时，编译器会找到两个同类型的隐式候选（默认实例+自定义转换生成的实例），导致歧义。这种歧义会干扰整个隐式解析流程，甚至影响自定义类型（如Foo）的解析。

解决方法 #

方法1：仅为自定义类型定义SchemaHelper #

移除基础类型（String、Int等）的SchemaHelper实例，直接使用scala-jsonschema和play-json提供的默认隐式实现：

object MySchemas {
  // 只保留自定义类型的SchemaHelper
  implicit val fooHelper: SchemaHelper[Foo] = new SchemaHelper[Foo] {
    override def schema: Schema[Foo] = Schema.record[Foo](_.value -> Schema.string)
    override def writes: Writes[Foo] = Writes.writes[Foo]
  }
}

方法2：提升自定义隐式转换的优先级 #

通过优先级特质让自定义的Schema/Writes转换优先于默认实现，避免歧义：

// 定义高优先级特质
trait HighPriorityImplicits {
  implicit def schemaFromHelper[T](implicit helper: SchemaHelper[T]): Schema[T] = helper.schema
  implicit def writesFromHelper[T](implicit helper: SchemaHelper[T]): Writes[T] = helper.writes
}

object SchemaHelper extends HighPriorityImplicits

这样编译器会优先选择通过SchemaHelper转换生成的隐式实例，而非默认实现。

方法3：排除默认隐式实例 #

导入scala-jsonschema时，排除基础类型的默认Schema实例（需根据库的结构调整）：

// 示例：排除默认的String和Int Schema
import json.schema.Schema
import json.schema.Schema.{string => _, integer => _, _}

验证 #

采用上述方法后，即可正常使用implicitly[Schema[Foo]]或在需要隐式Schema[T]/Writes[T]的场景中自动解析。

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