Объявить самоссылочное поле

[Фоб]

Забыл, как объявить то, что не выходит объявить так:

Tc = record
a: integer;
m: array of Tc;
end;

[LAngel]

[syntax="delphi"]type
PC = ^TC;
TC = record
a: integer;
m: array of PC;
end;[/syntax]

[Фоб]

Спасибо, это то, что нужно!

[Фоб]

Продолжение вопроса.

Объявил вот это:

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

  type  PC = ^TC;
  TC = record
  a: integer;
  m: array of PC;
end;

Кроме того, есть рекурсивная функция

countThis(aTc: Tc): real;

Она вызывает себя, передавая в качестве аргумента элементы массива m.

Однако, при компиляции возникает ошибка: Incompartible types: 'Tc' and 'Pc'

Как бы заставить функцию принимать оба типа аргументов? Ведь в сущности, они одно и то же.

Пока есть идея (громоздкая) создать дополнительную функцию, чтоб переводила Pc в Tc, но наверняка есть более простой способ. Может, кто-то знает?

[LAngel]

это не одно и то же.
PC - это ссылка на TC

приведение:

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

var
  a: TC;
  b: PC;
begin
  a := b^;
  b := @a;
end;

впринципе... пожно объявить перезагруженные функции для эмуляции:

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

function countThis(aTc: TC): real; overload;
begin
  ... текст функции
end;
function countThis(aTc: PC): readl overload;
begin
  result := countThis(aTc^);
end;

[Фоб]

Ура! Вы меня снова выручили!