Тип использования до полной декларации

Question

У меня есть простой вопрос, но я не могу найти ответ.

Возможно ли, что у Ada 2 типа, содержащих компонент друг друга?

Вот простой пример того, что я хочу сделать:

type Toto is record 
    T: Titi; 
end record; 

type Titi is record 
    T: Toto; 
end record; 

Это не работает таким образом, но это можно сделать что-то эквивалент?

Answer 1

Вы не можете сделать это: как должен быть создан экземпляр Toto? Он должен содержать экземпляр Titi, который, в свою очередь, содержит Toto и т. Д.

Однако нечто подобное можно:

type Titi; 

type Toto is record 
    T : access Titi; 
end record; 

type Titi is record 
    T : Toto; 
end record; 

В этом случае Toto содержит только ссылку/указатель на запись типа Тити, а не фактического Тити. Чтобы найти оптимальные объявления типов, тщательно подумайте о том, что вы хотите представлять с этими типами, и каковы отношения на самом деле. Я уверен, вы обнаружите, что то, что вы представили в своем вопросе, не точно отражает вашу проблему. Вместо этого, по крайней мере, один из Toto.T и Titi.T должен быть представлен значением доступа - возможно, и тем, и другим. Вы не говорите, что проблема, но я не знаю, что было бы лучшим (наиболее подходящим) объявлением типа здесь.

Answer 2

Вам необходимо направить объявление Titi. Я думаю, что это должно сделать следующее:

type Titi; 

type Toto is record 
    T: Titi; 
end record; 

type Titi is record 
    T: Toto; 
end record;