В TypeScript можно определить тип данных рекурсивно с помощью конструкции type или interface. Для того чтобы определить тип рекурсивно, необходимо использовать самого себя в качестве типа.
Рассмотрим пример определения рекурсивного типа для бинарного дерева. Бинарное дерево состоит из узлов, каждый из которых может иметь двух потомков - левого и правого. Каждый потомок также является бинарным деревом.
type BinaryTree<T> = {
value: T,
left?: BinaryTree<T>,
right?: BinaryTree<T>
};
В данном примере определен тип BinaryTree, который принимает обобщенный параметр T для значения узла. В типе BinaryTree узел представлен объектом с полем value, содержащим значение узла, и опциональными полями left и right, которые указывают на левого и правого потомка соответственно. Значения left и right также являются типом BinaryTree<T>, что позволяет задать тип рекурсивно.
Теперь мы можем использовать тип BinaryTree для определения объектов бинарного дерева:
const tree: BinaryTree<number> = {
value: 1,
left: {
value: 2,
left: {
value: 4
},
right: {
value: 5
}
},
right: {
value: 3
}
};
В данном примере определено бинарное дерево, где узлы имеют значения типа number. Каждый узел задается объектом, содержащим поле value, а потомки указываются в полях left и right.
Таким образом, с помощью конструкции type или interface в TypeScript можно определить тип данных рекурсивно, что позволяет работать с структурами, состоящими из вложенных объектов.