Ада-95. Компилятор GNAT

       

Присваивание


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

declare

My_Name : String(1..10) := "Dale "; Your_Name : String(1..10) := "Russell "; Her_Name : String(21..30) := "Liz "; His_Name : String(1..5) := "Tim "; begin

Your_Name := My_Name; -- это корректно, поскольку в обоих случаях Your_Name := Her_Name; -- оба массива имеют одинаковое количество -- элементов His_Name := Your_Name; -- это приведет к возбуждению исключения: -- хотя обе переменные одного и того же типа, -- но они имеют различную длину (число элементов) end;



Содержание раздела