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

[zhangw198636]

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能编译通过；但如果定义的是函数，按照类似的写法则无法通过。

[hsfzxjy]

原来可以这样，我还不知道。。

[lzj198112]

应该是相当与把show函数覆盖了吧.

[sololie]

//的确是这样，原先俺也不知道，等大鸟来解答。
//试验了一下，结果正常
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提到的这种情况应该没必要深究吧，也应该杜绝这种写法。

[haitao]

是不是 不写参数，反而不再与前面的声明进行比较了

[zhangw198636]

这是在一次代码走查的时候发现的问题。其实一般也不会这么写。像LS那样说的，重载情况下是不允许的。我只是很好奇delphi为什么允许这样不严格的写法。其他语言我还没遇到这种情况。

[sololie]

要说严谨,pascal算数一数二的了。你看c\c++那大杂烩啥稀奇古怪的语法都有。 估计那是pascal历史遗留问题，也有可能是delphl的编译器要兼顾c++，你有兴趣有闲就也可以自己反汇编跟踪探个究竟。

[zhangw198636]

呵呵。有时间再研究吧。结贴散分啦

[donil]

早就发现了，delphi支持这样写，这样写的好处是，函数参数改了，实现部分不用改参数定义部分，不好的是，看实现的代码时，不知道参数怎么定义的，要切换到定义处才能看到，我还是喜欢上下都定义。