SizeOf непрогнозируемой

Question

Рассмотрим следующий код:

#include <stdio.h> 
    int main(void) 
    { 
    int a[10]; 
    printf("%d",(int)sizeof(a)); //prints 10*sizeof(int) (40 on my compiler) 
    printf("%d",(int)sizeof(a-3)); //prints sizeof(int) (4 on my compiler) 

    } 

Я знаю, что sizeof() является оператором во время компиляции, но я был удивлен, увидев выход второго printf(). Что может быть причиной? Существует ли неявное преобразование аргумента sizeof() от типа массива к целочисленному типу?

Answer 1

Оператор sizeof не оценивает свой аргумент, он только looks at the type своего операнда.

Предположим, у вас есть массив a с типом «массив [N] типа T». Затем в большинстве случаев тип имени a является «указателем на T» (T *), а значение указателя является адресом первого элемента массива (&a[0]). То есть имя массива «распадается» на указатель на его первый элемент. «Затухающих» не происходит в следующих случаях:

• когда a используется с Адресов (&) оператора,
• в инициализации a (это незаконно присвоить массивы в C) и
• , когда a является операндом оператора sizeof.

Таким образом, sizeof a дает вам Nsizeof(T).

Когда вы делаете sizeof(a-3), тип операнда sizeof определяется выражением a-3. Поскольку a в a-3 используется в value context (т. Е. Ни один из трех контекстов выше), его тип является «указателем на int», а имя a распадается на указатель на a[0]. Таким образом, вычисление a-3 является неопределенным поведением, но поскольку sizeof не оценивает его аргумент, a-3 используется только для определения типа операнда, поэтому код в порядке (см. Первую ссылку выше для более).

Из вышеизложенного sizeof(a-3) эквивалентен sizeof(int *), что соответствует 4 на вашем компьютере.

«Преобразование» связано с оператором вычитания. Вы можете увидеть подобное, и, возможно, более удивительным, результат с оператором запятая:

printf("%zu\n", sizeof(1, a)); 

также напечатает sizeof(int *), из-за оператора запятая в результате a привыкания в контексте значения.

Answer 2

(a-3) имеет тип int*, и он печатает вас sizeof(int*), который является 4 на вашей платформе.

Обратите внимание, что sizeof() больше не является константой времени компиляции в C99 (из-за массивов переменной длины).

Answer 3

Нет, во втором случае аргумент интерпретируется как указатель int*, который также имеет размер, равный 4 на вашем компьютере.

Answer 4

sizeof() возвращает размер типа, поэтому тип является тем, что важно.

Он также не должен печататься %d. По крайней мере, явным образом отбросьте его на unsigned long или unsigned long long и используйте соответствующий спецификатор формата. Когда преподавал C, у меня был ученик, который получил неправильный ответ, напечатав size_t с %d как ошибочно сказал учебник.

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