为啥视图绑定和上下文绑定无法检测到上下文中存在的隐含

Posted 2023-03-23

【中文标题】为啥视图绑定和上下文绑定无法检测到上下文中存在的隐含

【英文标题】：Why view bound and context bound fails to detect implicits present in the context为什么视图绑定和上下文绑定无法检测到上下文中存在的隐含

【发布时间】：2021-10-16 15:49:09

【问题描述】：

我是 scala 的新手，我正在尝试实现一个附加两个数字或字符串的方法方法“append”。

在此代码上实践的想法来自this 帖子，我指的是append 方法和Appendable trait 用于创建implicits 的示例。

我尝试使用视图绑定和上下文绑定概念在我的 IntelliJ 中复制相同的代码，但不知何故它不起作用。

任何人都可以请提出以下代码中缺少的内容吗？为什么它失败了？ 我还尝试复制相同的here。

trait Appendable[A]
  def append(a: A, b : A) : A


object Appendable 
  implicit val appendableString = new Appendable[String] 
    override def append(a: String, b : String): String = a + b
  

  implicit val appendableInt = new Appendable[Int] 
    override def append(a: Int, b : Int): Int = a + b
  


object ItemAppenderTester extends Object 
  def appendItem[A <% Appendable[A]]( a : A, b : A) = a append b
  def appendItem2[A : Appendable[A]]( a : A, b : A) = implicitly[Appendable[A]].append(a,b)

  def appendItem3(a : A, b : A) (implicit  ev : Appendable[A]) = ev.append(a,b)
  appendItem(1,2)

【参考方案1】：

def appendItem[A <% Appendable[A]]( a : A, b : A)

现在是错误的。 X <% Y 表示 (implicit ev: X => Y)。您没有定义隐式 A => Appendable[A]（与 Medium 上的文章相反，请参阅那里的 toAppendable）。 <% 也已弃用。

appendItem2 可以修复：

def appendItem2[A : Appendable]( a : A, b : A)

appendItem3 可以修复：

def appendItem3[A](a : A, b : A) (implicit  ev : Appendable[A])

实际上appendItem2被脱糖成appendItem3。