Jaki typ ma zmienną zawierającą zakres?

Question

pętli można zrobić w Ada przy użyciu szeregu z początku i punktu końcowego:

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

wiem, że to możliwe robi pętli za pomocą dwóch zmiennych opisujących zakres:

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

jest to również możliwe, aby zapisać zakres w jeden zmiennej ?, jak:

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

Który typ ma zmienną * my_range *?

Edycja: Powiedzmy, że chcę użyć tej zmiennej jako parametru w podprogramie: Zatem podprogram ma tę pętlę, która iteruje w zakresie. Wolałbym używać dwóch zmiennych opisujących zakres zamiast używać generycznych, ponieważ generyczne spowodowałyby większy wysiłek. Ale myślę, że użycie jednej zmiennej opisującej zakres spowodowałoby wyższą czytelność, dlatego zadaję to pytanie.

Answer 1

Użyj range typ, coś wzdłuż tych linii:

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

Zobacz pełną przykład w here.

Answer 2

Jeśli zmienna jest tablicą, wtedy można iteracyjne nad jego zasięgu poprzez:

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

Jeśli jesteś zainteresowany iteracji po elementach kontenera, na przykład tablica, wektor, mapa, itd., a nie dbają o indeksie, można użyć generalized looping (ADA 2012 tylko):

for Elem of Container loop 
    ... 
end loop; 

Answer 3

Hmmm. Wygląda na to, że możesz być (być może nieświadomie) wielbicielem Andrei Alexandrescu. Argumentował on mocno za językami, aby uczynić zakresy typu pierwszej klasy, i usuwaniem "iteratorów" jako paradygmatem programowania.

Interesujące byłoby zobaczyć, jak będzie wyglądać taka implementacja Ada. Chyba że czegoś brakuje, to nie jest sposób, w jaki poszła Ada 2012.

Answer 4

Jeśli chcesz omijać obiekt zawierający ten zakres, możesz zawinąć początek i koniec w rekordzie. Wewnątrz podprogramu można lokalnie zadeklarować nowy typ [podrzędny] ograniczony przez zakres.

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

Answer 5

Mój licznik mówi trzeba jeszcze 4 linie, aby stworzyć ogólny podprogram niż zwykły jednym:

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; 

który nie wydaje się tak źle.

Ale zwykle iteracja jest Iterowanie nad coś (tablicy, ...): Jeśli tak, to można wyprowadzić szereg iteracji z rzeczą, która jest powtórzyć na drugą.