move函数的用法

delphi中move函数的正确理解 收藏
我们能看到以下代码
var pSource,pDest:PChar;
     len: integer;
.......................//一些代码
Move(pSource,pDest,len); //错误
Move(pSource^,pDest^,len); //正确
看起来确实好像是传值，而不是传地址，但是各位别忘了，这不是C，C++，而是Delphi
Object Pascal,所以，绝不能从函数调用的方法判断是传值还是串地址！！必须看函数的
定义，只有定义才能说明是传值还是传地址，再说一遍，这不是C，C++！！
我们看到的函数定义是这样的
procedure Move(const Source; var Dest; Count: Integer);
从定义上看，很清楚，Dest是传地址，而不是传值，那么Source呢，其实大家不太清楚
这里的Const修饰符有两个含义，第一个大家都知道就是Source一常量方式在函数体内，
不可以改变它的值，第二个可能知道的人不多，那就是Source的传递方式和Dest一样，
是传地址！也就是说const和var一样，都是传地址，只不过一个在函数内不允许修改，
另一个是修改后影响调用的变量值
所以Move是传地址，而恰恰不是传值！

通过一段时间的学习，上面的理解是不全对的。 其实Const 关键词修饰的 Source是传值还是传地址，要看Const修饰的参数类型。如果参数是简单类型，那还是传值，如果修饰的参数不是简单类型，而是字符串（不包括短字符串），传的是地址，是实在参数的内存地址，即使没有任何关键字修饰，如 Procedure ProcA(s:string),也是传的是实参的地址，通过引用计数实现，只要在改写S的值，才写复制。 Var关键词修饰的变量肯定是传地址。对于Delphi中数据类型，我们知道声明一个变量分为两部分：”变量自身“和”变量的内存占用“。对于简单类型的变量，变量本身存储的就是变量值；而对于复杂类型（构造类型或字符串类型），则”变量自身“仅仅存放”变量的内存占用“的指针，而”变量的内存占用“有自己的存储空间，有地址值。就是说，复杂类型的”变量自身“存放的是实际数据所在地址的指针，一个4字节大小的整数值。  

   Var

      I:integer;

      s:string;

   begin

           I:=1;// 在内存中I的地址里面的值就是 1,即变量本身存储的就是变量值；

           s:='HELLO,WORLD!';// 变量本身 存放的是 ‘HELLO,WORLD!’在内存中存放的地址值，其实是其首地址。

   end;

我们再来看 Move 函数的声明：

   procedure Move( const Source; var Dest; count : Integer );

其内部实现代码：

procedure Move( const Source; var Dest; count : Integer );
var
S, D: PChar;
I: Integer;
begin
S := PChar(@Source);//取的是 Source变量的地址
D := PChar(@Dest);   //取的是 Dest变量的地址
if S = D then Exit;
if Cardinal(D) > Cardinal(S) then
    for I := count-1 downto 0 do
      D[I] := S[I]
else
    for I := 0 to count-1 do
      D[I] := S[I];
end;

现在明白为什么 Move(pSource,pDest,len); 是错误的 ，而 Move(pSource^,pDest^,len); 是正确的？尽管 pSource,pDest 声明都是PChar类型，是一个指向字符串的以NULL为字符串的指针类型的指针变量。如果Move(pSource,pDest,len)这样写，在Move的实现代码中(@pSource)取的是指针本身的地址，而不是指针指向数据的地址。注意是指针本身地址而不是数据存储的地址 ，如果这样，显然是不能实现数据移动的，拿一个指针的地址，是取不到值的；而Move(pSource^,pDest^,len); 正确，是传给函数 PChar变量的指向的地址值。pSource^，指示的是指向的实际的数据的地址。（@取出变量地址运算符）；pDest^，指向目的内存地址，Move 函数，就知道要从哪个地址开始，移动多少字节的数据到目的地址空间了，不看Move 函数的内部实现，还真不好理解其实现过程。

通过上面的分析，我们现在回过头来，再看看Move过程的声明，procedure Move( const Source; var Dest; count : Integer ); const 修饰的变量，传的实参的地址值，之所以使用Const 修饰，是不允许函数内部，修改源内存地址，即不能将Source指向别的地址，Source的值是指向pSource^，是pSource^值的拷贝。

Souce是一个内存首地址，这个内存首地址，当然是一个值，而不是实参数的地址。它传的还是值，这个值是变量指向的实际数据所在内存地址。Const 和 Var 根本就不是一样的。对于Const 修饰指针时，理解要特别注意。可以参考 http://rainux.org/delphi 和 http://www.cnblogs.com/sonicit/archive/2008/03/23/1118524.html ，里面讲的很详细。

      总结：按值传递一个指针类型的参数，并且用Const 修饰。情况会变得复杂而又很有意思，实际传递的是指针的拷贝，形参和实参是两个指针。不过这两个指针指向了相同的地址。它们可以共享指针向地址中的数据，但是不能共享指针本身的指向。而引用传递的，形参和实参是同一个变量。因而完全共享。 Source   and   Dest都是指向一个首地址，但是不能说 Const 修饰的参数是按地址传递，这是概念的错误。

看下面的例子：

注意区别：

procedure TForm1.ByConstVal(const obj:TEdit)

begin

obj.Text:='Hello World!';// 正确 修改 Obj的属性 ；

obj:=Form1;// 错误，不能将它指向其它的对象；不能修改指针本身的指向，可以修改指向对象的数据，包括属性等；

end;   

procedure TForm1.ByVal(obj:TEdit)

begin

obj.Text:='Hello World!';// 正确 修改 Obj的属性 ；

obj:=Form1;// 正确，这个时候Obj指向了其它对象，而不是传入的对象,它的指向发送了变化，不影响外面实参的指向；

end;

procedure TForm1.ByRef(obj:TEdit)

begin

obj.Text:='Hello World!';// 正确 修改 Obj的属性 ；

obj:=Form1;// 正确，这个时候Obj指向了其它对象，而不是传入的对象,它的指向发送了变化，影响了外面实参的指向，外面实参也指向了Form1对象；

end;

其它一些参考例子：

Move(const   Source;   var   Dest;   Count:   Integer);  
Source   and   Dest都是指向一个首地址，  
如  
var                                                                 首地址  
      P:   Pointer;                                                P^  
      P:   PChar                                                   P^  
      //只要是指针类型就是                                     P^  
      S:   string                                                  S[1];  
      Arr:   array   [0..10]   of   Char;                 Arr[0]   or   Arr  
      Arr:   array   [0..10]   of   TDataRecord     Arr[0]   or   Arr  
      //只要是array   类型就是                              Arr[0]   or   Arr  
     
明白首地址后，就很容易明白C   的memcpy和Delphi的Move   ,或API的MoveMemory/CopyMemory,就是内存的相互Copy,只要给出首地址就行了。  
   
当然在数组中首地址也可以不是0开头，有时我们对一个record   or   array进行赋值时，是一个个域进行赋值，如下：  
type  
      TArrChar:   array   [0..3]   of   Char;  
   
procedure   SetValue(Arr:   TArrChar);  
var  
      Chars:   array   of   Char;  
begin  
      SetLength(Chars,   4);  
      Chars[0]   :=   Arr[0];  
      ...  
end;  
   
我们可以如此：  
procedure   SetValue(Arr:   TArrChar);  
var  
      Chars:   array   of   Char;  
begin  
      SetLength(Chars,   4);  
      Move(Arr,   Chars,   SizeOf(Char)   *   4);  
end;  
       
record类型也可以这样，不过要注意对string/array类型进行静态分配空间;   如  
      S:      string[255];  
      Arr:   array   [0..len]   of   TMyType

感悟：学习Delphi入门很容易，但是深入其中，需要一个过程。不过在学习的过程中注意这些细节，彻底搞清楚，在实际开发中，就事半功倍。

-----------------------------------------------------------------------------------

delphi中move函数的用法（转大富翁）2008年07月28日 星期一 09:56to creation-zy
to 2373088
二位认为Move函数是传值方式，那就错了
我们能看到以下代码
var pSource,pDest:PChar;
     len: integer;
.......................//一些代码
Move(pSource,pDest,len); //错误
Move(pSource^,pDest^,len); //正确
看起来确实好像是传值，而不是传地址，但是各位别忘了，这不是C，C++，而是Delphi
Object Pascal,所以，绝不能从函数调用的方法判断是传值还是串地址！！必须看函数的
定义，只有定义才能说明是传值还是传地址，再说一遍，这不是C，C++！！
我们看到的函数定义是这样的
procedure Move(const Source; var Dest; Count: Integer);
从定义上看，很清楚，Dest是传地址，而不是传值，那么Source呢，其实大家不太清楚
这里的Const修饰符有两个含义，第一个大家都知道就是Source一常量方式在函数体内，
不可以改变它的值，第二个可能知道的人不多，那就是Source的传递方式和Dest一样，
是传地址！也就是说const和var一样，都是传地址，只不过一个在函数内不允许修改，
另一个是修改后影响调用的变量值
所以Move是传地址，而恰恰不是传值！

>>来自：2373088, 时间：2001-10-24 16:17:00, ID：688975
>>Move应该是按值传递，而不是按地址传递。creation-zy, 不知我说的对不对？
>>至于您所说的传值方式能否详细告知？
>>例一：                                         例二：
>>   New(pTmp);                                  New(pTmp);
>>   new(pTmp1);                                 new(pTmp1);
>>   StrCopy(pTmp,'1');                          pTmp := '1';
>>   Move(pTmp^,pTmp1^,SizeOf(pTmp));            Move(pTmp^,pTmp1^,SizeOf(pTmp));
>>   Dispose(pTmp);                              Dispose(pTmp);
>>   Dispose(pTmp1);                             Dispose(pTmp1);
>>其中pTmp和pTmp1均为PChar类型，但例二释放指针时会出现异常，这是为什么。

上面的代码是错误的，例一，例二都是错误的，看看楼上我的的分析，我想你能明白为什么
首先用 new 在这里完全错误
其次 Move 函数用法错误