Строки Delphi и подсчет ссылок

Question

Delphi использует подсчет ссылок со строками.

Означает ли это, что имеется только одно распределение памяти для '1234567890' и все ссылки a, b, c, d, e и 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

Да, в вашем конкретном примере есть только одно выделение. Если вы использовали UniqueString, как говорит mghie, или если вы построили строку динамически, то вы получите новое распределение строк, даже если содержимое строки совпадает с некоторой другой строкой.

Однако интересный факт о вашем конкретном примере: на самом деле нет памяти «выделено» для строки «1234567890». Данные для строковых констант хранятся в исполняемом образце на диске и выгружаются ОС, когда код обращается к нему. Он занимает адресное пространство памяти, как часть отображения всего исполняемого модуля в памяти, но поскольку он поддерживается исходным исполняемым файлом на диске, он не является частью памяти, обработанной процессом, и не нуждается в поддержке в Файл подкачки.

Например, эта программа будет сообщать о нарушении прав доступа на бегу:

{$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

да, струны исх подсчитывали, копия создается только тогда, когда содержимое модифицируются через переменную (копия семантики записи), подробнее здесь:

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

Answer 3

Небольшое дополнение к answer by jxac:

копия также будет создана, когда UniqueString() вызывается в коде, когда символ в строке имеет доступ [], и когда строка typecasted для PChar. Это происходит даже тогда, когда PChar и строковый элемент будут только когда-либо прочитаны.

Важно знать, как принудительно создать уникальную строку из потенциально общего, поскольку существуют функции Windows API, которые нельзя вызывать с помощью указателя на чтение, который имеет значение PChar для строковой константы. В этом случае константу нужно сначала скопировать в переменную, поэтому при ее нажатии возвращается PChar, указывающая на записываемую память.