Tại sao không gọi một hàm có chữ ký giống hệt nhau trong các đơn vị khác nhau dẫn đến lỗi trình biên dịch?

Question

Tại sao mã này không dẫn đến lỗi trình biên dịch? Tôi đã có thể mong đợi lỗi ví dụ 'gọi mơ hồ đến "CallMe"'. Đây có phải là lỗi trong trình biên dịch hoặc bằng ngôn ngữ không? Điều này có thể làm việc xung quanh bằng cách sử dụng tên đơn vị và một dấu chấm ở phía trước của cuộc gọi hàm nhưng điều này không bảo vệ mã người dùng và mã thư viện chống lại xung đột tên. Bạn nghĩ rằng mã của bạn đã làm một cái gì đó nhưng nó đã làm một cái gì đó khác và đó là xấu.

uses 
    Unit2, Unit3; 

{$R *.lfm} 
{ TForm1 } 
procedure TForm1.Button1Click(Sender: TObject); 
begin 
    ShowMessage(IntToStr(CallMe(5))); 
end; 

unit Unit2; 
{$mode objfpc}{$H+} 
interface 
uses 
    Classes, SysUtils; 
function CallMe(A: Integer) : Integer; 
implementation 
function CallMe(A: Integer) : Integer; 
begin 
    Result := A * 2; 
end; 
end. 

unit Unit3; 
{$mode objfpc}{$H+} 
interface 
uses 
    Classes, SysUtils; 
function CallMe(A: Integer) : Integer; 
implementation 
function CallMe(A: Integer) : Integer; 
begin 
    Result := A * -1; 
end; 
end. 

Answer 1

Từ documentation:

Nếu hai đơn vị khai báo một biến, hằng số, chủng loại, quy trình, hoặc chức năng có cùng tên, trình biên dịch sử dụng một từ đơn vị niêm yết cuối cùng trong khoản sử dụng . (Để truy cập số nhận dạng từ đơn vị khác, bạn sẽ phải thêm một bộ định danh: UnitName.Identifier.)

Answer 2

Như đã nói, theo trình thiết kế, trình biên dịch tải biểu tượng từ các đơn vị sử dụng phương pháp tiếp cận dựa trên ngăn xếp và phân tích cú pháp thông qua ngăn xếp từ lần tải cuối cùng đến lần tải đầu tiên để tìm kiếm một biểu tượng. Trạng thái tiền xử lý được hợp nhất trực tiếp vào trạng thái toàn cầu.

Quá tải đơn vị chéo là một ngoại lệ. Nếu bạn đánh dấu cả hai hàm với quá tải ; chỉ thị, bạn nhận được một lỗi (bla là tên của hàm trong các thử nghiệm)

[dcc32 Error] test.dpr: E2251 Ambiguous overloaded call to 'bla' 
    Unit1.pas(8): Related method: procedure bla; 
    Unit2.pas(8): Related method: procedure bla; 

nếu bạn có hai chữ ký khác nhau, nó sẽ chọn phù hợp tốt nhất.

quá tải chéo là một tính năng mới hơn, nhưng tôi không nhớ chính xác thời điểm nào. Tôi đoán là D2006.