Jak zwrócić wartość null z ogólnej funkcji w Scali?

Question

Piszę własną prostą implementację javax.sql.DataSource, jedyną metodą, którą muszę wykonać, jest getConnection: Connection, ale interfejs dziedziczy wiele innych metod (których nie potrzebuję) od javax.sql.CommonDataSource i java.sql.Wrapper. Tak więc chciałbym "wdrożyć" te niepotrzebne metody w taki sposób, w jaki one by nie działały, ale zachowałyby się w odpowiedni sposób po wywołaniu. Na przykład zaimplementować boolean isWrapperFor(Class<?> iface) jak

def isWrapperFor(iface: Class[_]): Boolean = false 

i chciałbym wdrożyć <T> T unwrap(Class<T> iface) jako

def unwrap[T](iface: Class[T]): T = null 

Ale ostatnio nie działa: sprawozdania kompilatora niezgodność typów.

Czy będzie prawidłowe stosowanie null.asInstanceOf[T], czy jest lepszy sposób? Oczywiście uważam, że zamiast tego rzucam UnsupportedOperationException w tym konkretnym przypadku, ale IMHO pytanie wciąż może być interesujące.

Answer 1

Dzieje się tak, ponieważ T może być typem nie podlegającym zerowaniu. To działa, kiedy wymusić T być rodzajem pustych:

def unwrap[T >: Null](iface: Class[T]): T = null 

unwrap(classOf[String]) // compiles 

unwrap(classOf[Int]) // does not compile, because Int is not nullable 

Answer 2

Jak powiedział w komentarzach, to rozwiązanie nie działa

Jeśli zrozumiałem swój problem dobrze, można również przypisać wartości domyślne, jak wyjaśniono szczegółowo w what does it mean assign "_" to a field in scala?. Można znaleźć więcej infos w 4,2 deklaracji zmiennych i definicje z The Scala Language Specification

więc można po prostu zrobić:

def unwrap[T](iface: Class[T]): T = _ 

który ustawi unwrap z null bez niedopasowania typu.

Answer 3

"Prawidłowym" rozwiązaniem jest zrobienie czegoś, co spowoduje niepowodzenie . Tak:

def unwrap[T](iface: Class[T]): T = sys.error("unimplemented") 

w Scala 2,10, to zostałby wdrożony jako:

def unwrap[T](iface: Class[T]): T = ??? 

Ponieważ nie jest to nowa metoda w Predef nazywa ???. Działa to, ponieważ wyrażenie w postaci throw new Exception ma typ Nothing, który jest podtypem dowolnego typu (nazywane jest w kręgach teoretycznych typu).

Dlatego, że jest to poprawne jest to, że jest znacznie lepiej, aby nie od razu z błędem, zamiast używać null które mogą nie później i zaciemniać sprawę.