谁能解释下Delphi这种定义为什么能通过

unit Unit1;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, StdCtrls;

type
  TForm1 = class(TForm)
    Button1: TButton;
    procedure Button1Click(Sender: TObject);
    procedure Button2Click(Sender: TObject);
  private
    procedure show(i : Integer);
    { Private declarations }
  public
    { Public declarations }
  end;

var
  Form1: TForm1;

implementation

{$R *.dfm}

{ TForm1 }

procedure TForm1.show;
begin
  ShowMessage(IntToStr(i));
end;

procedure TForm1.Button1Click(Sender: TObject);
begin
  show(1);
end;

show过程定义中，声明中有形参声明，但过程体中却不用声明形参。这种情况为什么Delphi能编译通过；但如果定义的是函数，按照类似的写法则无法通过。 过程定义 形参声明
[解决办法]

//的确是这样，原先俺也不知道，等大鸟来解答。
//试验了一下，结果正常
procedure show(str:string);
procedure TForm1.show;
begin
 ShowMessage(str);
end;

procedure btn1Click(Sender: TObject);
procedure TForm1.btn1Click;
begin
  show(Sender.ClassName); // 正确输出'TButton'
end;

// 还有种区别，普通类型（如Integer,由编译器扩展而来非真正的类型）和VCL类型（如Tobject）
procedure show(i:integer);

//var i:integer;// 全局变量，提示错误，i重复声明
procedure TForm1.show;
// var i:integer // 或者在这里局部声明i也是重复声明错误
begin
 ShowMessage(IntToStr(i));
end;

// 但是如果同上面那样声明同名VCL类型变量不会提示错误
procedure btn1Click(Sender: TObject);

// var Sender:Tobject;  // 通过
procedure TForm1.btn1Click;
// var Sender:Tobject; // 也通过
begin
  show(Sender.ClassName);
end;

// 还试验了下重载show,像LZ这样写法后，show就不允许有重载声明了
// 像LZ提到的这种情况应该没必要深究吧，也应该杜绝这种写法。