Question

这个示例代码基于Atmosphere类，但是如果有人能够给我一些关于错误意味着什么的一些见解，我想我可以找出任何Atmosphere特定的解决方案......

val bc = BroadcasterFactory.getDefault().lookup(_broadcasterId) 
bc.broadcast(message)

在第一行之后，bc应该包含一个对象的句柄，该对象的类定义包括方法broadcast（） - 实际上，它包含几个重载的变体。但是，编译器在第二行代码上扼杀了以下内容：“值广播不是Nothing的成员”

关于导致此问题的任何想法/建议？

感谢。

编辑：[BroadcasterFactor]签名.lookup： abstract Broadcaster lookup（Object id）

注意：1）这是我在示例中使用的签名版本，2）它是java Inteface签名 - 而getDefault（）则返回实现该接口的实例化对象。

解决方案：强制类型转换为值：

val bc: Broadcaster = BroadcasterFactory.getDefault().lookup(_broadcasterId)

Answer 1

Nothing是类型名称。它是所有其他类型的子类型。您无法从Nothing本身调用方法，您必须指定确切类型（(bc: ExactType).broadcast(message)）。 Nothing没有实例。返回Nothing的方法实际上永远不会返回值。它最终会抛出异常。

类型推断

Definition of lookup：

abstract public <T extends Broadcaster> T  lookup(Object id);

scala中的

这个定义是这样的：

def lookup[T <: Broadcaster](Object id): T

lookup方法中没有指定类型参数。在这种情况下，编译器会将此类型参数推断为最具体的类型 - Nothing：

scala> def test[T](i: Int): T = ???
test: [T](i: Int)T

scala> lazy val x = test(1)
x: Nothing = <lazy>                                                                                                                                            

scala> lazy val x = test[String](1)                                                                                                                            
x: String = <lazy>

您可以像这样指定类型参数：

val bc = BroadcasterFactory.getDefault().lookup[Broadcaster](_broadcasterId)

草稿实施

在开发过程中，lookup可以像这样“实施”：

def lookup(...) = ???

???返回Nothing。

您应指定lookup方法的结果类型，如下所示：def lookup(...): <TypeHere> = ...或类型bc：val bc: <TypeHere> =。

Scala - 如何解决“Value不是Nothing的成员”错误

1 个答案: