Во-первых, в коде можно делать всё, что позволяет язык и компилятор, с учетом критериев читабельности, производительности, портабельности и т.п.
Во-вторых, оператор Delete не изменяет строку в том контексте, который тут обсуждается, иначе бы этот код не работал:
Грубо говоря:

Netspirit писал

Да, - вообще, никаких действий не происходит. (даже не увеличивается счётчик ссылок на строку "string(счётчик-длина-(PChar(строка-0)))
Грубо говоря PChar это кусок той же String.
Netspirit писал

Железно.

flint2, при присвоении String := PChar - происходит.



PChar - не string. PChar - это указатель на блок памяти, который должен быть ограничен 0-вым байтом. А String кроме подобного блока символов содержит ещё и служебные данные. Именно поэтому происходит копирование (создание новой string) при присвоении String := PChar. А поскольку у String тоже есть "блок памяти, ограниченный 0-вым байтом", то получение PChar из string не приводит ни к каким последствиям для string.

[offtop]Оговорка по поводу @S[1]. Хотя @S[1] можно передавать в функции, которым нужен PChar, но, как я понял, Delphi перестраховывается в этом случае и делает копию строки S (на случай изменения символов в вызываемой функции)[/offtop]

Netspirit, Я Ничего не понял.
"Любой блок памяти" это и есть счётчик и длина, PChar об этом без понятия. Ноль уже не обсуждается он везде есть по определению.
Если строка не изменяется, а только кто-то упомянул её, то счётчик +/- , если изменяется то выделяется кусок памяти в куче и она копируется туда(уже изменённая в виде string, или pchar - как её определили).

Раз "PChar об этом без понятия", то "любой блок памяти" это не есть "счётчик и длина", но всё равно правильный PChar, поэтому я так и нарисовал. А string - это счетчик и длина, да.

Netspirit,
Согласен, что масло масленое.

За исключением случая нулевой длины.
pchar(Str) гарантированно <>nil, даже для случая Str=nil

Как бы pchar(Str) не всегда совпадает с @Str[1]

Galkov,
Ну надо в идиллию ложку дёгтя?
Операция Ы

Вот демонстрация некоторых обсуждаемых аспектов: code_36301.txt
Заметьте, что после обращения к символу строки строка копируется (адрес отличается).

Переменные типа string - это указатели на первый символ строки, поэтому последняя строчка - это указатель на указатель.

Какой же это указатель на первый символ, когда это record? Сам же на картинке нарисовал именно Packed Record

Это они в памяти похожи на record, но переменная имеет размер 4 байта и является указателем на первый символ. Как и dynamic array, class (но не object).

Кто скажет, что это не так, - пусть бросит в меня камень, это вопрос философский, но очень даже понятный.
Я извиняюсь, но есть вопрос в силу моей необразованности, -

а какие ещё переменные бывают? (в рамках 32 компиляторов)

Netspirit, покажи где у меня происходит копирование в другую область памяти
code_36302.txt
при изменении текста.

А я и не говорил, что в коде невозможно этого добиться. Мои замечания касались только работы этого кода на уровне схемы.

А вот (на пальцах) то, что делает PChar(S)
code_36303.txt
И никаких копирований при использовании "обыкновенных" строк.
При работе с WideString копирование происходит "при любом чихе" и только потому, что у них нет счётчика ссылок.