[GotoFinal]

#java #programowanie
Huh, drobna zagadka bo jakoś natrafiłem na taki ciekawszy przypadek, mamy bibliotekę z takimi metodami w jednej klasie:

Object[] doSomething()
String doSomething();

Używamy tego w naszym kodzie i robimy costam.doSomething(), jak to się skompiluje?
A jak to się skompiluje jeśli zamiast Object/String będzie tam np int i double?

[GotoFinal]

@afe1: @Masuq0: @AwizisieAkat: @Ewentualnie: @Sarseth:
javac w obu przypadkach skompiluje ten kod i wybierze pierwszą metodę z pliku.
eclipse... z obiektami sobie radzi, ale jak jedna z metod zwraca prymityw to wywali compile errora.

Większość IDE oba przypadki uważa za error, intellij dość ciekawie, bo w przypadku 2 metod double i int wybiera sobie losową metodą która myśli że się wykona (czyli

[afe1]

@GotoFinal: no wlasnie wynika z linku ze ma. Ten kod ktory widzisz po dekompilacji biblioteki to nie to co uruchamiane jest na dalviku.

the entire signature is being used including the function name, the argument types and the return type!

[GotoFinal]

@afe1: no ale pytanie jest o użycie tego, nie o bibliotekę :< w kodzie javy jak używasz metody to nie podajesz return type jakiego oczekujesz.

[afe1]

@GotoFinal: czym skompilowana biblioteka? bo na pewno nie javac gdyz oraclowski kompilator sprawdza name+parameters. Kotlin jak widac name+parameters+return type, wiec jvm musi umiec rozrozniac te metody.

[GotoFinal]

@afe1: no nie javac, a czy to ważne czym? metoda dodana np pluginem mavena po kompilacji za pomocą ASM, albo wlasnie kotlinem na takiej zasadzie: https://gist.github.com/GotoFinal/874746d6a58be07534b2a5f5d6e23978
nie ważne czym, jest i działa i to wiem i znam od zawsze.
Ale fakt że kompilatory się tak dziwnie przy tym zachowują to nie... szczególnie że eclipse zachowuje się inaczej niż javac.
IDE też się dziwnie zachowują.

[afe1]

no nie javac, a czy to ważne czym?

@GotoFinal: no wazne bo jezyk Java nie rozroznia a JVM rozroznia bo w JVM signature obejmuje return type

[GotoFinal]

@afe1: no to wiem, ale nie o to jest tutaj pytanie, tylko jak zachowa się javac kiedy już chcemy tego użyć :D Bardziej spodziewałem się błędu o ambiguous call jak w innych przypadkach kiedy więcej niż 1 metoda pasuje. A tu jednak... wybiera pierwszą i co ważniejsze, nie widze by te zachowanie było gdzieś opisane, czyli tak wlasciwe to można potraktować jako undefined behavior jak @AwizisieAkat pisał. Chyba że

[afe1]

@GotoFinal: hehe dobra, przeczytalem caly watek i wlasnie widze ze opisuje to co wczensije napisales (－‸ლ)

[GotoFinal]

@afe1: że niby ten opisuje to co ja pisałem? https://news.ycombinator.com/item?id=13976533
Przecież tam nawet nikt nie wspomniał że takie użycie się kompiluje i którą metodę wybierze, tylko gadali teoretycznie o możliwościach.

[afe1]

@GotoFinal: nie nie, ja pisalem o uwzglednieniu return type o czym wczesniej wspomniales :) klniknij na link do bloga i tam jest info ze dalvik bierze pod uwage return type

[GotoFinal]

@afe1: a no to każde JVM bierze pod uwagę return type, to jest w specyfikacji i musi tak działać :P