Scala 虚拟占位符

如何创建一个返回类型，它是所有其他类型的子类型。我想要以下

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

---

TODO

应该是什么类型

Nothing

是每种类型的子类型，没有居住者。这是抛出的类型，因此只需通过抛出来实现tge方法体

def todo(): Nothing = throw new NotYetException

---

Nothing

是没有居住者的每种类型的子类型。这是抛出的类型，因此只需通过抛出来实现tge方法体

def todo(): Nothing = throw new NotYetException

Scala中的“所有其他类型的子类型”是

Nothing

。您可以这样做：

def foo(): Int = ???

def foo（）：（String=>String）=TODO

def bar（）：String=TODO

def baz（）：Int=TODO

def TODO:Nothing=抛出新的不支持操作异常（“未实现”）

编辑：

好吧，OP因为一个奇怪的原因接受了我的答案，而人们一直在投票（因为一个更奇怪的原因），我觉得有责任改变我的答案。所有学分归：

您要查找的内容已在中实现，其工作原理如下：

def foo(): Int = ???

Scala中的“所有其他类型的子类型”是

Nothing

。您可以这样做：

def foo(): Int = ???

def foo（）：（String=>String）=TODO

def bar（）：String=TODO

def baz（）：Int=TODO

def TODO:Nothing=抛出新的不支持操作异常（“未实现”）

编辑：

好吧，OP因为一个奇怪的原因接受了我的答案，而人们一直在投票（因为一个更奇怪的原因），我觉得有责任改变我的答案。所有学分归：

您要查找的内容已在中实现，其工作原理如下：

def foo(): Int = ???

---

顺便说一句，您要做的已经在：

def foo（）：Int=？？？

中提供了答案。谢谢。@om-nom-nom太糟糕了，你没有写一个简短的正确答案。请看“错误”的答案。想想人们是否会把它叫做“待办事项”或其他名字。有自己的待办事项是可以的，但事实上每个人都会爱上你？？？这意味着普遍采用。顺便说一句，您要做的已经在：

def foo（）：Int=？？？

中提供了答案。谢谢。@om-nom-nom太糟糕了，你没有写一个简短的正确答案。请看“错误”的答案。想想人们是否会把它叫做“待办事项”或其他名字。有自己的待办事项是可以的，但事实上每个人都会爱上你？？？这预示着普遍采用。