如何传递变量对象作为值参数

Question

我有一个自定义的数据类型和一个该类型的全局变量。我把这个全局变量作为参数传递给几个方法，变量的值似乎在无意中改变了。

我发现所有的对象都是作为引用参数传递的，即使没有声明为var参数(或者我认为是这样)。

所以我试图通过引入一个局部变量来解决这个问题，我传递对象的所有方法，然后分配局部变量给参数，然后声明对象参数为const -然而全局变量的值仍然改变，我如何克服这个问题?

{unit something}
interface
   uses
      SysUtils
   type
      ByteArr = Array of Byte;
      Num = record
         sign : byte;
         int : ByteArr;
         frac : ByteArr;
      end;
   function StrToNum(input : string):Num;
   function NumToStr(input : Num):string;
   function Dostuff(const a : Num):Num
implementation
    function StrToNum(input : string):Num;
    begin
       //code to convert a string into 'Num' type
    end;
    function NumToStr(input : Num):string;
    begin
       //code to output a string version of a 'Num' input
    end;
    function Dostuff(const a : Num):Num
    var
       somevar : num;
    begin
       somevar := a;
       code; //code to change value of 'somevar'
       result := somevar;
    end;       
end.
{console program}
uses
   something in 'something.pas';
var
   globalvar : num;
begin
   globalvar := StrToNum('2');
   writeln(NumToStr(globalvar)); //shows 2
   writeln(NumToStr(Dostuff(globalvar))); //shows correct value
   writeln(numtostr(globalvar)); //no longer displays 2
end.

Answer 1

动态数组是引用类型。您的类型ByteArr是一个动态数组，因此是一个引用类型。这种类型变量的赋值是引用赋值，而不是值赋值。

考虑以下代码:

var
  A, B: ByteArr;
....
SetLength(A, 1);
A[0] := 0;
B := A;
Writeln(A[0]);
B[0] := 42;
Writeln(A[0]);

这将输出

0
42

这是因为在B := A之后，两个变量将引用到同一个数组。

使用Copy创建一个新的数组，它是第一个数组的副本:

B := Copy(A);

Answer 2

Object是指针类型。一些指针(对象副本)可以指向相同的内存块，因此修改一个副本会影响其他副本。
您的问题没有很好地定义，但我怀疑您可能需要对象内容的"深度复制"-例如在Assign的帮助下-从TPersistent继承类并实现AssignTo方法。