代码之家 › 专栏 › 技术社区 › Cory Klein

将case对象文字声明为其父类型?

scala

Cory Klein · 技术社区 · 3 年前

我有个独生子女 Banana 类并希望避免后期修复 .type

sealed trait Banana
case object Banana extends Banana

现在我可以有干净的方法签名,比如 def peel(foo: String): Banana

不过有一个小麻烦-我很难提到 case对象 同时希望它实际上是父类型。观察:

scala> sealed trait Banana; case object Banana extends Banana
trait Banana
object Banana

scala> Banana
val res0: Banana.type = Banana

scala> val banana: Banana = Banana
val banana: Banana = Banana

现在在上面, res0 Banana.type ,这不是我要找的类型! banana 字面意义的 的

Banana.asInstanceOf[Banana] 工作,但围绕整个讨厌的“编译时安全”的事情。

1 回复 | 直到 3 年前

HTNW 3 年前

认识到这是可行的:

type Banana = Banana.type
object Banana {
  // ...
}

最好只是不

如果你真的使用了黑客,请注意 expr: Type 是表达式(称为类型归属):

sealed trait Banana; case object Banana extends Banana
def f[T](x: T)(implicit eq: T =:= Banana): T = x
// f(Banana) // tries to call with T = Banana.type, fails
f(Banana: Banana) // calls f with the right T = Banana instead of T = Banana.type

推荐文章

davidzxc574 · 将字符串缩放为字符

2 年前

yic_l · 什么是“!”在这个函数中是什么意思?

2 年前

Jelly · Scala:用于理解递归未来

2 年前

to.mane · Scala—如何使用接收对象作为参数的构造函数创建类

2 年前

bbgghh · 在scala中连接两个列表时如何处理不匹配的键

2 年前

OdiumPura · 使用JDBC(Sql server)查询tempview

2 年前

Iheb Mar · 卡夫卡制作人/消费者粉碎每一秒的API调用

2 年前

B. Bal · 在Scala中重用类成员

2 年前

RomanGoltsov · Scala、Cassandra、Quill、Need impl logget批处理模式

2 年前

S.Hashiba · 哪个名称空间是正确的,“com.typesafe.sbt”还是“com.github.sbt”?

2 年前