null как экземпляр параметра типа

Question

Хорошо, я знаю, что лучше использовать нули в качестве дизайна, но в этом случае я должен. Почему следующее не компилируется?

def test[T<:AnyRef](o :Option[T]) :T = o getOrElse null 

Error:(19, 53) type mismatch; 
       found : Null(null) 
       required: T 
       Note: implicit method foreignKeyType is not applicable here because it comes after the application point and it lacks an explicit result type 
def test[T<:AnyRef](o :Option[T]) :T = o getOrElse null 
               ^

Answer 1

Null - это подтип всех ссылочных типов, но факт, что T является подтипом AnyRef, не гарантирует, что T является ссылочным типом - в частности, Nothing является подтипом AnyRef, который не содержит null.

Ваш код работает, если вы добавите нижнюю границу:

def test[T >:Null <:AnyRef](o :Option[T]) :T = o getOrElse null; 

Он работает:

scala> def test[T >:Null <:AnyRef](o :Option[T]) :T = o getOrElse null; 
test: [T >: Null <: AnyRef](o: Option[T])T 

scala> 

scala> 

scala> test(None) 
res0: Null = null 

scala> test(Some(Some)) 
res1: Some.type = Some 

Answer 2

Я не знаю, почему это не работает - Null является подтипом всех ссылочных типов в Scala, поэтому можно было бы ожидать, что это будет работать с любым T <: AnyRef. Вы можете заставить его работать с asInstanceOf:

def test[T <: AnyRef](o: Option[T]): T = o getOrElse null.asInstanceOf[T] 

(Старайтесь избегать использования null всякий раз, когда это возможно в Scala - я могу представить вам бы законное использование случай, например, когда нужно передать данные в Java коде) ,

Кстати, Option есть метод orNull который будет возвращать значение опциона, если это Some и null если это None.