Nazywa się to oznaczoną reprezentacją wskaźnika i jest dość powszechną sztuczką optymalizacyjną używaną w wielu różnych interpreterach, maszynach wirtualnych i systemach wykonawczych od dziesięcioleci. Używa ich prawie każda implementacja Lispa, wiele maszyn wirtualnych Smalltalk, wiele interpreterów języka Ruby i tak dalej.
Zwykle w tych językach zawsze podaje się wskaźniki do obiektów. Sam obiekt składa się z nagłówka obiektu, który zawiera metadane obiektu (takie jak typ obiektu, jego klasy, może ograniczenia kontroli dostępu lub adnotacje bezpieczeństwa itd.), A następnie same dane obiektu. Zatem prosta liczba całkowita byłaby reprezentowana jako wskaźnik plus obiekt składający się z metadanych i rzeczywistej liczby całkowitej. Nawet przy bardzo zwartej reprezentacji, jest to około 6 bajtów dla prostej liczby całkowitej.
Nie można również przekazać takiego obiektu typu integer do procesora w celu wykonania szybkiej arytmetyki całkowitoliczbowej. Jeśli chcesz dodać dwie liczby całkowite, tak naprawdę masz tylko dwa wskaźniki, które wskazują początek nagłówków obiektów dwóch obiektów całkowitych, które chcesz dodać. Więc najpierw musisz wykonać arytmetykę liczb całkowitych na pierwszym wskaźniku, aby dodać przesunięcie do obiektu, do którego są przechowywane dane całkowite. Następnie musisz usunąć ten adres. Zrób to samo ponownie z drugą liczbą całkowitą. Teraz masz dwie liczby całkowite, o dodanie których możesz poprosić procesor. Oczywiście musisz teraz skonstruować nowy obiekt typu integer, który będzie przechowywał wynik.
Tak więc, aby wykonać jedno dodawanie liczb całkowitych, w rzeczywistości musisz wykonać trzy dodawanie liczb całkowitych plus dwa dererefencje wskaźnika i jedną konstrukcję obiektu. Zajmujesz prawie 20 bajtów.
Jednak sztuczka polega na tym, że przy tak zwanych niezmiennych typach wartości, takich jak liczby całkowite, zwykle nie potrzebujesz wszystkich metadanych w nagłówku obiektu: możesz po prostu zostawić te wszystkie rzeczy i po prostu je zsyntetyzować (czyli VM-nerd- mówić „udawać”), gdy ktoś chce spojrzeć. Liczba całkowita zawsze będzie miała klasę Integer, nie ma potrzeby oddzielnego przechowywania tych informacji. Jeśli ktoś używa odbicia, aby obliczyć klasę liczby całkowitej, po prostu odpowiadasz Integeri nikt nigdy się nie dowie, że w rzeczywistości nie zapisałeś tych informacji w nagłówku obiektu i że w rzeczywistości nie ma nawet nagłówka obiektu (lub obiekt).
Więc, sztuką jest przechowywanie wartości z obiektu w ciągu wskaźnika do obiektu, skutecznie zawaleniem się dwa w jednym.
Istnieją procesory, które w rzeczywistości mają dodatkową przestrzeń we wskaźniku (tak zwane bity znaczników ), które pozwalają na przechowywanie dodatkowych informacji o wskaźniku wewnątrz samego wskaźnika. Dodatkowe informacje, takie jak „to właściwie nie jest wskaźnik, to jest liczba całkowita”. Przykłady obejmują Burroughs B5000, różne maszyny Lisp lub AS / 400. Niestety, większość obecnych głównych procesorów nie ma tej funkcji.
Jest jednak wyjście: większość obecnych głównych procesorów działa znacznie wolniej, gdy adresy nie są wyrównane na granicach słów. Niektóre nawet w ogóle nie obsługują niewyrównanego dostępu.
Oznacza to, że w praktyce wszystkie wskaźniki będą podzielne przez 4, co oznacza, że zawsze kończą się dwoma 0bitami. To pozwala nam odróżnić rzeczywiste wskaźniki (które kończą się na 00) od wskaźników, które są w rzeczywistości zamaskowanymi liczbami całkowitymi (te, które kończą się na 1). I nadal pozostawia nam wszystkie wskazówki, które kończą się 10swobodą robienia innych rzeczy. Ponadto większość nowoczesnych systemów operacyjnych rezerwuje bardzo niskie adresy dla siebie, co daje nam kolejny obszar do poruszania się (wskaźniki zaczynające się, powiedzmy, 24 0si kończą na 00).
Możesz więc zakodować 31-bitową liczbę całkowitą we wskaźnik, po prostu przesuwając ją o 1 bit w lewo i dodając 1do niej. Możesz na nich wykonywać bardzo szybkie arytmetyki całkowite, po prostu odpowiednio je przesuwając (czasami nawet to nie jest konieczne).
Co robimy z innymi przestrzeniami adresowymi? Cóż, Typowe przykłady kodowania floatS w innych dużych przestrzeni adresowej oraz szereg obiektów specjalnych takich jak true, false, nil, W 127 znaków ASCII, niektóre powszechnie stosowane krótkie ciągi znaków, pusta lista, pusty obiekt, pusta tablica i tak zbyt blisko 0adres.
Na przykład, w tłumaczy MRI YARV i Rubinius Ruby całkowite są kodowane tak, jak opisano powyżej, falsejest zakodowana jako adres 0(którego tak się dzieje również być przedstawieniem falsew C), truejak adres 2(który tak dzieje się reprezentacja C trueprzesunięta o jeden bit) i niljako 4.