scala - 将函数从类型 T 转换为类型 U> :T

Question

我有一个关于创建一个由函数 T=>Boolean 表示的逆变集的问题，如果集合中有内容，则返回 true，否则返回 false。它看起来像这样:

class BoolSet[-T](f: T=>Boolean) {

  def contains(x:T): Boolean = f(x)

  def add(x:T): BoolSet[T] = return new BoolSet[T](((y: T)=> f(y) || y==x))

  def remove(x:T): BoolSet[T] = if(f(x)) return new BoolSet[T](((y: T)=> f(y) && y!=x)) else return this

  def union[U>:T](s : BoolSet[U]) : BoolSet[U] = return new BoolSet[U](((y: U) => this.contains(y) || s.contains(y)))

}

我在使用联合函数时遇到问题，因为 this.contains是一个函数 T=>Boolean而不是 U=>Boolean .如何将此函数从 T 型转换为 U 型？

我不明白为什么这不起作用，因为 T 是 U 的子类型，所以你可以做的一切 T 也可以做吗？

Answer 1

您应该更改方法的签名 union到

def union[U<:T](s : BoolSet[U]) : BoolSet[U]

或

def union[U>:T](s : BoolSet[U]) : BoolSet[T]

原因是类型 T是 逆变在类 BoolSet , 表示 BoolSet[A]是 BoolSet[B] 的子类型如果 B <: A .