5

此示例代码基于 Atmosphere 类，但如果有人可以让我了解错误的一般含义，我想我可以找出任何 Atmosphere 特定的解决方案......

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

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

关于导致这种情况的任何想法/建议？

谢谢。

编辑：[BroadcasterFactor].lookup 的签名：abstract Broadcaster lookup(Object id)

注意：1）这是我在示例中使用的签名版本，2）它是 java 接口签名 - 而 getDefault() 交还一个实现该接口的实例化对象。

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

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

1 回答 1

4

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

类型推断

的定义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> = ...: 的类型。bcval bc: <TypeHere> =

于 2013-08-02T04:03:25.717 回答