Question

考虑以下计划：

program IntegerOverloads;
{$APPTYPE CONSOLE}

procedure WordOrCardinal(Value: Word); overload;
begin
  Writeln('Word');
end;

procedure WordOrCardinal(Value: Cardinal); overload;
begin
  Writeln('Cardinal');
end;

procedure SmallintOrInteger(Value: Smallint); overload;
begin
  Writeln('Smallint');
end;

procedure SmallintOrInteger(Value: Integer); overload;
begin
  Writeln('Integer');
end;

procedure ShortintOrSmallint(Value: Shortint); overload;
begin
  Writeln('Shortint');
end;

procedure ShortintOrSmallint(Value: Smallint); overload;
begin
  Writeln('Smallint');
end;

procedure Main;
var
  _integer: Integer;
  _cardinal: Cardinal;
  _word: Word;
begin
  WordOrCardinal(_Integer);
  SmallintOrInteger(_cardinal);
  ShortintOrSmallint(_word);
end;

begin
  Main;
  Readln;
end.

XE2编译时的输出是：

Cardinal
Integer
Smallint

Delphi 6编译时的输出是：

Word
Smallint
Shortint

documentation州（强调我的）：

您可以传递给非重载的例程参数类型与任何例程声明中的相同，但是与多个参数分配兼容宣言。当例程过载时，这种情况最常发生具有不同的整数类型或不同的实际类型 - 例如：
procedure Store(X: Longint); overload;
procedure Store(X: Shortint); overload;
在这些情况下，如果可以毫不含糊地这样做，那么编译器调用其参数为类型的例程适应通话中实际参数的最小范围。

但这似乎适用于此。示例代码中的过程调用都不接受适合调用中实际参数的类型。

我找不到任何描述编译器遵循的规则的文档。有人能指点我这样的文件吗？

以下文章提示了这个问题：

更新

Ken White的评论提示，我写了另一个程序来说明一些更奇怪的事情：

program IntegerOverloadsPart2;
{$APPTYPE CONSOLE}

procedure Test(Value: Byte); overload;
begin
  Writeln('Byte');
end;

procedure Test(Value: Word); overload;
begin
  Writeln('Word');
end;

procedure Test(Value: Cardinal); overload;
begin
  Writeln('Cardinal');
end;

procedure Test(Value: Uint64); overload;
begin
  Writeln('Uint64');
end;

procedure Main;
var
  _byte: Byte;
  _shortint: Shortint;
  _word: Word;
  _smallint: Smallint;
  _cardinal: Cardinal;
  _integer: Integer;
  _uint64: UInt64;
  _int64: Int64;
begin
  Writeln('Unsigned variables passed as parameters:');
  Test(_byte);
  Test(_word);
  Test(_cardinal);
  Test(_uint64);
  Writeln;
  Writeln('Signed variables passed as parameters:');
  Test(_shortint);
  Test(_smallint);
  Test(_integer);
  Test(_int64);
end;

begin
  Main;
  Readln;
end.

当由XE2编译时，输出为：

Unsigned variables passed as parameters:
Byte
Word
Cardinal
Uint64

Signed variables passed as parameters:
Uint64
Uint64
Uint64
Uint64

在Delphi 6上我必须删除UInt64重载，因为Delphi 6上不存在该类型，输出是：

Unsigned variables passed as parameters:
Byte
Word
Cardinal

Signed variables passed as parameters:
Byte
Byte
Byte

同样，这两种行为都不符合以下陈述：

在这些情况下，如果可以毫不含糊地这样做，那么编译器调用其参数为类型的例程适应通话中实际参数的最小范围。

Answer 1

无符号类型都不能容纳签名类型;引用的文档与您的示例一致 - 它只是没有说明编译器将如何处理它们。另一方面，签名类型可以容纳无符号类型（SmallInt容纳字节，LongInt容纳Word，Int64容纳Cardinal）：

program IntegerOverloadsPart3;
{$APPTYPE CONSOLE}

procedure Test(Value: ShortInt); overload;
begin
  Writeln('Short');
end;

procedure Test(Value: SmallInt); overload;
begin
  Writeln('Small');
end;

procedure Test(Value: LongInt); overload;
begin
  Writeln('Long');
end;

procedure Test(Value: Int64); overload;
begin
  Writeln('64');
end;

procedure Main;
var
  _byte: Byte;
  _word: Word;
  _cardinal: Cardinal;
  _uint64: UInt64;
begin
  Writeln('Unsigned variables passed as parameters:');
  Test(_byte);
  Test(_word);
  Test(_cardinal);
  Test(_uint64);
  Writeln;
end;

begin
  Main;
  Readln;
end.

Delphi XE输出：

Small
Long
64
64

Delphi如何使用积分参数解决重载函数？

更新

1 个答案: