Berilganlarni strukturalashgan tiplari
Berilganlarning strukturalashgan tiplari uzgaruvchilarning skalyarligini xarakterlab, uzlarining kompanentalari tiplari bilan xarakterlanadi. Paskal tilida berilganlarning kuyidagi strukturalashgan tiplari bulishi mumkin: katorlar, massivlar, tuplamlar, yezuvlar, fayllar, kursatkichlar, prosedura tiplari va obyektlari
Tiplarning ayniyligi va mosligi
Ifodalarni tugri yezish uchun tiplarning va operandalarning ayniyligi va mosligini kurib chikish zarur. Ikki tip ayniy xisoblanadi, kachonki, ular birga yezilgan bulsa yeki ularni aniklashda bir xil tipdagi idenfikatorlar ishlatilsa.
Misol.
TYPE
M1, M2 = array[1..10] of byte; {M1, M2 -tuplam tiplari}
S = set of byte;
F = set of integer; {S, F - tuplam emas tiplari}
Tiplarning ayniyligi faktli va farmal paramertlarda prosedura va funksiyalarni chakirish uchun kerak buladi.
Tiplarning ayniyligi uzlashtirish operatorlarida, ifodalarda va solishtirish operasiyalarda muxim rol uynaydi.
Solishtirish operasiyalarida kuyidagi shartlarning birortasiga roya kilingandagina ikkita tip bir-biriga mos buladi:
ikkala tip xam bir xil;
ikkala tip xma xakikiy ;
ikkala tip xam butun sonli;
bitta tip ikkinchi tipning kismiy diapazoni;
ikkala tip xam bitta asosiy tipning kismiy diapazoni xisoblanadi;
ikkala tip xam mos baza tiplarining tuplam tiplari xisoblanadii;
ikkala tip xam bir xil mikdordagi kompanentalarga ega bulgan kator tiplar xisoblanadi;
bitta tip katorli, ikkinchisi belgili yeki katorli tip xisoblanadi;
bitta tip kursatkichli xisobansa ikkinchisi kursatkichning xoxlagan tipi xisoblanadi.
Misol.
'a' > 'b' {bulishi mumkin, chunki ikkala kiymat xam char tipga kiradi}
'a' > 5 { xato, chunki solishtirilayetgan kiymatlar turli tipda }
Uzlashtirish operasiyalarda kuyidagi shartlarning birortasiga roya kilinganda ikkita tip bir-biriga mos buladi:
ikkala tip mos va ulardan birortasi xam faylli komponentalarni uz ichiga olgan faylli yeki strukturali tip emas;
ikkala tip xam mos skalyar tiplar va ikkinchi tipning kiymati birinchi tipning mumkin bulgan kiymatlari diapazoniga tushadi ;
ikkala tip xam xakikiy tiplarga kiradi va ikkinchi tipning kiymati birinchi tipning mumkin bulgan kiymatlari diapazoniga tushadi;
birinchi tip xakikiy, ikkinchisi esa butun sonli ;
ikkkala tip xam katorli;
birinchi tip katorli, ikkinchisi esa literli, ikkala bir-biriga mos tuplam tiplari va ikkinchi tipning xamma kiymatlari birinchi tipning mumkin bulgan kiymatlari diapazoniga tushadi;
ikkala tip xam mos tiplarga kiradi .
Mavzu: Satr toifalari satrlar ustida bajariladigan funksiyalar
Reja:
Katorli tipdagi yozuvlar
Katorli ifodalar
Katorli prosedura va funksiyalar
Do'stlaringiz bilan baham: |