дубликация данных в динамических массивах

[Сквозняк]

Код: Выделить всё

var
a,b: array of byte;

begin
setlength(a,10);
setlength(b,10);
b:=a; //после этой строки, проблемы и начинаются
writeln('a[2]=',a[2],' b[2]=',b[2]);
a[2]:=100;
writeln('a[2]=',a[2],' b[2]=',b[2]);
b[3]:=50;
writeln('a[3]=',a[3],' b[3]=',b[3]);
end.


Выхлоп:

Код: Выделить всё

a[2]=0 b[2]=0
a[2]=100 b[2]=100
a[3]=50 b[3]=50

Использовал динамические массивы вместо простых из-за того что их можно сравнивать целиком, но оказалось что они склеиваются и данные потом самопроизвольно перетекают из одного в другой. Это баг или фича?

[wavebvg]

Код: Выделить всё

writeln('Address a=',DWord(@a[0]),', Address b=',DWord(@b[0]));

Нда... Кто-то нереально заоптимизировался!

[Sergei I. Gorelkin]

Это фича, поведение дин. массивов частично напоминает строки: есть счетчик ссылок и присвоение копирует только указатель, но нет копирования при изменении элементов. Если нужно скопировать данные, то пишем "b:=copy(a)", перед этим setlength(b,10) не нужно.

[wavebvg]

Строки ведут себя логичнее, особенно учитывая, что заменив один символ в исходной строке после копирования мы не получаем сюрпизов.

Ага, в документации так и написано, но, если использовать массив в качестве результата функции - то копируется.
Всегда считал, что в словосочетание динамический массив звучит как: динамический массив. Но кто-то считает, что лучше звучит так: динамический массив и этот кто-то писал компилятор...

[dedm0zaj]

a и b это неявные указатели (или ссылки. кому как удобнее). когда b присваиваем a, то b начинает указывать на массив, на который указывает a.

зы java хорошо это всё объясняет.

[hinst]

этой фиче уже больше 10 лет, динамические массивы так и работали всю жизнь. Динамический массив это набор: [указатель и длина массива]

Добавлено спустя 1 минуту 8 секунд:
а при вызове SetLength выделяется новый кусок памяти
Чтобы получить копию массива, а не указатель на тот же массив, надо просто создать ещё один массив и скопировать в него элементы

[stanilar]

b:=copy(a)

В общем случае, так понимаю, перед этим надо написать "FreeMem(b)".

[kazalex]

В общем случае, так понимаю, перед этим надо написать "FreeMem(b)".

Неправильно понимаешь. Для управляемых типов, к которым динамические массивы безусловно относятся, весь "головняк" (предварительная инициализация нулем, распределение/перераспределение памяти, подсчет ссылок) берет на себя компилятор.

[Сквозняк]

этой фиче уже больше 10 лет,

С таким замечательным поисковиком, как на вики freepascal.org, 10 это не срок

Код: Выделить всё

var
a,b: array of byte;

begin
setlength(a,10);
b:=copy(a);
if a=b then writeln('равно') else writeln('не равно');
end.

Код: Выделить всё

не равно

И зачем компилятор разрешает операцию сравнения, если она не работает - только чтобы узнать слились массивы в один или нет?

[wavebvg]

Вообще-то, динамические массивы - это идея и реализация Borland и никакие академические изыскания не помогут.
Но если говорить про "сакральный смысл", то возмущение вполне логично, но толку никакого - синтаксис застолбили, документацию написали.
Как сделали, так и продали... Купил - пользуйся, не нравится не пользуйся.

[bormant]

Сквозняк,
"не равно" в данном случае означает, что a и b ссылаются на разные области памяти, изменяя элемент массива "a", элементы массива "b" останутся нетронуты, в отличие от:

Код: Выделить всё

var
  a, b: array of byte;
begin
  SetLength(a,10);
  b:=a;
  if a=b then writeln('равно') else writeln('не равно');
  a[1]:=5; WriteLn(b[1]);
end.

[Сквозняк]

После тестирования оно и так видно, но сделали в Борланде коряво. Для сравнения указателей можно было записать как-нибудь по другому. А вот заоптимизированная операция сравнения содержимого массивов пригодилась бы.

[bormant]

Сквозняк,
раз уж для статических массивов a и b сравнение определено только для String, то с чего бы ждать такой семантики от сравнения динамических массивов c и d? Вот в этой-то части они как раз остались последовательны

[stanilar]

Неправильно понимаешь.

Если динамический массив - это указатель, то для него правильно писать FreeMem. То , что кое-что берет на себя компилятор, это уже дело вкуса.

А вот заоптимизированная операция сравнения содержимого массивов пригодилась бы.

Лучше сделать один тип - массив, и дать возможность делать хелперы к нему, дальше люди уже сами понапишут что им нужно. Будет просто кристально понятно.

[ger0strat]

Если это вызывает такие негодования, то что мешает перегрузить оператор?
Хотя иной раз, действительно, поведение неочевидно. Особенно для уставшего мозга
Сам предпочитаю пользоваться указателями напрямую.