虛擬佔位符

Question

如何製作所有其他類型的子類型的返回類型。我想要以下

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

TODO是什麼類型？

Answer 1

實現TGE方法體Scala中「所有其他類型的子類型」是Nothing。你可以做這樣的事情：

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

def bar(): String = TODO

def baz(): Int = TODO

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

編輯：

OK，如OP接受我的回答對一個奇怪的原因，人們一直upvoting它（對於一個更奇怪的原因），我感到有責任來改變我的答案。所有學分去om-nom-nom：

您正在尋找已經在Scala Standard Library實現和工作原理是這樣的事情：

def foo(): Int = ??? 

Answer 2

Nothing是每種類型的子類型，它沒有居住者。這是一個throw的類型，所以簡單地通過投擲

def todo(): Nothing = throw new NotYetException