class - 为什么这段代码有效，Delphi 在这种情况下如何实例化一个类？

Question

我正在练习 Delphi track，并了解 Delphi 如何为表单生成代码，回答了如下基本问题之一:

unit uLeap;

interface

type
  TSYear = class
    public
      { public declarations here }
      function isLeap(y: integer): boolean;
  end;

var
TYear: TSYear;

implementation

function TSYear.isLeap(y: integer): boolean;
begin
  result := ((y mod 4) = 0) and (((y mod 400) = 0) or ((y mod 100) <> 0));
end;

end.

代码编译没有任何提示，我可以一步一步地运行它，并且“isLeap”函数以这种方式从另一个单元调用了几次:

procedure YearTest.year_divisible_by_4_not_divisible_by_100_leap_year;
begin
  assert.IsTrue(TYear.IsLeap(1996), 'Expected ''true'', 1996 is a leap year.');
end;
...

我从来没有显式地创建类的实例，但似乎 Delphi 正在某处这样做，也许是在声明 TYear 时？这是一种有效的方法吗？

尽管通过了所有测试，代码还是被拒绝了，因为它不是以传统方式完成的。我最终肯定会以不同的方式来接受它，但是，除了糟糕的命名之外，为什么这样行得通？这段代码是否会导致我在这个简单示例中看不到的地方出现问题？

Answer 1

I've never explicitly created the instance of the class, but it seems as if Delphi is doing it somewhere, maybe when declaring TYear?

不，Delphi 不会自动创建您的实例。当你声明一个类类型的变量时，它只是一个指针变量，可以指向一个有效的实例。但是你必须始终自己创建这个实例，并将指针保存在变量中:

SYear := TSYear.Create; // create a `TSYear` object and save its address in `SYear`

Is that a valid way?

没有。

[W]hy is this working?

因为你很幸运:isLeap 函数不访问类实例上的任何字段。

Would this code cause problems somewhere I can't see in this simple example?

如果函数一直在使用类实例中的任何字段，幸运的话你会得到一个 AV，如果不幸的话会导致内存损坏。

解决方案是创建一个实例并使用它:

SYear := TSYear.Create;
try
  ShowMessage(BoolToStr(SYear.IsLeap(2000), True));
finally
  SYear.Free;
end;

或者，由于您显然不需要任何实例变量来确定年份是否为闰年，因此最好将其设为 class method。 :

type
  TSYear = class
  public
    class function IsLeap(AYear: Integer): Boolean; static;
  end;

这样，它可以在没有任何类实例的情况下被调用:TSYear.IsLeap(2000)。请注意，TSYear 是类(类型)名称，而不是该类型的变量。

请参阅documentation以获得对所有这些概念的很好的概念性介绍。