Основни понятия на структури
5. Burkov VN Основи на математическата теория на активните системи. - Москва: Наука, 1977. - 254.
6. Аурелио Peccei. Човешките качества. - Москва: Напредък, 1985 г. - 311.
Типовете данни са различни, като се започне с по-ниски нива на системата. Във всички езици за програмиране, различни видове данни
това се дължи на факта, че броят на тези видове се задават различни размери памет, различни регистри на микропроцесора, и има различни отбори и различни микропроцесорни ядра за операции с тях.
тип данни понятие се появява в език за програмиране на високо ниво като отражение на факта, че обработените данни могат да бъдат:
· Множество различни валидни стойности,
· Съхраняват в паметта на компютър по различни начини,
· Заемат различни количества памет
· Преработен чрез различни инструкции процесор.
Има ли език, без да е вид? Теоретично, не може да има език, в които не съществуват типове данни.
Това е следствие от факта, че всички езици са базирани на машина или ламбда смятане на Тюринг.
На практика не е възможно. Възможно е да се класифицира езиците за програмиране на метода за определяне типа на данните:
1. Езици с полиморфна тип данни. Те не се свързват променливи, константи, формални параметри, стойности за връщане на функции с някои видове, като поддържа една единствена полиморфна тип данни.
В чиста форма, като език не е намерен, но подобни примери - MS Visual Basic - тип вариант, Prologue. В тези езици, променливата може да отнеме на стойността на всеки вид, функционални параметри могат да преминат стойности от всякакъв вид, и да се върнат на функцията може да бъде всякакъв вид стойност.
видове Сравнение на променливи и параметри, приложими към него операции, извършвани директно при извършване на тези операции.
Например. експресия на А + В, може да означава
· Добавяне на номера, ако А и Б са числени стойности.
· Свържете линии в една, ако А и Б имат низови стойности.
· Невалиден (погрешно) операция, ако типове А и В стойности са несъвместими.
Такава процедура се нарича динамичен пишете. Езици, които поддържат само динамичен пишете понякога се наричат typeless. обаче, типовете данни са все още там.
2. Езици със скритите видове. BASIC е пример, без всякакъв вид език, но е силно типов език има различно:
· Видове String (добавя $ символ)
· Числовите типове (нищо добавен).
3. Езици с типа, дефиниран от потребителя. Владея езиците, в които типовете данни се определят автоматично, а не определени от потребителя.
Всяка функция променлив параметър дължи на определен тип данни.
В този случай, всяка възможност за експресия на неговото изпълнение и вида на получените стойности могат да бъдат определени без изпълнение на програмата. Такъв подход се нарича статичен пишете.
На едни и същи правила за работа с променливи, изрази и параметри на различни видове може да бъде много строга (C ++), както и много либерален (C).
Например. в класически езика C. почти всички типове данни са съвместими - те могат да се използват заедно с всякакви изрази, се присвоява стойност на променлива от един тип на друга променлива с почти никакви ограничения.
Компилаторът генерира код, който позволява тип реализация, и логическа коректност на такава трансформация остава съвест програмист.
Тези езици се наричат слабо типов език. Обратното е по-силно типов език. Ада, където всяка операция изисква операнди строго определени видове. Не реализации автоматични тип не се поддържат.
подкрепа на няколко модела на определения тип, на практика, езиците за програмиране едновременно
Практическо приложение. Т Видове езици за програмиране не винаги е строго съответстват на подобни математически видове.
Например, въведете цяло число повечето езици за програмиране, за да не бъде математик. защото в областта на математиката, този тип не се ограничава или отгоре или отдолу, и в езиците на тези ограничения са програмиране.
В езици и системи, има много видове цели числа, различни определен обем заема от паметта.
ако вземем предвид класа като тип данни, дефиницията на класа - това е всъщност тип дефиниция на предикат. Също така на разположение като предикат проверка по време на компилация (тип проверка) или по време на изпълнение (полиморфизъм е много тясно свързан с полиморфни видове). За основни вида такива предикати определени творци език първоначално.
В езиците за програмиране, променливи са класифицирани в съответствие с определени характеристики и се отличават:
Представяне на отделните стойности, или определени стойности на множество комплекти.
Всяко константа, променлива, експресия или функция е специфичен за определен тип.
Основни принципи, като например следните понятия:
1. Тип данни, определя набор от стойности, което включва постоянна, което може да отнеме променлива или експресия, и който може да образува функцията или действието
2. Тип всяка променлива, обозначен с константа, променлива или израз може да се показва на ума си или в нейното описание. Не е необходимо да извършват всякакви изчисления
3. Всяка операция или функция изисква аргументи, за да го определи и дава резултат от определен тип. Ако операцията dopekayut аргументи няколко вида, като "+" се използва за добавяне на реални числа, и да добавите числа, тип резултат регламентирано съвсем определени правила.
4. Най-важните основни операции - сравнение и задача. т. е. Проверка на отношенията на равенство (и поръчката, ако видове наредил-ционни) и действието на "настройка на равенство."
Основната цел на всяка програма се обработват лични данни. Тези различни видове се съхраняват и обработват по различни начини. Във всеки език за програмиране, като всяка константа, променлива, в резултат на оценка на действието или функцията трябва да има определен тип.
тип данни се определят:
· Вътрешния представяне в паметта на компютъра;
· А набор от ценности, които могат да се стойността на този тип;
· Операции и функции, които могат да бъдат приложени на стойностите на този тип.
Задължително описание на типа позволява на компилатора да извършите проверка на различните структури на програмата. При избиране на вида на стойността зависи от последователността от машинни инструкции, построена от компилатора.
Всички видове C ++ език могат да се разделят на:
· Обикновено (скаларна) може да се определи чрез стандартни и програмист.
В C ++, дефинирани шест стандартни прости типове данни да представляват цели числа, реали, характер и логически стойности. Въз основа на тези видове, както и масиви и указатели (указател не е отделен вид, то винаги е свързано с някакъв друг специфичен вид), можете да въведете описание на собствените си прости или структурирани типове.
За структурирани типове включват:
Простите типове се разделят на:
· Видове с плаваща запетая.
Със следните ключови думи са определени за описване на стандартни типове:
междинно съединение (а); тип Размер стандарт Int ANSI не е дефинирана. Това зависи от изпълнението. За 16-битов процесор от стойността на този тип 2 байта, 32-битова - 4 байта.
Чар (характер); тип символи (знак). По размер тип характер разпределени брой байтове, достатъчни, за да се настанят всеки символ от набора знаци за компютъра. Като правило, това е един байт.
Вид сивен, както и други видове цели числа могат да бъдат подписани или неподписани.
Стойностите могат да се съхраняват със стойността на знак в диапазона -128 до 127. При използване на unsignedznacheniya спецификатор може да бъде в диапазона от 0 до 255. Стойностите на тип Чар също се използва за съхранение на цели числа, които не надвишават определения диапазон.
wchar_t двойно-ю-правописа акцент накъде (разширен характер); wchar_t тип проектиран да работи с набор от символи, което е недостатъчно за кодиране един байт, например Unicode. Размерът на този вид зависи от изпълнението; Като правило, това съответства на кратко тип.
BOOL (логично); Булева (BOOL). Стойностите на булев тип, могат да вземат само стойностите истина и лъжа. вътрешна форма на представяне на невярна стойност - 0 (нула). Всяка друга стойност се тълкува като вярно. Когато вярно трансформация има стойност от 1 до типа на цяло число.
поплавък (реален); тип данни за съхранение на реални стойности: Вътрешният представяне на реално число, състояща се от мантиса и ред. Дължина на мантисата определя броя на прецизност, а дължината на реда - неговия обхват.
константи плаваща точка имат тип подразбиране двойно а. Можете да укажете изрично константа тип чрез суфикс F, F (поплавък) и L, L (дълга). Така например, постоянно 2Е + 6л ще има вид longdouble.
Таблица - Границите на прости типове данни на IBM PC
двойно (истинско двойна точност). тип данни за съхраняване на истински стойности: SM. поплавък
Има четири типа спецификатор определяне на вътрешния представяне и обхвата на стойностите на стандартните типове:
кратко (кратко); Спецификаторът кратко пред името на вида казва на компилатора, че искате да се предприемат редица 2 байта.
дълго (дължина); Спецификаторът дълго означава, че цялата стойност ще заема 4 байта.
подписана (със знак); При използване спецификатор подписан номер MSB се тълкува като знак (0 - положително число, 1 - отрицателен).
неподписан (неподписан). Константи в програмата, възложени от типа в съответствие с техните виждания. Програмистът може да укажете в желания вид с помощта на наставка L, L (дълга) и U, U (неподписана). Така например, постоянно 32L е дълъг и отнема 4 байта.
Видове shortint, longint, signedint iunsignedint могат да бъдат сведени до къси, дълги, подписано iunsignedsootvetstvenno.
Свързани статии