Концепцията за тип данни,

Основната концепция за програмиране е тип данни. Тип данни - набор от ценности, които могат да получат постоянен, променлив, изразяване, функция. Има силно въвели езици (C, Pascal, Delphi) и без него (VisualBasic, Clipper, FoxPro, LISP). В силно типов език програмист изрично описва набор от ценности, които могат да се вземат всяка променлива. Език Излъчващият гарантира, че "столовете не са сгънати с домат", тоест, следи за коректността на действия, извършени от типа на данните. Ако неопитен програмист да напише следното:

VAR на: REAL; б: STRING;

още преди старта на програмата компилаторът ще издаде съобщение за грешка "Несъответствие". Силна пишете значително повишава надеждността на софтуера и защитава програмист от много фини бъгове.

Очевидно е, че понятието за типа на данните, е неразривно свързано с концепцията за променлива. Това променлива има един или друг вид. И това, което е "променлива"? Може да се счита като променлива "кутия" в паметта на компютъра, който има (Фигура 1.3.):

Фиг. 4.3. Концепцията на променлива.

Размер на "кутия" се измерва в байтове. Ако се направи променлива да съхранява числа в диапазона от 0 до 255, това ще отнеме точно един байт. Защо? Тъй като байт е осем бита. Всеки бит може да отнеме две стойности: 0 и 1. Ако ние обхождане на всички комбинации от битове в един байт (00000000-11111111), техният брой е равен 2 август = 256. Нула - равен брой едни и същи, поради това 256 стойности представляват набор от 0 до 255. В такава променлива описание Delphi ще изглежда така:

Типът на данни може да се сравни с "кутия с форма". Ако ние не трябва да се съхранява числа и символи (букви, цифри, препинателни знаци ...), размерът на кутиите ще остане абсолютно еднакви - един байт, и тя ще се побере един от 256 символите на определен компютърен код на маса. Но програмата трябва да знае, че има в тази кутийка брой и характер кодове. За да направите това, е необходимо нещо и от типа на данните. Ние се опише нашата променлива следния начин:

Такова описание на резерви в паметта на един байт и компютъра казва: "В този байт символни кодове са с тях не можеш да направиш аритметиката.". Ако пишем грешка

Pascal компилатор веднага точка до появата на "тип несъответствие" грешка.

Някои променливи заемат място в паметта. Ако ние трябва да запишем текст ред под всяка буква е даден един байт и един - за провеждане на дължината на низ. Там са още по-сложни типове данни - масиви, записи обекти.

Фиг. 4.4. Проф Вирт, създател на Паскал.

(. Фигура 1.4) Creator Pascal швейцарски учен Niklaus Wirth в книгата му [1] дава следното определение на строг типизиране данни:

1. Тип данни, определя набор от стойности, които могат да включват постоянна, което може да отнеме променлива или експресия и които могат да образуват действието или функцията.

2. Вид на всяко количество, означен постоянно, променливо или експресия може да се получи чрез позоваване на него или неговото описание; Не е необходимо да извършва всякакви изчисления.

3. Всяка операция или функция изисква аргументи от определен тип и дава резултат като фиксиран тип.

Намира се на тези принципи и построен Pascal, Modula-2, Делфи.