Scala中输入函数参数的类型约束

Question

我正在尝试创建一个高阶函数，它对输入函数接受的参数类型有一个上限。

展示问题的幼稚尝试的玩具示例：

class A
class B extends A

def AFunc(f: A => Unit): Unit = {}

AFunc((b: B) => {})

//<console>:14: error: type mismatch;
// found   : B => Unit
// required: A => Unit
//       AFunc((b: B) => {})

我认为这不起作用，因为函数的参数是逆变的，所以 B => Unit 是 A => Unit 的超类型。

有可能让它与像这样的多态函数一起工作：

class A
class B extends A

def AFunc[T <: A](f: T => Unit): Unit = {}

AFunc[B]((b: B) => {})

这个解决方案的缺点是要求调用者知道传递函数参数的确切类型，尽管所有 AFunc 关心的类型是它是 A 的子类型。

有没有一种类型安全的方法可以在不显式传递类型的情况下强制执行类型约束？

Answer 1

您的问题不是由于语言结构的限制，而是概念性的。函数的参数是逆变的是有原因的。

如果我们将您的代码稍微扩展为以下情况，您会期望发生什么：

class A
class B extends A

def AFunc(f: A => Unit): Unit = {
  f(new A) // let's use the function f
}

AFunc((b: B) => {}) // ???

这将如何编译？方法 AFunc 显然需要一种方法来处理 A 类型的值，但您只提供了一种方法来处理这些值的一个子集（= B 类型的值）。

当然，您可以按照您的方式使您的方法具有多态性，顺便说一句，您甚至不需要在调用站点指定参数类型，因为它会被推断出来。但是，这不是“解决方案”。这只是另一回事。现在不是说“我需要一个处理A 类型的值的函数”，而是说“我需要一个处理A 的一个特定子类型的函数，但我会接受你决定的任何子类型” .

所以，正如 StackOverflow 上经常发生的那样，我不得不问你 - 你想要实现什么？你的方法AFunc 是要处理各种As，还是一次只处理一个特定的子类型？

如果是后者，使用上限进行参数化（如您所做的那样）应该没问题。如果您决定不在调用站点指定类型，请小心推断，因为有时您的代码可能会编译只是因为编译器推断出与您预期不同的内容（我从您问题中的 cmets 中看到您已经发现了这种行为）。但是，如果参数方法确实是您需要的，那么我不明白为什么在调用站点指定类型会成为问题。

尽管所有 AFunc 关心的类型是它是 A 的子类型。

当然，AFunc 不在乎。但是来电者确实如此。我的意思是，有人必须关心，对吧？ :) 同样，如果不了解您正在解决的实际问题，很难继续讨论，但如果您想提供更多详细信息，我很乐意提供帮助。