Типы данных

[Mikhail]

Для переменных со счетчиком ссылок (array, string, object) используется "copy-on-write

Нет, не так. Для объектов (class) в FPC, вроде счетчики ссылок еще не прикрутили, а copy on write работает только для Ansi-Unicode и т.п. string, массивы всегда нужно вручную копировать. Ну и не забываем, что есть еще перегрузка операторов.

[serbod]

Блин, и правда - Dynamic arrays are reference counted: assignment of one dynamic array-type variable to another will let both variables point to the same array. Contrary to ansistrings, an assignment to an element of one array will be reflected in the other: there is no copy-on-write.

Вот нахрена так сделали, только еще больше все запутали.

Добавлено спустя 2 минуты 51 секунду:
Although writing to elements of dynamic arrays does not create a new instance of the array (no copy-on-write as it exists for Ansistrings) using SetLength on such arrays does create a copy!

Ну ёпта, это уже издевательство!

[Дож]

Для переменных со счетчиком ссылок (array, string, object) используется "copy-on-write

serbod, хватит писать одну и ту же ерунду: у object'ов нет счётчика ссылок и никогда не было.

[serbod]

serbod, хватит писать одну и ту же ерунду: у object'ов нет счётчика ссылок и никогда не было.

Блин, точно. Жаль, очень жаль.

Добавлено спустя 15 минут 31 секунду:
Однако, непонятка. В Reference Guide в разделе Managed Types:
The following types are managed:
AnsiString - They are initialized to Nil.
UnicodeString - They are initialized to Nil.
WideString - They are initialized to Nil.
Interface - They are initialized to Nil.
Dynamic arrays - They are initialized to Nil.
And any record or array whose elements contain managed types.

[sign]

Объясните мне пожалуйста политику работы в паскале с указателями.
вот пример
http://www.delphibasics.ru/PInt64.php

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

var
  int64Ptr : PInt64;
  a : TDateTime;

begin
  // Ассигнование памяти для трёх Int64 переменных
  GetMem(int64Ptr, 3 * SizeOf(Int64));

  // Заполнение этих переменных значениями
  int64Ptr^ := 1;
  Inc(int64Ptr);
  int64Ptr^ := 22;
  Inc(int64Ptr);
  int64Ptr^ := 333;

  // Показ этих значений
  Dec(int64Ptr, 2);
  ShowMessageFmt('Значение 1 = %d',[int64Ptr^]);
  Inc(int64Ptr);
  ShowMessageFmt('Значение 2 = %d',[int64Ptr^]);
  Inc(int64Ptr);
  ShowMessageFmt('Значение 3 = %d',[int64Ptr^]);
end;

Делайте лучше вот так:

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

var VInt64: array of Int64;
begin
  // Выделение памяти для трёх Int64 переменных
  SetLength(VInt64, 3);

  // Заполнение этих переменных значениями
  VInt64[0] :=   1;
  VInt64[1] :=  22;
  VInt64[2] := 333;

  // Показ этих значений
  ShowMessageFmt('Значение 1 = %d', VInt64[0]);
  ShowMessageFmt('Значение 2 = %d', VInt64[1]);
  ShowMessageFmt('Значение 3 = %d', VInt64[2]);

  // Освобождение памяти
  SetLength(VInt64, 0);
end;


[Лекс Айрин]

Лекс Айрин и покажите мне пример "серьезного" проекта, где с объектами активно работают именно так. К примеру, из кода fpc или Lazarus

Это вряд ли. Дело в том, что использовать классические объекты сейчас не модно. Да и редко когда оправдано.

[Дож]

serbod, хватит писать одну и ту же ерунду: у object'ов нет счётчика ссылок и никогда не было.

Блин, точно. Жаль, очень жаль.

Добавлено спустя 15 минут 31 секунду:
Однако, непонятка. В Reference Guide в разделе Managed Types:
<...>
And any record or array whose elements contain managed types.

Managed не означает "подсчёт ссылок", оно означает, что компилятор неявно добавляет дополнительный код по работе с типом. Например,

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

type
TManagedObject = object
  S: AnsiString;
end;

procedure Func;
var
  M: TManagedObject;
begin
  // Здесь компилятор вставит инициализацию M.S, потому что если этого не сделать,
  // то в M.S будет лежать мусор, что приведёт к падению программы при любом обращении
  // к M.S как к строке
  M.S := 'init value'; // даже таком
end;


[Mikhail]

Managed не означает "подсчёт ссылок"

Означает, но не для record-а, а для его полей, которые используют счетчик ссылок, т.е. происходит как бы вызов деструктора для record-a, при выходе из области видимости. По поля использующие подсчет ссылок инициализируются nil. Для object-а это тоже, вроде, используется... хотя не уверен.

Добавлено спустя 8 минут 36 секунд:
Т.е, например

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

type TMList = array [0..9] of record
         name: string;
         tag: Integer;
        end;

procedure Test;
var l: TMList;
begin
...
//здесь  счетчик ссылок для каждой l.name[i] будет уменьшен на единицу
end.



[olegy123]

Еще можно вопросик о кодогенерации.

почему я не могу сделать так

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

var
    pI:PInteger;
..
  for pI^:=0 to 100 do..


получаю Error: Illegal counter variable на for pI^
я конечно, понимаю, что counter variable скорее будет в регистре CPU, но вопрос такой? а если у меня будет for..do больше количества регистров, где данные будет циклов будут сохранятся.

[Дож]

Managed не означает "подсчёт ссылок"

Означает, но не для record-а

Перепродчтите цитату из Reference Guide, приведённую выше :)

The following types are managed:
AnsiString - They are initialized to Nil.
UnicodeString - They are initialized to Nil.
WideString - They are initialized to Nil.
Interface - They are initialized to Nil.
Dynamic arrays - They are initialized to Nil.
And any record or array whose elements contain managed types.

Добавлено спустя 11 минут 26 секунд:

Еще можно вопросик о кодогенерации.

почему я не могу сделать так

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

var
    pI:PInteger;
..
  for pI^:=0 to 100 do..


получаю Error: Illegal counter variable на for pI^
я конечно, понимаю, что counter variable скорее будет в регистре CPU, но вопрос такой? а если у меня будет for..do больше количества регистров, где данные будет циклов будут сохранятся.

Не можете так сделать, потому что это требование компилятора к программе (переменная-счётчик для for-to цикла должна быть локальной к текущему телу).

Не все счётчики размещаются в регистрах, какие-то будут на стеке.

[Mikhail]

где данные будет циклов будут сохранятся.

В стеке, разумеется.

[Лекс Айрин]

получаю Error: Illegal counter variable на for pI^
я конечно, понимаю, что counter variable скорее будет в регистре CPU, но вопрос такой? а если у меня будет for..do больше количества регистров, где данные будет циклов будут сохранятся

Это компилятор дает по рукам, так как не может проверить (на этапе компиляции) что находится за ссылочной переменной и существует ли она вообще.

[iskander]

покажите мне пример "серьезного" проекта, где с объектами активно работают именно так

Библиотека KOL.

Это компилятор дает по рукам, так как не может проверить

Это синтаксически неправильная конструкция.

[Лекс Айрин]

Это синтаксически неправильная конструкция.

Безусловно. Только вот не каждый поймет почему. Проще принять как аксиому, что ссылочные типы играют по другим правилам.

[iskander]

Только вот не каждый поймет почему. Проще принять как аксиому

Так открой нам эту жгучую тайну, не нужно никаких аксиом.