虚拟占位符

Question

如何创建一个返回类型,它是所有其他类型的子类型.我想要以下内容

def foo(): (String => String) = TODO
def bar(): String = TODO
def baz(): Int = TODO

应该TODO是什么类型的？

Answer 1

Scala中的"所有其他类型的子类型"是Nothing.你可能会这样做:

def foo(): (String => String) = TODO

def bar(): String = TODO

def baz(): Int = TODO

def TODO: Nothing = throw new UnsupportedOperationException("not implemented")

编辑:

好的,因为OP因为一个奇怪的原因接受了我的回答而且人们继续推销它(出于一个更奇怪的原因)我觉得有责任改变我的答案.所有学分都归om-nom-nom:

您正在寻找的东西已在Scala标准库中实现,其工作方式如下:

def foo(): Int = ???