Scala同文件given实例：main可访问，isort调用insert为何报错？

先还原你的场景代码（符合《Programming in Scala》第5版的示例逻辑）：

trait Ord[T]:
  def compare(a: T, b: T): Int

given intOrd: Ord[Int] with
  def compare(a: Int, b: Int): Int = a - b

def insert[T](x: T, xs: List[T])(using ord: Ord[T]): List[T] =
  xs match
    case Nil => List(x)
    case y :: ys =>
      if ord.compare(x, y) <= 0 then x :: y :: ys
      else y :: insert(x, ys)

// 移除了using参数的isort
def isort[T](xs: List[T]): List[T] =
  xs match
    case Nil => Nil
    case y :: ys => insert(y, isort(ys)) // 此处报错：找不到Ord[T]的given实例

@main def main(): Unit =
  println(isort(List(3,1,2))) // main能正常找到intOrd

核心原因：上下文参数是静态解析+显式传递的，并非动态作用域 #

Scala的using上下文参数遵循静态调用点解析规则，不是像全局变量那样在运行时动态查找：

1. main调用isort时：main的作用域里有Ord[Int]的given实例，但isort本身没有声明接收using Ord[T]参数，所以这个实例不会被自动传递到isort内部。编译器只会在调用点为被调用函数的using参数查找实例，而isort没有这个参数，所以这里不会做任何传递。
2. isort内部调用insert时：insert需要Ord[T]的given实例，但isort的函数体内没有针对泛型T的given实例（你定义的intOrd是Ord[Int]，只针对Int类型，而isort的T是任意类型）。编译器无法为任意泛型T找到通用的Ord[T]实例，因此报错。

解决方式 #

只要给isort加上对应的using参数，编译器就会自动把main中的intOrd传递给isort，再由isort传递给insert：

def isort[T](xs: List[T])(using ord: Ord[T]): List[T] =
  xs match
    case Nil => Nil
    case y :: ys => insert(y, isort(ys))

这时候，isort的using参数相当于一个"接力棒"，把调用者上下文的given实例传递给内部的insert调用，符合Scala上下文参数的设计逻辑——显式声明依赖，让编译器自动完成传递，而非隐式的动态作用域查找。

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