zoukankan      html  css  js  c++  java
  • delphi中move函数的正确理解(const和var一样,都是传地址,所以Move是传地址,而恰恰不是传值)太精彩了 good

    我们能看到以下代码
    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入门很容易,但是深入其中,需要一个过程。不过在学习的过程中注意这些细节,彻底搞清楚,在实际开发中,就事半功倍。

    http://blog.csdn.net/tjb_1216/article/details/4627346

  • 相关阅读:
    C#_委托
    一个asp+ACCESS省市二级联动菜单程序
    asp怎么实现二级联动下拉菜单
    ASP用户登录代码
    Windows 2003 IIS 不支持ASP的问题
    iptables
    VNC ( Virtual Network Computing )
    MongoDB的备份(mongodump)与恢复(mongorestore)
    Locally managed (LMT) vs. Dictionary managed (DMT) tablespace
    向现有的磁盘组加入/删除ASM磁盘
  • 原文地址:https://www.cnblogs.com/findumars/p/6329610.html
Copyright © 2011-2022 走看看