Защото не можете да разберете само от извикването на метода какъв трябва да бъде типът на връщането. Компилаторът трябва да може да каже, използвайки само информация в сайта за повикване, какъв метод да извика. Върнатите стойности може да бъдат отхвърлени, така че като цяло не можете да знаете, че има върната стойност и какъв е нейният тип. става още по-объркващо, след като започнете да мислите за принуждавания на типове (short->int) или кастинги.
По принцип, когато компилаторът види извикване на метод, той знае, че всички аргументи трябва да са там, за да бъде валидно извикване на метод, така че може да използва тези аргументи, за да намери правилния метод за извикване. Но върнатите стойности няма да бъдат известни по време на извикването и дори типът на върнатата стойност може да не бъде открит.
person
luke
schedule
16.06.2010