作者:哇哈时候_206 | 来源:互联网 | 2022-12-08 14:29
Delphi 10.2.3中的以下代码:
uses
System.SysUtils;
type
TRec = record
strict private
FName: String;
FValue: Integer;
public
property Name: String read FName;
property Value: Integer read FValue;
constructor Create(const AName: String);
function WithValue(const AValue: Integer): TRec;
end;
constructor TRec.Create(const AName: String);
begin
FName := AName;
end;
function TRec.WithValue(const AValue: Integer): TRec;
begin
Result := Self;
Result.FValue := AValue;
end;
procedure Main;
var
x: TRec;
begin
x := TRec.Create('First').WithValue(666);
x := TRec.Create('Second');
Writeln('In stack: ', x.Value);
end;
var
x: TRec;
begin
x := TRec.Create('First').WithValue(666);
x := TRec.Create('Second');
Writeln('In global: ', x.Value);
Main;
Readln;
end.
进行以下输出:
In global: 0
In stack: 666
这是打算这样的吗?当对数据段中的全局变量进行赋值时,编译器会生成"call @CopyRecord"行,但是当使用来自堆栈的局部变量时,编译器不会添加此行...
对于全球:
Project17.dpr.47: x := TRec.Create('First').WithValue(666);
0041D56B 8D45E0 lea eax,[ebp-$20]
0041D56E BA44D64100 mov edx,$0041d644
0041D573 E87CDAFFFF call TRec.Create
0041D578 8D55E0 lea edx,[ebp-$20]
0041D57B B8C0584200 mov eax,$004258c0
0041D580 8B0D64AF4100 mov ecx,[$0041af64]
0041D586 E865B2FEFF call @CopyRecord
0041D58B B8C0584200 mov eax,$004258c0
0041D590 8D4DE8 lea ecx,[ebp-$18]
0041D593 BA9A020000 mov edx,$0000029a
0041D598 E877DAFFFF call TRec.WithValue
0041D59D 8D55E8 lea edx,[ebp-$18]
0041D5A0 B8B8584200 mov eax,$004258b8
0041D5A5 8B0D64AF4100 mov ecx,[$0041af64]
0041D5AB E840B2FEFF call @CopyRecord
Project17.dpr.48: x := TRec.Create('Second');
0041D5B0 8D45D8 lea eax,[ebp-$28]
0041D5B3 BA5CD64100 mov edx,$0041d65c
0041D5B8 E837DAFFFF call TRec.Create
0041D5BD 8D55D8 lea edx,[ebp-$28]
0041D5C0 B8B8584200 mov eax,$004258b8
0041D5C5 8B0D64AF4100 mov ecx,[$0041af64]
0041D5CB E820B2FEFF call @CopyRecord
对于本地:
Project17.dpr.39: x := TRec.Create('First').WithValue(666);
0041B074 8D45F0 lea eax,[ebp-$10]
0041B077 BAF8B04100 mov edx,$0041b0f8
0041B07C E873FFFFFF call TRec.Create
0041B081 8D45F0 lea eax,[ebp-$10]
0041B084 8D4DF8 lea ecx,[ebp-$08]
0041B087 BA9A020000 mov edx,$0000029a
0041B08C E883FFFFFF call TRec.WithValue
Project17.dpr.40: x := TRec.Create('Second');
0041B091 8D45F8 lea eax,[ebp-$08]
0041B094 BA10B14100 mov edx,$0041b110
0041B099 E856FFFFFF call TRec.Create
Project17.dpr.41: Writeln('In stack: ', x.Value);
0041B09E A1ACF54100 mov eax,[$0041f5ac]
0041B0A3 BA2CB14100 mov edx,$0041b12c
0041B0A8 E87BA8FEFF call @Write0UString
我应该总是在记录的每个构造函数中使用这样的行吗?
Self := Default(TRec);
因为如果我添加这一行,那么输出是直观的,并且对于两种情况都返回0.
1> David Heffer..:
这是打算这样的吗?
记录是值类型.分配此类型的局部变量时,它们不是默认初始化的.所以,是的,这是按照设计的.
执行默认初始化:
全局变量
类实例
托管类型的所有变量
我应该总是在记录的每个构造函数中使用这样的行吗?
Self := Default(TRec);
是的,如果您希望构造函数初始化记录的每个字段.
就个人而言,就可读性而言,我不是记录构造者的忠实粉丝.当我看见:
foo := TBar.Create(...);
我希望foo
是一个类的实例,因此我也希望看到foo.Free
实例的生命周期结束时的调用.
我自己倾向于使用静态类方法,总是命名New
,来构造新的值类型实例.
我也不是你的WithValue
实例方法的忠实粉丝.我认为强迫你的类的使用者用一个名字填充一个实例,然后WithValue
通过提供一个值调用该实例来完成作业,这感觉有点笨拙.我写的是这样的:
type
TRec = record
strict private
FName: String;
FValue: Integer;
public
property Name: String read FName;
property Value: Integer read FValue;
public
class function New(const Name: String; const Value: Integer): TRec; static;
end;
class function TRec.New(const Name: String; const Value: Integer): TRec;
begin
Result.FName := Name;
Result.FValue := Value;
end;
我认为我的答案的第二部分很大程度上取决于个人偏好.我不相信任何一种方法在绝对意义上都更好.