Geek Answers Handbook

Can anyone give me a summary of using the "single quote" in Ada?

I just read Ada Programming, but I'm a little confused about how to use '(single quote) in Ada.

I understand what is 'used for reference attribute. AAA'Image (..), BBB'Value (..)

However, given this piece of code:

   type Plain_Vector (Capacity : Capacity_Subtype) is record
      Elements : Elements_Array (1 .. Capacity);
      Last     : Extended_Index := No_Index;
      Busy     : Natural := 0;
      Lock     : Natural := 0;
   end record;
 ------------------------------------------------------------------
   new Plain_Vector'(2, (Left, Right), Last => Last, others => <>)

Q1: How do the arguments of the “new” operator correspond to type parameters and record fields?

 I can GUESS "2" matched "Capacity", 
             "(Left, Right)" matched "Elements", 
             "Last => Last" matched "Last"
             "Others => <>" matched "Busy" and "Lock" to let them use default value.

But this is only GUESSING, is there an official grammar explanation on this?

Q2: What does '? (in the "new" statement)

Is this an attribute or does it have any other meanings?

" " Ada?

, .

. .

+5
2

Ada, ' ( P , , ).

' :

  • : 'x'
  • : Foo'Size
  • : Some_Type'(expression), Some_Type'Aggregate

( " " ); : for Foo'Size use 32;.

, , .

, , .

. , , ' , , , . "tick": Foo'Size " foo".

( new , .)

+7

, , ( ).

Ada, , , , , :

Foo: constant : = (2.35);

, , ( type New_Type is new Old_Type...).

, , , , , . .

, , , , , , . (runtime), , .

, . . , .

- , . , . . , My_Routine, Integer, - . , . , 1, , , .

, 1 ( ). :

My_Routine (Integer'(1));

. "", . , Integer.

+4

More articles: