Jak sizeof zna rozmiar tablicy operandów?

Question

To może być głupie pytanie, ale w jaki sposób operator sizeof zna wielkość argumentu tablicowego, gdy nie przekazujesz liczby elementów w tablicy. Wiem, że nie zwraca wszystkich elementów w tablicy, ale rozmiar w bajtach, ale aby uzyskać, że nadal musi wiedzieć, kiedy tablica się kończy. Ciekawe, jak to działa.

Answer 1

sizeof interpretowany jest w czasie kompilacji, a kompilator wie, w jaki sposób tablica została zadeklarowana (a tym samym ile zajmuje woluminu). Wywołanie sizeof na tablicie przydzielanej dynamicznie prawdopodobnie nie spowoduje tego, co chcemy, ponieważ (jak wspomniano), punkt końcowy tablicy nie jest określony.

Answer 2

Kompilator zna rozmiar każdego typu w aplikacji, a sizeof po prostu prosi kompilator o podanie tej wartości.

Answer 3

Sizeof jest operatorem czasu kompilacji; ma tyle informacji, ile robi kompilator. (I oczywiście kompilator zna zna rozmiar tablicy).

Dlatego jeśli wywołasz sizeof na wskaźniku, otrzymasz szerokość wskaźnika, a nie rozmiar tablicy, do której wskazuje ten wskaźnik.

Answer 4

Jeśli używasz sizeof dla zmiennej lokalnej, wie, ile zadeklarowanych elementów. Jeśli używasz sizeof na parametrze funkcji, nie wie; traktuje parametr jako wskaźnik do tablicy, a sizeof podaje rozmiar wskaźnika.

Answer 5

Z wyjątkiem jednego przypadku, sizeof robi to podczas kompilacji. W czasie kompilacji kompilator śledzi typ obiektu pełny [Edytuj: dobrze, wszystko, co wie o typie obiektu, w każdym razie - jeśli typ nie jest kompletny, więc nie zawiera rozmiaru , próba użycia sizeof zakończy się niepowodzeniem], a sizeof zasadniczo "eksportuje" jedną część tej informacji z kompilatora do kompilowanego kodu, więc staje się w zasadzie stałą w wynikowym kodzie.

Wyjątkiem jest zastosowanie sizeof do macierzy o zmiennej długości (VLA) . Po zastosowaniu do VLA, sizeof oblicza swój operand (który nie jest inaczej) i tworzy rzeczywisty rozmiar VLA. W tym przypadku wynik nie jest stały.

---

_{1. Włas oficjalnie stał się częścią C w C99, ale niektóre kompilatory obsługiwane je wcześniej. Chociaż nie są oficjalnie częścią C++, niektóre kompilatory (np. G ++) zawierają VLA jako rozszerzenie C++.}

Answer 6

Cytat wiki:

Jest obowiązkiem autora kompilatora wdrożyć operatora sizeof w sposób specyficzny i prawidłowy dla danej realizacji języka. Operator wielkości musi uwzględniać implementację podstawowego schematu alokacji pamięci , aby uzyskać rozmiary różnych typów danych .sizeof to zazwyczaj operator czasu kompilacji, który oznacza, że ​​podczas kompilacji rozmiar i jego operand zostają zastąpione przez wartość wyniku . Jest to widoczne w kodzie języka asemblerowym wytwarzanego przez kompilator C lub C++. Z tego powodu, sizeof kwalifikuje się jako operator, nawet , chociaż jego użycie czasami wygląda na wywołanie funkcji .

Answer 7

sizeof operator „wie” rozmiar wszystkich typów danych atomowych, ponieważ kodowanym, związki i tablice mogą być budowane tylko przez łączenie typów atomowych jest to łatwe do określenia rozmiaru tablicy dowolnego typu. Używa podstawowej arytmetyki do określania typów złożonych (podczas kompilacji).

Answer 8

Rozmiar może być stosowany tylko do całkowicie zdefiniowanych typów. Kompilator albo będzie w stanie określić rozmiar w czasie kompilacji (np. Jeśli masz deklarację typu int foo [8];), albo będzie mógł określić, że musi dodać kod do śledzenia wielkości zmiennej -elength array (np. jeśli masz deklarację typu int foo [n + 3];).

W przeciwieństwie do innych odpowiedzi tutaj, należy pamiętać, że od C99 sizeof() jest nie koniecznie określone podczas kompilacji, ponieważ tablice mogą mieć zmienną długość.

Answer 9

Problem, który leży u podstaw twojego problemu, aby to zrozumieć, może być spowodowany mylącymi tablicami i wskaźnikami, tak jak czyni to wiele osób. Jednak tablice nie są wskaźnikami. A double da[10] to tablica dziesięciu double, a nie double*, i na pewno jest znana kompilatorowi, gdy zapyta się go o ocenę sizeof(da). Nie zdziwiłbyś się, że kompilator zna sizeof(double)?

Problem z tablicami polega na tym, że automatycznie rozpraszają się do wskaźników do pierwszych elementów w wielu kontekstach (np. Kiedy są przekazywane do funkcji). Ale nadal tablica to tablice, a wskaźniki to wskaźniki.

Answer 10

sizeof jest obliczany podczas kompilacji. Dlatego przy tworzeniu tablicy dynamicznej tworzy się ją w następujący sposób.

char * array; 
int size; 
//Get size somehow. 
array = malloc(size*(sizeof(char))); 

// teraz podczas kompilacji kompilator zna na pewno rozmiar znaku. ponieważ musi wyrównać je w pamięci. W tym momencie system operacyjny wie, jaki rozmiar musi przydzielić.

Z drugiej strony tablice o zmiennej długości są tworzone na stosie Stack. Ale każda przydzielona pamięć typu malloc zostanie utworzona na stercie.

Answer 11

Rozmiar jest zawsze oceniany w czasie kompilacji. W kompilatorze wieloprzebiegowym podczas generowania tabeli symboli kompilator musi określić rozmiar każdego symbolu zadeklarowanego do dalszego działania w celu wygenerowania kodu pośredniego. Tak więc dla wszystkich wielkości referowań w kodzie zastępuje dokładną wartość. Na etapie generowania kodu pośredniego wszystkie operatory, wyciągi, są konwertowane na odpowiedni pośredni kod (ASM/inny format). Wreszcie etap generowania kodu m/c konwertuje go na kod maszynowy.

Niektóre dyskusje widoczne powyżej w.r.t dynamiczne alokacje dotyczące sizeof nie są w ogóle w kontekście. Dowolne odniesienie do rozmiaru (* p), gdzie p jest wskaźnikiem dowolnego typu danych, kompilator po prostu znajduje typ danych * p i zastępuje jego rozmiar, a nie idzie sprawdzić nagłówek MCB przydzielonego bloku, aby zobaczyć, co jest przydzielone rozmiar pamięci. To nie jest w czasie wykonywania.Na przykład podwójne * p; sizeof (* p) wciąż można wykonać bez przydzielania pamięci dla wskaźnika p. Jak to jest możliwe?

Answer 12

sizeof to zwykle oceniany podczas kompilacji. Godnym uwagi wyjątkiem są tablice zmiennych długości C99.

int main(int argc, char **argv) 
{ 
    if (argc > 1) 
    { 
     int count = atoi(argv[1]); 
     int someArray[count]; 

     printf("The size is %zu bytes\n", sizeof someArray); 
    } 
    else puts("No"); 
}