Типи даних

У цій статті перераховуються типи даних, про саме поняття см тип даних

В різних операційних системах, мовах програмування, специфікаціях форматів даних фігурують різні символічні позначення для типів даних. Частина з них є синонімами, частина збігається при певній бітності обчислювальної системи (але починає розрізнятися при зміні бітності).


1. Абстрактні типи даних

Типи даних, які розглядаються незалежно від контексту і реалізації в конкретній мові програмування. Абстракція в математичному сенсі означає, що алгебра даних розглядається з точністю до ізоморфізму. Абстрактні типи знаходять широке застосування в методології програмування, заснованої на покрокової розробці програм. На етапі побудови специфікації проектованої програми алгебра даних моделює об'єкти предметної області, в термінах розв'язуваної задачі. У процесі покрокового уточнення дані конкретизуються шляхом переходу до проміжних уявленням до тих пір, поки не буде знайдена їх реалізація за допомогою базової алгебри даних використовуваної мови програмування. Існує кілька способів визначення абстрактних типів: алгебраїчний, модельний і аксіоматичний. При модельному підході елементи даних визначаються явним чином. При алгебраїчному використовуються методи алгебраїчних відносин, а при аксіоматичній підході використовується логічна формалізація.


2. Цілочисельні типи

Цілочисельні типи містять у собі значення, що інтерпретуються як числа (знакові і беззнакові).

2.1. BYTE

Відповідне байту, 8 біт, беззнакове.

  • Використовується в API Win32 (64), в основному в якості покажчика на блок двійкових даних (BYTE *).
  • У специфікації Ogg Media використовується для зберігання однобайтних значень

2.2. Логічні типи

Логічні змінні, BOOL або boolean, містять одне з двох значень (істина чи брехня). В залежності від реалізації, істина може позначатися як одиниця або "true", так і будь-яким ненульовим числом (Сі). Брехня, відповідно, позначається инверсно до правди. Для реалізації типу досить одного біта, проте на практиці для прискорення розмір bool дорівнює розміру машинного слова.

3. Типи з плаваючою комою

Використовуються для представлення речових (не обов'язково цілих) чисел. У цьому випадку число записується у вигляді x = a * 10 ^ b. Де 0 <= a <1, а b-деяке ціле число з визначеного діапазону. a називають мантиссой, b - порядком. У мантиси зберігаються кілька цифр після коми, а b - зберігається повністю.

4. Строкові типи

Послідовність символів, яка розглядається як єдине ціле в контексті змінної. У різних мовах програмування накладаються різні обмеження на рядкові змінні. Рядки можуть містити керуючі послідовності.

5. Ідентифікаційні типи

Ідентифікаційні типи інтерпретуються не як число, а як унікальний ідентифікатор об'єкта.

5.1. FOURCC

FOURCC - 32 біта, інтерпретується як ідентифікатор кодека для відтворення вмісту у файлах-медіаконтейнера (RIFF ( AVI), Ogg Media). В оригінальній специфікації було зазначено обмеження на використання "псевдо ASCII "уявлення коду (при записі в little-endian порядку байт при побайтово виведенні даних повинна була виходити ASCII рядок).

5.2. ATOM

Atom (від грецького "неподільний") - загальносистемний ідентифікатор рядка в операційній системі Windows. Додаток може "помістити" (відповідним викликом) рядок в таблицю ( англ. atom table ), Виклик повертає число. За вказаною кількістю будь-який додаток може отримати значення рядка. Використовується для взаємодії між процесами і унікальних ідентифікаторів (напр., класів вікон). [1]

6. Складені типи

6.1. COLORREF

В операційних системах Windows COLORREF служить для зберігання значення трьох кольорів (R, G, B - червоний, зелений, синій), розмір 32 біта.

Джерела

  • Типи даних в Microsoft Windows [2]
  1. Опис Atom'ов [1]
Перегляд цього шаблону Типи даних
Неінтерпретіруемие
Числові
Текстові
Покажчик

Адреса Посилання

Композитні
Інші

Логічний Нижчий тип Колекція Перераховуються тип Виняток First-class function Opaque data type Recursive data type Семафор Потік Вищий тип Type class Unit type Void

Пов'язані теми