Loại nào có biến chứa phạm vi?

Question

Một vòng lặp for có thể được thực hiện trong Ada sử dụng một loạt với một sự khởi đầu và điểm kết thúc:

for I in 0..10 loop 
(...) 
end loop; 

tôi biết, nó có thể làm vòng lặp for sử dụng hai biến mô tả phạm vi:

for I in range_start..range_end loop 
(...) 
end loop; 

là nó cũng có thể lưu trữ nhiều trong một biến ?, như:

for I in my_range loop 
(...) 
end loop; 

Loại nào có biến * my_range * phải là?

Chỉnh sửa: Giả sử tôi muốn sử dụng biến này làm tham số trong chương trình con: Vì vậy, chương trình con có vòng lặp này lặp lại trong phạm vi. Tôi muốn sử dụng hai biến mô tả phạm vi thay vì sử dụng Generics, vì Generics sẽ gây ra nỗ lực cao hơn. Nhưng tôi nghĩ rằng việc sử dụng một biến mô tả phạm vi sẽ gây ra khả năng đọc cao hơn, đó là lý do tại sao tôi hỏi câu hỏi đó.

Answer 1

Sử dụng một loại range, một cái gì đó dọc theo những dòng:

type Range_Type is range -5 .. 10; 
... 
for A in Range_Type loop 

Xem ví dụ hoàn chỉnh trong here.

Answer 2

Nếu biến của bạn là một mảng, sau đó bạn có thể lặp lại trên phạm vi của nó thông qua:

for I in Arr_Var'Range loop 
    ... 
end loop; 

Nếu bạn quan tâm đến iterating trên các yếu tố của một container, ví dụ mảng, vector, bản đồ, vv, và không quan tâm đến các chỉ mục, bạn có thể sử dụng generalized looping (Ada 2012 chỉ):

for Elem of Container loop 
    ... 
end loop; 

Answer 3

Hmmm. Có vẻ như bạn có thể (có lẽ vô tình) là người sùng kính số Andrei Alexandrescu. Ông đã lập luận mạnh mẽ cho các ngôn ngữ để làm cho phạm vi một loại hạng nhất, và loại bỏ các "vòng lặp" như một mô hình lập trình.

Thật thú vị khi xem việc triển khai Ada sẽ như thế nào. Trừ khi tôi đang thiếu một cái gì đó, đó không phải là cách Ada 2012 đi.

Answer 4

Nếu bạn muốn truyền xung quanh một đối tượng có chứa phạm vi, bạn có thể quấn Bắt đầu và Kết thúc trong một bản ghi. Bên trong chương trình con, bạn có thể khai báo một kiểu [sub] mới được giới hạn bởi phạm vi.

type Range_Type is range TheRange.Start .. TheRange.end; 

Answer 5

count tôi nói rằng bạn cần thêm 4 dòng để tạo ra một chương trình con chung hơn là một đồng bằng một:

generic        -- extra 
    type Bounds is (<>);    -- extra 
procedure R; 

procedure R is 
begin 
    for J in Bounds'Range loop 
     null; 
    end loop; 
end R; 

with R; 
procedure P is 
    type Rng is range 1 .. 10;  -- extra 
    procedure A is new R (Rng);  -- extra 
begin 
    A; 
end P; 

mà dường như không quá tệ.

Tuy nhiên, thường một lần lặp lặp lại trên một cái gì đó (một mảng, ...): nếu có, bạn có thể lấy được phạm vi lặp lại từ thứ đang được lặp lại.