IntelliJ IDEA：检测不能是相同类型的表达式的比较（==和！=）

Question

我使用IntelliJ IDEA的Scala插件，并且发现该插件的奇怪行为。让我告诉你一个代码片段：

def fun: Option[Any] => Int = { 
    case Some(x) if x.isInstanceOf[Int] => x.asInstanceOf[Int] 
    case None => 0 
} 

关于Scala代码，IDEA给我一个警告：

Comparing unrelated types 
Detects comparisons (== and !=) of expressions which cannot be the same type 

和它突出的下一条语句x.isInstanceOf[Int]。我只使用isInstanceOf运算符来确定x的类型。这是插件的错误还是我错过了Scala语法中的某些东西？

Answer 1

使用getOrElse(0)进行此操作。

编辑：

您歌厅此错误的一些（x）是不一样的诠释。
但你正在状态这里指挥过的一些（x）的第一，然后直接检查实例是否为int的，所以他们基本上没有相同的类型（INT和一些）
case Some(x) if x.isInstanceOf[Int] => x.asInstanceOf[Int]

为了避免这种情况警告：
如果您想将其保存为Option [Any]作为输入，则可以执行此类操作。

def fun(x:Option[Any]):Int = x match { 
    case x:Some[Int] => x.get 
    case x => 0 
} 

否则，如果你知道的输入将是选项[INT]然后 用它作为参数。

def fun(x:Option[Int]):Int = x match { 
    case x:Some[Int] => x.get 
    case None => 0 
} 

Answer 2

我没有得到类似的警告，但很重要的东西，你应该知道的是，你的代码是不是“case语句”完整的，具有潜在的漏洞。例如，你应该传递一些（“字符串”），你的案例行都不能处理这个问题。潜在的修正：

def fun: Option[Any] => Int = { 
    case Some(x) => if (x.isInstanceOf[Int]) x.asInstanceOf[Int] else 0 
    case None => 0 
} 

或

def fun: Option[Any] => Int = { 
    case Some(x) if x.isInstanceOf[Int] => x.asInstanceOf[Int] 
    case Some(other) => 0 
    case None => 0 
}