Cadenas de Delphi y recuento de referencias

Question

Delphi utiliza el recuento de referencias con cadenas.

¿Esto significa que solo hay una asignación de memoria para '1234567890' y todas las referencias a, b, c, d, ey f.s?

type 
    TFoo = class 
    s: string; 
    end; 

    const 
    a = '1234567890'; 
    b = a; 
    c : string = a; 

    var 
    d: string; 
    e: string; 
    f: TFoo; 

    function GetStr1(const s: string): string; 
    begin 
    Result := s; 
    end; 

    function GetStr2(s: string): string; 
    begin 
    Result := s; 
    end; 

    begin 
    d := GetStr1(b); 
    e := GetStr2(c); 
    f := TFoo.Create; 
    f.s := a; 
    end; 

Answer 1

Sí, solo hay una asignación en su ejemplo específico. Si había usado UniqueString, como dice mghie, o si había construido la cadena de forma dinámica, entonces termina con una nueva asignación de cadena, incluso si el contenido de la cadena es el mismo que cualquier otra cadena.

Sin embargo, un hecho interesante sobre su ejemplo específico: en realidad no hay memoria "asignada" para la cadena '1234567890' en absoluto. Los datos para las constantes de cadena se almacenan en la imagen ejecutable en el disco, y el sistema operativo los busca cuando el código accede. Ocupa espacio de direcciones de memoria, como parte de la asignación en memoria del módulo ejecutable completo, pero como está respaldado por el ejecutable original en el disco, no forma parte de la memoria comprometida del proceso y no necesitará respaldo en el archivo de página.

Por ejemplo, este programa va a reportar una violación de acceso de ejecución:

{$apptype console} 
uses SysUtils; 

const 
    s = '1234567890'; 
procedure Change(const r: string); 
var 
    p: PChar; 
begin 
    p := PChar(r); 
    p^ := 'x'; 
end; 

begin 
    try 
    Change(s); 
    except 
    on e: Exception do 
     Writeln(e.Message); 
    end; 
end. 

Answer 2

sí, las cuerdas se cuentan ref, se crea una copia sólo cuando el contenido se modifican a través de una variable (la semántica copia de escritura), más información aquí:

http://www.codexterity.com/delphistrings.htm

Answer 3

pequeña adición a la answer by jxac:

también se creará una copia cuando UniqueString() se llama en el código, cuando un carácter de la cadena se accede por [], y cuando la cadena se typecasted a 012.380.. Esto sucede incluso cuando el PChar y el elemento de cadena solo se leerán.

Es importante saber cómo forzar una cadena única desde una potencialmente compartida, porque hay funciones de API de Windows que no se deben invocar con un puntero de char de solo lectura, que es PChar a una constante de cadena. En ese caso, la constante necesita ser copiada a una variable primero, por lo que emitirla devolverá un PChar apuntando a la memoria grabable.