Бага или фича?

[beria]

Я на фрипасе работаю недавно, но вот уже несколько раз сталкивался с тем что подобный вполне реальный код..

Код: Выделить всё

TListHTML = class(TList)
      function Get(Index: integer): THTML; overload;
      function Get(Index: integer): PHTML; overload;
   end; 
 

или просто

Код: Выделить всё

TListHTML = class(TList)
      function Get(Index: integer): THTML; 
      function Get(Index: integer): PHTML;
   end;

 

прекрасно в модуле компилируется, абсолютно правильно редактор Лазаруса дает подсказку по параметрам вызова (тип возвращаемого значения совершенно разный и разного размера)..... но используется только и та функция, которая стоит первой, а вторую как-бы линковщик вообще не видит как факт, хотя внутренние имена, что можно подсмотреть, им даются разные.

[Awkward]

Скорее, баг, ибо компилятор должен был ругаться. Мне казалось, перегруженные функции должны отличаться типами параметров, а не только лишь возвращаемым значением, которое может быть проигнорировано. Ну, т.е. вполне логично, что код не работает как ожидаемо. Неясно, почему ошибка компиляции не выдаётся при этом.

[zub]

ЕМНИП перегружать по типу результата нельзя
фича

[hinst]

багофича

[sts]

В делфе нельзя, не компилится, хотя это эквивалентно:

Код: Выделить всё

   TListHTML = class(TList)
      procedure Get(Index: integer; out Result: THTML); overload;
      procedure Get(Index: integer; out Result: PHTML); overload;
   end;

и работает.
подозреваю вызывается одна потому что срабатывает сахар связанный с обработкой переменных типа P = ^T,
ранее надо было обязательно писать P^:= T, а сахар позволил не писать ^, и работает все нормально чисто случайно, не возникала ситуация когда надо передать именно указатель а не содержимое, пошукайте в эту сторону.