Liczba całkowita (typ danych)

Ten artykuł od 2021-06 wymaga zweryfikowania podanych informacji.

Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Liczby całkowite – typ danych dotyczący liczb całkowitych. Liczby te mogą zostać zapisane w pamięci komputera w rozmaity sposób. Obecnie dla liczb naturalnych najczęściej spotykany jest pozycyjny dwójkowy system liczbowy. Inne znane sposoby zapisu to kod Graya i BCD.

Na pamięć komputera można spojrzeć jak na komórki. W każdej z nich trzymany jest elementarny kwant informacji zwany bitem. W praktyce komórki te grupuje się w większe całości zwane, w zależności od rozmiaru, bajtami (8 bitów), słowami (zawierającymi 2 lub więcej bajtów) lub jeszcze inaczej.

Kolejność bitów w bajtach, bajtów w słowach itp. może być ustalona na dwa podstawowe sposoby:

• little endian – „najmłodszy” bit/bajt na początku, tzn. pod najniższym adresem, „najstarszy” bit/bajt na końcu.
• big endian – na odwrót

Dowolny sposób zapisu liczb ze znakiem wymaga co najmniej jednego dodatkowego bitu – bitu znaku. Zazwyczaj używa się najstarszego bitu dla danego rozmiaru komórki pamięci.

Najbardziej naturalnym dla człowieka sposobem uwzględnienia znaku jest potraktowanie najstarszego bitu jako bitu znaku, a pozostałych bitów jako wartości bezwzględnej liczby (zapis znak-moduł). Przykład (zapis pozycyjny na czterech bitach):

• 0101₂ to 5₁₀
• 1101₂ to −5₁₀

W tym zapisie zero można przedstawić na dwa sposoby: kasując wszystkie bity oraz ustawiając jedynie bit znaku.

„Dopełnienie do jedynki” polega na odwróceniu wszystkich bitów odpowiedniej liczby dodatniej. Przykład:

• 0101₂ to 5₁₀
• 1010₂ to −5₁₀

Również w tym zapisie zero można przedstawić na dwa sposoby: jako komórkę o wszystkich bitach ustawionych lub o wszystkich bitach wyzerowanych. Dopełnienie do jedynki jest używane w maszynach PDP-1 i UNIVAC 1100.

Najczęściej używanym (zwłaszcza w komputerach osobistych) jest zapis „dopełnienia do dwóch”. Zmiana znaku polega w nim na odwróceniu wszystkich bitów liczby wyjściowej i dodaniu jedynki – w tej operacji pośredniej liczba jest zawsze traktowana jakby była dodatnia. Okazuje się, że najstarszy bit można zinterpretować jako bit znaku. Przykład:

• 0101₂ to 5₁₀
• 1011₂ to −5₁₀

Ten zapis pozwala uniknąć niejednoznacznej postaci zera (kosztem niesymetryczności zakresu reprezentowanych liczb) oraz ułatwia dodawanie. Dodawanie w tym zapisie nie różni się niczym od dodawania liczb binarnych bez znaku. Wystąpienie dokładnie jednego z przeniesień: z najstarszego bitu (bitu znaku) i na najstarszy bit świadczy o przekroczeniu dopuszczalnego zakresu (o nadmiarze).

• Typy danych całkowitych w językach C, C++: short int, int, long int, long long int (w wersjach signed i unsigned)
• Typy danych całkowitych w Pascalu: ShortInt, Integer, LongInt, longassInt

W C, C++ zdefiniowano 8 typów danych przeznaczonych do reprezentacji liczb całkowitych – są to short int, int, long int, long long int w wersjach ze znakiem (signed) oraz bez znaku (unsigned). Ich rozmiary w bitach zależą od implementacji. Standard C99 określa następujące zależności pomiędzy typami:

• int ma minimum 16 bitów
• long int jest co najmniej takiego rozmiaru, co int
• long long int ma minimum 64 bity

W praktyce współczesne kompilatory (takie jak GCC) na maszynach 32-bitowych zazwyczaj stosują typy o następujących rozmiarach:

• short int ma 16 bitów
• int jest równy long int i ma 32 bity
• long long int ma 64 bity

Typem całkowitym o rozmiarze 8 bitów w praktyce jest także typ znakowy char.

Przykładowe zakresy liczb całkowitych możliwych do przedstawienia za pomocą danego typu (w przypadku GCC 3.3.5 dla systemu 32-bitowego) przedstawia poniższa tabela: