scala要么模式匹配

发布时间：2020-12-16 19:17:51 所属栏目：安全来源：网络整理

导读：这段代码有什么问题？ (Left("aoeu")) match{case Right(x) = ; case Left(x) = } console:6: error: constructor cannot be instantiated to expected type; found : Right[A,B] required: Left[java.lang.String,Nothing] 为什么模式匹配器没有跳过右边并

这段代码有什么问题？

(Left("aoeu")) match{case Right(x) => ; case Left(x) => }

<console>:6: error: constructor cannot be instantiated to expected type;
 found   : Right[A,B]
 required: Left[java.lang.String,Nothing]

为什么模式匹配器没有跳过右边并检查左？

解决方法

隐式类型推断Left(“aoeu”)是Left [String,Nothing].您需要明确键入它.

(Left("aoeu"): Either[String,String]) match{case Right(x) => ; case Left(x) => }

似乎模式匹配候选者必须始终是匹配匹配值的类型.

scala> case class X(a: String) 
defined class X

scala> case class Y(a: String) 
defined class Y

scala> X("hi") match {  
     | case Y("hi") => ;
     | case X("hi") => ;
     | }
<console>:11: error: constructor cannot be instantiated to expected type;
 found   : Y
 required: X
       case Y("hi") => ;
            ^

为什么它会像这样？我怀疑没有充分的理由尝试匹配不兼容的类型.试图这样做表明开发人员没有写出他们真正想要的东西.编译器错误有助于防止错误.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!