关于 Scala 中视图的问题

Question

我看到了一些例子，其中转换函数 T =>; S 作为隐式参数传递。 Scala 调用这个函数view，甚至提供特殊的语法糖 - - 视图绑定 - 对于这种情况。

然而我们已经有了隐式转换！我可以用隐式转换替换这些视图（即作为隐式参数传递的转换函数）吗？ ？我可以使用 views 做什么而不能使用隐式转换？

Answer 1

“是”有什么优势

case class Num(i: Int)
implicit def intToNum(i: Int) = Num(i)

def test[A <% Num](a: A): Int = a.i
test(33)

我对你的问题的理解是，相对于

def test2(a: Num): Int = a.i
test2(33)

？视图的含义正是这样：类型 T 可以被视为另一种类型 S。您的方法或函数可能希望首先处理 T。一个例子是 Ordered：

def sort[A <% Ordered[A]](x: A, y: A): (A, A) = if (x < y) (x, y) else (y, x)

sort(1, 2)     // --> (1,2)
sort("B", "A") // --> (A,B)

视图边界的另外两个用例：

• 您可能希望仅在某些情况下从 T 转换为 S，例如延迟
  （这在某种程度上与上面的情况相同：您基本上想要使用 T）
• 您可能想要链接隐式转换。请参阅这篇文章：如何在 Scala 中链接隐式？

Answer 2

您所说的隐式转换只不过是全局范围内的视图。

使用类型参数时，视图边界是必要的，因为它是需要隐式转换的标志。例如：

def max[T](a: T, b: T): T = if (a < b) b else a

因为 T 上没有任何约束，所以编译器不知道 < 方法可用。让我们看看编译器是否允许您继续执行此操作，然后考虑这两个调用：

max(1, 2)
max(true, false)

签名 max[T](a: T, b: T): T 中没有任何内容告诉编译器应该这样做不允许第二次调用，但应该允许第一次。这就是视图边界的用武之地：

def max[T <% Ordered[T]](a: T, b: T): T = if (a < b) b else a

它不仅告诉编译器 < 方法来自哪里，还告诉编译器 max(true, false) 不是有效的。