类型与泛型求和类型不匹配
[英]Type mismatch with generics sum type
问题描述
I have a sum trait, that looks like as follow: 
我有一个总和特征，如下所示：
sealed trait Sum[+A, +B]
final case class Failure[A](value: A) extends Sum[A, Nothing]
final case class Success[B](value: B) extends Sum[Nothing, B]
When I try to create a new variable as: 当我尝试创建一个新变量时：
val s1: Sum[Int, Nothing] = Success(4)
I've got following error: 我遇到以下错误：
Error:(5, 41) type mismatch;
found : Int(4)
required: Nothing
val s1: Sum[Int, Nothing] = Success(4)
Why? 为什么？
And why this is working: 以及为什么这样做：
val s1: Sum[Int, Int] = Success(4)
1 个解决方案
解决方案1
4 已采纳 2017-04-03 07:39:28
因为B是第二个类型参数，而不是第一个：
val s1: Sum[Nothing, Int] = Success(4)
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.
相关问题
Scala泛型类型不匹配 - Scala generics type mismatch
Scala类型与泛型不匹配 - Scala type mismatch with generics
Scala泛型和类型不匹配 - Scala generics and type mismatch
使用 classOf Scala 键入不匹配的泛型 - Type mismatch generics with classOf Scala
Scala泛型：类型与折叠不匹配 - Scala generics: type mismatch with folding
Spark UDAF泛型类型不匹配 - Spark UDAF generics type mismatch
Scala和Java泛型-类型不匹配错误 - Scala and Java Generics - Type Mismatch Error
在Scala中使用泛型时发生错误类型不匹配 - Error type mismatch while using generics in scala
Java / Scala有界泛型和类型推断不匹配 - Java/Scala Bounded Generics and type inference mismatch
Scala类型与泛型ArraySeq [T]而不是Array [T]不匹配 - Scala type mismatch with generics ArraySeq[T] instead of Array[T]
相关标签