斯卡拉中的字符串伴随对象

Question

给定一个具有"转换器"的类型，我希望使用此类型的伴随对象在方法调用上进行自动转换。也就是说，给定以下定义，

case class Converted(name: String)
trait Converter[A] {
  def perform: Converted
}
implicit val StringConverter = new Converter[String] {
  def perform = Converted("String")
}

使以下代码正常工作：

implicit def toConverter(a: String.type): Converted = 
  implicitly[Converter[String]].perform // Error: `Found String.type, required AnyRef`
def f(needsConverted: Converted) = ???
f(String) // <- That's what I would like to be able to write.

但这失败了，两次转换尝试都失败了。请注意，我无法更改f因为它是由第三方库提供的，而且其中有很多。

1. 我可以使用隐式进行f(String)编译吗？

---

如果字符串不可能，那么具有伴随对象的类呢，我可以像这样做吗：

object TheClass
case class TheClass()
implicit val TheClassConverter = new Converter[TheClass] {
  def perform = Converted("TheClass")
}
implicit def toConverter[A: Converter](a: A.type): Converted =
  implicitly[Converter[A]].perform // Error: `Not found value A`
implicit def toConverter(a: TheClass.type): Converted = 
  implicitly[Converter[TheClass]].perform // This works but is not generic
f(TheClass) // This works.

2. 我可以制作第一个编译toConverter吗？

Answer 1

您可以为配套类型定义隐式实例，而不是为类型MyClass定义隐式实例MyClass.type。

implicit val TheClassConverter: Converter[MyClass.type] = new Converted[MyClass.type] {
  def perform = Converted("MyClass")
}

Answer 2

我可以使用隐式使 f(字符串( 编译吗？

不。当然，您可以定义一个名为 String 的值，但它与类型 String 无关。

implicit toConverter[A: Converter](a: A.type): Converted =
    implicitly[Converter[A]].perform

A.type 中的A必须是值;它与类型参数 A 无关。

事实上，就 Scala 的类型系统而言，类/特征与其配套对象之间没有关系。所以你不能做你想做的事。

当然，如果你不坚持使用()而不是[]，那就变得微不足道了：

def f1[A: Converter] = f(implicitly[Converter[A]].perform)
f1[String]
f1[TheClass]

Answer 3

不确定，你想完成什么，但以下对我有用

case class Converted(name: String)
trait Converter[A] {
  def perform: Converted
}
implicit def toConverted(name: String) = Converted("String")
implicit def toIntConverted(int: Int) = Converted("Int")
def f(needsConverted: Converted): String = needsConverted.name
f("some")
f(5)