谁能告诉我在 Ada 语言中使用未经检查的转换。我试过 pdf 和 net,但都没有给我一个清晰的画面。
Now i have a small piece of code shown below:
subtype Element4_Range is integer range 1..4;
subtype Element3_Range is integer range 1..3;
subtype Myarr_Range is integer range 1..10;
type Myarr3_Type is array (Myarr_Range) of Element3_Range;
type Myarr4_Type is array (Myarr_Range) of Element4_Range;
Myarr3 : Myarr3_Type;
Myarr4 : Myarr4_Type := (1,2,3,3,1,3,2,1,2,1);
Count_1 : Integer := 0;
Count_2 : Integer := 0;
Count_3 : Integer := 0;
*function To_Myarr3 is new Unchecked_Conversion(Myarr4_type,Myarr3_type);*
现在我的疑问是 Myarr3 函数究竟做了什么?