Given 导入

为了更清楚地说明当前作用域中的 given 来自何处，我们使用一种特殊形式的 import 语句来导入 given 实例。 此示例中显示了基本形式：

object A:
  class TC
  given tc: TC = ???
  def f(using TC) = ???

object B:
  import A.*       // import all non-given members
  import A.given   // import the given instance

在此代码中，对象 B 的 import A.* 子句导入 A 的所有成员除了 given 实例 tc。 相反，第二个导入 import A.given 仅导入 given 实例。 两个 import 子句也可以合并为一个：

object B:
  import A.{given, *}

讨论

通配符选择器 * 将除 given 或扩展之外的所有定义都导入作用域，而 given 选择器将所有 given 定义—包括由扩展而来的定义—导入作用域。

这些规则有两个主要优点：

• 更清楚当前作用域内 given 的来源。 特别是，在一长串其他通配符导入中无法隐藏导入的 given 。
• 它可以导入所有 given ，而无需导入任何其他内容。 这很重要，因为 given 是可以匿名的，因此通常使用命名导入是不切实际的。

“导入 given”语法的更多示例见 package 和 import 章节。