Typ okrojony
Z Wikipedii
Typ okrojony (typ zakresowy), to typ danych zdefiniowany na bazie innego typu, w celu ograniczenia możliwych wartości typu bazowego.
Definicja typu okrojonego zawiera specyfikacjÄ™ zakresu w postaci:
- wartości granicy dolnej (najmniejszej wartości zakresu)
- wartości granicy górnej (największej wartości zakresu).
Obie wartości muszą być tego samego typu bazowego i są wartościami definiowanego typu okrojonego (przedział domknięty). W niektórych językach typ bazowy jest specyfikowany jawnie w definicji typu okrojonego, w innych występuje domniemanie na podstawie zapisu wartości granicznych i kontekstu. W większości języków programowania wartości graniczne mogą zostać zdefiniowane zarówno jako:
- literał, jak i
- wyrażenie stałe.
Do typów okrojonych można stosować te same operacje (operatory, funkcje, konwersje), co to typów bazowych, i występować w tych operacjach łącznie z wartościami typu bazowego, nawet w językach o silnej typizacji. Te cechy wskazują, że typ okrojony jest podtypem, chyba że konkretny język programowania (np. Ada) rozróżnia pojęcia typu pochodnego i podtypu.
| język programowania | format definicji | dopuszczalne typy bazowe | przykład definicji |
|---|---|---|---|
| Pascal | type identyfikator=w1..w2 | typy porzÄ…dkowe | type miesiÄ…c=1..12; |
| Ada | <subtype | type> identyfikator is typ_bazowy range w1..w2; | typy skalarne | subtype miesac is INTEGER range 1..12; |
| Modula 2 | TYPE <identyfikator=typ_bazowy[w1..w2] | identyfikator=[w1..w2]> | typy porzÄ…dkowe | TYPE miesiac=INTEGER[1..12] |
[edytuj] Bibliografia
- Andrzej Marciniak, Borland Pascal 7.0, Wyd. Nakom, Poznań 1994 r., ISBN 83-85060-53-7, ISSN 0867-6011,
- Michał Iglewski, Jan Madey, Stanisław Matwin, Pascal. Język wzorcowy – Pascal 360., Wydawnictwa Naukowo-Techniczne, Warszawa 1984, wydanie trzecie – zmienione, Seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-0597-1,
- A. Nico Habermann, Dewayne E. Perry, Ada dla zaawansowanych, Wydawnictwa Naukowo-Techniczne, Warszawa 1989 r., seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-1058-4
- Niklaus Wirth, Modula 2, Wydawnictwa Naukowo-Techniczne, Warszawa 1987, Seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-0828-8
[edytuj] Zobacz też
| ME-2012 - kolejna wizytacja UEFA w Polsce |
|
W Polsce w tym tygodniu przebywała kolejna delegacja Europejskiej Federacji Piłkarskiej (UEFA), badająca przygotowania do organizacji mistrzostw Europy w 2012 roku. Tym razem przedmiotem wizytacji była infrastruktura komunikacyjna.
|
| Kolumbijska policja przechwyciła 11 mln sfałszowanych euro |
|
Kolumbijska policja skonfiskowała w Bogocie 11 milionów sfałszowanych euro - poinformował Europol.
|
| Prezes nowej Alitalii negocjuje z Air France i LufthansÄ… |
|
Prezes Włoskiego Towarzystwa Lotniczego (Compania Aerea Italiana), które powoła do życia nową Alitalię, Roberto Colannino, powiedział, że do zrealizowania tego zamiaru "nieodzowny" jest zagraniczny wspólnik i dlatego prowadzi on rozmowy z Air France-KLM i Lufthansą.
|
| Spółka Lotosu sfinalizowała kupno 10% udziałów w 4 koncesjach wydobywczych |
|
Spółka Lotos Exploration and Production Norge sfinalizowała kupno 10% udziałów w czterech koncesjach wydobywczych na Morzu Północnym, poinformowała Grupa Lotos w piątek. Wartość transakcji 52,5 mln USD zostanie powiększona o kwotę ok. 12 mln USD wynikającą z poniesionych już nakładów inwestycyjnych, a także o ok. 65 mln USD przyszłych nakładów, związanych z uruchomieniem produkcji.
|
| Eksperci: Polska nie jest przygotowana na odcięcie dostaw gazu z Rosji |
|
Polska nie jest przygotowana na ewentualne odcięcie dostaw gazu przez Rosję - uważają eksperci paliwowi, z którymi rozmawiała PAP. Według zagranicznych mediów, Rosja może ograniczyć dostawy paliw do Europy Zachodniej w odpowiedzi na groźby sankcji ze strony UE, w związku z konfliktem w Gruzji.
|