Расширение закрытого типа с тегами на языке ada

Я хочу добавить процедуру к моему экземпляру Ada.Containers.Doubly_Linked_Lists, которая распечатает список. Я также хотел бы скрыть некоторые функции и процедуры. Если есть лучший способ, я был бы счастлив прочитать его, но пока я пытаюсь обернуть экземпляр в другой пакет, а это означает создание нового списка и курсора. Общие определяют их так:

   type List is tagged private;
   pragma Preelaborable_Initialization(List);
   type Cursor is private;
   pragma Preelaborable_Initialization(Cursor);

я пытался

  package Collection is new Ada.Containers.Doubly_Linked_Lists (New_Type);
   type Cursor is new Collection.Cursor;
   type List is new tagged Collection.List with private;

Кажется, это работает для Cursor, но List вызывает ошибку subtype indication expected.

Как я могу подтипировать закрытый список вроде "помеченный"?

Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
0
0
108
1

Ответы 1

Проблема в том, что вы оба используете new и tagged:

with Ada.Containers.Doubly_Linked_Lists;

package Example is
   type New_Type is new Integer;
   package Collection is new Ada.Containers.Doubly_Linked_Lists (New_Type);
   type Cursor is new Collection.Cursor;
   type List is new Collection.List with private;
private
   type List is new Collection.List with null record;
end Example;

Имейте в виду, что если вы расширяете Collection.List чем-либо, кроме null record, вам придется объявить переопределение всех функций в Collections.List, которые возвращают List.

Simon Wright 17.03.2018 09:50

Это решило проблему, спасибо. И я помню об этом предупреждении.

iconoclast2000 17.03.2018 17:15

Другие вопросы по теме