Александр Ильин писал(а): В Delphi (Object Pascal) строка нулевой длины (массив) равна nil. Все такие строки, соответственно, тождественны, что логично.
Length(nil) = 0.
SetLength(s, 15), где s = nil, вызовет выделение памяти в переменную s.
s[0] -> Access Violation, если проверка диапазонов не дремлет.
Вроде бы, явный nil применим в тамошних строках вида PChar (и производные), т.е. в строках "в стиле Си", которые по сути есть те же явные ссылочные типы. Строки вида string (и их вариации), как и динамические массивы, технически по сути есть указатели, но их внутреннее устройство скрыто. Такие типы являются value-объектами. Однако, возможно явное приведение к типу pointer, пустые строки и массивы выдают nil. А вот приведение пустых строк вида string к PChar не выдает nil, а некий адрес, указывающий на нулевой байт (или байты для "широких" строк). На практике все пустые строки "привязаны" к одному и тому же адресу, который может быть размещён статически, а не в динамической куче. Иными словами, для таких value-строк и динамических массивов нет никаких "обязательств" ссылочных типов, возможна любая внутренняя реализация с необходимыми оптимизациями.
Александр Ильин писал(а): Я, возможно, чего-то недопонял. Я только лишь хотел сказать, что если разрешить использовать nil в качестве массива нулевой длины, то никакого дескриптора у него не будет. Этот особый случай должен поддерживаться компилятором.
Для этого необходимы иные встроенные типы или средства в языке для реализации подобных типов.
|
)
