Ada_Ru форум

Обсуждение языка Ада

Пустой массив как константа

Оставить новое сообщение

Сообщения

Vadim Godunko
Пустой массив как константа
2003-07-20 19:20:26

Доброго времени суток!

 

Подскажите пожалуйста, можно ли как либо записать следующий фрагмент:

 

type T is array (Positive range <>) of Item;

Null_T : constant T (1 .. 0) := (others => Dummy_Item);

 

без инициализации пустого массива липовым значением?

 

 

-- Vadim Godunko

Vadim Godunko wrote:

Доброго времени суток!

 

Подскажите пожалуйста, можно ли как либо записать следующий фрагмент:

 

type T is array (Positive range <>) of Item;

Null_T : constant T (1 .. 0) := (others => Dummy_Item);

 

без инициализации пустого массива липовым значением?

 

Нельзя. Поскольку тогда получилось бы "a deferred constant declaration".

А на него - свои ограничения, что в 7.4 сформулированы.

 

В Аде 83 было явно сказано, что за исключением тех самых

"deferred constant declarations", объявление объекта с

ключевымсловом constant требует явной инициализации. В

Аде 95 выпендрились и то же самое сказали пусть и абсолютно

аккуратно и точно, но так, что явной ссылки на стандарт в качестве

обоснования не подберешь, требуется весь раздел 7.4 и половина 3.3.1.

И плюс собственные умозаключения и выводы

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти