Как sizeof знает размер массива операндов?

Question

Это может быть глупый вопрос, но как оператор sizeof знает размер операнда массива, когда вы не передаете количество элементов в массиве. Я знаю, что он не возвращает итоговые элементы в массиве, а размер в байтах, но чтобы получить, что он все еще должен знать, когда заканчивается массив. Просто любопытно, как это работает.

Answer 1

sizeof интерпретируется во время компиляции, и компилятор знает, как был объявлен массив (и, следовательно, сколько места он занимает). Вызов sizeof в динамически распределенном массиве, скорее всего, не будет делать то, что вы хотите, потому что (как вы упомянули) конечная точка массива не указана.

Answer 2

Компилятор знает размер каждого типа в вашем приложении, а sizeof просто просит компилятор произвести это значение для вас.

Answer 3

Sizeof - оператор времени компиляции; он имеет столько же информации, сколько и компилятор. (И, очевидно, компилятор делает знает размер массива).

Именно поэтому, если вы вызываете sizeof на указатель, вы получаете ширину указателя, а не размер массива, на который указывает этот указатель.

Answer 4

Если вы используете sizeof для локальной переменной, он знает, сколько элементов вы указали. Если вы используете sizeof для параметра функции, он не знает; он обрабатывает параметр как указатель на массив, а sizeof дает размер указателя.

Answer 5

За исключением одного случая, sizeof действительно ли это во время компиляции. Во время компиляции компилятор отслеживает полный тип объекта [Edit: ну, все, что он знает о типе объекта, в любом случае - если тип не завершен, так что он не включает размер , попытка использовать sizeof не удастся], а sizeof в основном просто «экспортирует» одну часть этой информации из компилятора в скомпилированный код, поэтому она становится по существу постоянной в полученном коде.

Исключение составляет то, что sizeof применяется к массиву переменной длины (VLA) . Когда применяется к VLA, sizeof оценивает свой операнд (который он не делает иначе) и производит фактический размер VLA. В этом случае результат не является константой.

---

_{1. Влас официально стал частью C в C99, но некоторые компиляторы поддерживали их до этого. Хотя это и не является официально частью C++, некоторые компиляторы (например, g ++) включают VLA в качестве расширения для C++.}

Answer 6

Цитата wiki:

Это ответственность автора компилятора реализовать оператор SIZEOF в пути конкретного и правильной для данной реализации языка. Оператор sizeof должен принять во внимание реализацию базовой схемы распределения памяти , чтобы получить размеры различных типов данных .sizeof = обычно оператор времени компиляции, который означает, что во время компиляции sizeof и его операнд заменяются значением результата . Это видно из кода ассемблера , созданного компилятором C или C++. По этой причине sizeof квалифицируется как оператор, даже , хотя его использование иногда выглядит как вызов функции .

Answer 7

sizeof operator «знает» размер всех атомных типов данных, так как, союзы Структуры и массивы могут быть построены только путем сборки атомных типов легко определить размер массива любого типа. Он использует базовую арифметику для определения сложных типов (во время компиляции).

Answer 8

Размер может применяться только к полностью определенным типам. Компилятор либо сможет определить размер во время компиляции (например, если у вас есть объявление типа int foo [8];), либо он сможет определить, что он должен добавить код для отслеживания размера переменной -length (например, если у вас есть объявление типа int foo [n + 3];).

В отличие от других ответов здесь, обратите внимание, что с C99 размерofof() равен не обязательно определяется во время компиляции, так как массивы могут быть переменной длины.

Answer 9

Проблема, лежащая в основе вашей проблемы, заключается в том, что вы смешиваете массивы и указатели, как это делают многие. Однако массивы не указатели. A double da[10] представляет собой массив из десяти double, а не double*, и это, безусловно, известно компилятору, когда вы попросите его оценить sizeof(da). Вы не удивитесь, что компилятор знает sizeof(double)?

Проблема с массивами заключается в том, что они автоматически разлагаются на указатели на их первые элементы во многих контекстах (например, когда они передаются в функции). Но все же, массив - это массивы, а указатели - указатели.

Answer 10

sizeof рассчитывается во время компиляции. Вот почему при создании динамического массива вы создаете его следующим образом.

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

// теперь во время компиляции компилятор точно знает размер символа. так как он должен выровнять их по памяти. На данный момент OS знает, сколько размера он должен выделить.

массивы переменной длины с другой стороны, создаются на Stack. Но любая память, выделенная malloc, будет создана в куче.

Answer 11

Размер всегда оценивается во время компиляции. В многопроходном компиляторе при генерации таблицы символов компилятор должен определить размер каждого объявленного символа для продолжения генерации промежуточного кода. Таким образом, для всех sizeof ссылок в коде вместо точного значения. На этапе формирования промежуточного кода все операторы, операторы преобразуются в правый промежуточный код (ASM/другой формат). Наконец, этап генерации кода m/c преобразует его в машинный код.

Некоторые обсуждения, рассмотренные выше w.r.t, динамические распределения, относящиеся к sizeof, вообще не находятся в контексте. Любая ссылка на размер (* p), где p является указателем любого типа данных, компилятор просто обнаруживает тип данных * p и заменяет его размер, а не переходит к проверке заголовка MCB выделенного блока, чтобы увидеть, что является выделенным размер памяти. Это не во время выполнения.Например, double * p; sizeof (* p) все еще можно сделать без выделения памяти для указателя p. Как это возможно?

Answer 12

sizeofобычно оценивается во время компиляции. Заметным исключением являются массивы переменной длины 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"); 
}