Scala-类型参数的超类型

Question

在Scala中，我该怎么做：

def cast [Type] (x: _ >: Type, errMsg: String): Type = {
    if (x.isInstanceOf[Type]) {
        x.asInstanceOf[Type]
    } else {
        throw new Exception(errMsg) 
    }
}

x: _ >: Type （Scala中不存在的一种表示法），意思是“ x的类型是Type的任何超类型”。

Answer 1

如果x可以是Type的任何superType，那么肯定可以是Any 。 完全没有限制，您可以只写x : Any

在另一行上，由于类型擦除，您x.isInstanceOf[Type]将不做任何有用的检查。 您无法检查类型参数。 （您必须确保类型信息在运行时可用。您可以使用Manifest ）。

Answer 2

尝试这个：

def cast[T >: Type](x: T, errMsg: String): T = { ... }

但是，您可能想重新考虑Scala中显式类型转换的必要性。