Вопрос: 
Будет ли корректно скопирован массив а в массив b, и не возникнет ли ситуация, что по выходу из Foo в массиве b окажутся левые данные, т.к. массив a 
локальная переменная, а b всего лишь указатель на нее?


Это сообщение отредактировал(а) Delphist - 9.1.2011, 13:34

При присваивании

счетчик ссылок на массив a будет увеличен на 1. Легко проверить:


При выходе из процедуры счетчик ссылок уменьшится на 1, но не будет равен 0, поскольку внешняя b ссылается на него, поэтому массив не будет освобожден, и данные будут корректны.

Т.е. массив а выделяется не в памяти локального стека Foo?

Добавлено через 4 минуты и 59 секунд
а счетчик ссылок судя из кода храниться по адресу где был выделен массив со смещением на 8 байт? 

Вот так правильно:



Это сообщение отредактировал(а) lukas - 9.1.2011, 14:51

А интерфейсы в delphi по этому же принципу работают, в смысле тоже счетчик создается?

Я так понимаю это что-то из серии garbage collection

Добавлено @ 14:51

не совсем, твой способ медленнее


Это сообщение отредактировал(а) Delphist - 9.1.2011, 14:54

Ну, если не ошибаюсь, память под динамические массивы выделяется из «кучи», так что существование динамического массива за пределами локальной области видимости процедуры нормально.


Угу.

А как считаешь какой способ копирования лучше, то что я написал или же что lukas, 

Delphist 

Copy функция работает с массивами, она довольно быстрая, а то что ты привел, это не копирование, так вообще вроде не делают. Ты правильно используешь ссылку на массив, создав тип PDynArrOfInt, вот и его везде и используй, а T* не используй вообще (если не хочешь копирования).

Забудьте о типе "указатель на динамический массив".
Переменная типа "динамический массив" - это уже указатель.


Переменная - локальная, но ссылается на данные в куче.


Да. Подробнее смотрите моё сообщение по ссылке:
http://www.delphikingdom.com/asp/answer.asp?IDAnswer=62357

Если написать
  a := b;
то a и b будут ссылаться на одни и те-же данные в куче. 
Принципальная разница между строками и динамическими массивами состоит в следующем:
Для строк при изменении данных через одну из переменных, захватывается новая память и модифицируется копия, после чего указатели будут ссылаться уже на разные данные.
Для динамических массивов такого перезахвата не производится, и при изменении данных через одну переменную, изменяться будут и данные, читаемые через другую, т.к. эти переменные будут продолжать ссылаться на одни и те-же данные.

Если интересно про строки, можете посмотреть мой пример здесь:
http://www.delphikingdom.com/asp/articles_...?ArticleID=1206

Я объясню зачем такое нужно, например, мы передаем такую структуру:


Добавлено @ 16:34

Не правда, если сделать так:


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

Это сообщение отредактировал(а) Delphist - 9.1.2011, 16:38

Я допустил неточность. Я имел в виду изменение отдельных элементов массива без изменения длины самого массива.
В случае вызова SetLength, естественно, происходит перезахват памяти и переменные уже будут ссылаться на разные данные.


Для таких случаев массив в процедуру следует передавать как var-параметр. А внутри процедуры можно либо работать напрямую с оригинальным массивом, либо завести локальный, работать с ним, а потом присвоить переданной перменной.
Кстати, обратите внимание на модуль Types
Там, в частности, уже объявлен тип:
TIntegerDynArray = array of Integer;

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

var для динам. массивов в параметрах функции вообще нет смысла использовать!

Это сообщение отредактировал(а) Delphist - 9.1.2011, 17:47

Если там будет const или без (не помню), будет происходить постоянное копирование массива перед вызовом, я проверял.

Хм... Почему? Хотя бы минимальное обоснование... Вы точно не путаете с классовыми переменными?


Передача параметров без спецификатора, с const, и с var - это три большие разницы... При const, и var не копируется вообще ничего, именно поэтому, в частности, с этими спецификаторами рекомендуют передавать, например, записи...

Да очень просто - смысл использования var. var для массива зачем? чтобы изменить адрес массива - но это если и нужно то очень редко

Ну с var не копируется, а вот с const рекорды может копировать, проверено на практике, замедление будет существенное.

lukas, когда это const-рекорды копируются, если они точно не меняются?

Насколько я помню, с const отсутсвие копирования не гарантируется, но компилятор старается по возможности исключить его....


Пока вам нужно менять только значения элементов - всё замечательно, но как только потребуется вызвать SetLength, вся эта благодать тут-же закончится...
Разница будет следующая:

Константа - компилятор выдаст ошибку.
По значению - получим два разных массива.
По ссылке -  всё нормально: изменим оригинальный внешний массив.

Тестовый пример:


На выходе имеем:



Это сообщение отредактировал(а) БелАмор - 10.1.2011, 09:27

Ну var, это тот же аналог что если я передам через указатель



Foo1(Arr);
Foo2(@Arr)

Foo1 и Foo2 это эквивалент

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

А насколько я помню, копируется только когда рекорд влазит в 4 байта, но тут нет никакого замедления (исключение - inline-подпрограммы, с которыми все иначе)