1-Маъруза. Дастурлаш тиллари ва уларни куллаш

2.4.1Берилганларни структуралашган типлари

Берилганларнинг структуралашган типлари узгарувчиларнинг скалярлигини характерлаб, узларининг компаненталари типлари билан характерланади. Паскаль тилида берилганларнинг куйидаги структуралашган типлари булиши мумкин: каторлар, массивлар, тупламлар, езувлар, файллар, курсаткичлар, процедура типлари ва объектлари

2.5Типларнинг айнийлиги ва мослиги

Ифодаларни тугри езиш учун типларнинг ва операндаларнинг айнийлиги ва мослигини куриб чикиш зарур. Икки тип айний хисобланади, качонки, улар бирга езилган булса еки уларни аниклашда бир хил типдаги иденфикаторлар ишлатилса.
Мисол.
TYPE
M1, M2 = array[1..10] of byte; {M1, M2 -туплам типлари}
S = set of byte;
F = set of integer; {S, F - туплам эмас типлари}
Типларнинг айнийлиги фактли ва фармал парамертларда процедура ва функцияларни чакириш учун керак булади.
Типларнинг айнийлиги узлаштириш операторларида, ифодаларда ва солиштириш операцияларда мухим роль уйнайди.
Солиштириш операцияларида куйидаги шартларнинг бирортасига роя килингандагина иккита тип бир-бирига мос булади:
иккала тип хам бир хил;
иккала тип хма хакикий ;
иккала тип хам бутун сонли;
битта тип иккинчи типнинг кисмий диапазони;
иккала тип хам битта асосий типнинг кисмий диапазони хисобланади;
иккала тип хам мос база типларининг туплам типлари хисобланадии;
иккала тип хам бир хил микдордаги компаненталарга эга булган катор типлар хисобланади;
битта тип каторли, иккинчиси белгили еки каторли тип хисобланади;
битта тип курсаткичли хисобанса иккинчиси курсаткичнинг хохлаган типи хисобланади.
Мисол.
'a' > 'b' {булиши мумкин, чунки иккала киймат хам char типга киради}
'a' > 5 { хато, чунки солиштирилаетган кийматлар турли типда }
Узлаштириш операцияларда куйидаги шартларнинг бирортасига роя килинганда иккита тип бир-бирига мос булади:

иккала тип мос ва улардан бирортаси хам файлли компоненталарни уз ичига олган файлли еки структурали тип эмас;

иккала тип хам мос скаляр типлар ва иккинчи типнинг киймати биринчи типнинг мумкин булган кийматлари диапазонига тушади ;

иккала тип хам хакикий типларга киради ва иккинчи типнинг киймати биринчи типнинг мумкин булган кийматлари диапазонига тушади;

биринчи тип хакикий, иккинчиси эса бутун сонли ;

икккала тип хам каторли;

биринчи тип каторли, иккинчиси эса литерли, иккала бир-бирига мос туплам типлари ва иккинчи типнинг хамма кийматлари биринчи типнинг мумкин булган кийматлари диапазонига тушади;

иккала тип хам мос типларга киради .

Назорат саволлари

1. Идентификатор нима?
2. Типлашган константа деб нимага айтилади ?
3 Хакикий типли берилганларни санаб чикинг ?
4. Белгили типлар деб кандай типларга айтилади?
5. Бегили типли берилганларни каторли типлардан фарки нимада?
6. Кандай типга Булев типи дейилади?
7. Интервал типи нима?
8. Структуралашган типлар нималари билан характерланади?
9. Типлар качон айний булади?
10. Типлар качон бир –бирига мос булади?