Чому sizeof (x ++) не збільшується x?

Ось код, складений у вікнах dev c ++:

#include <stdio.h>

int main() {
    int x = 5;
    printf("%d and ", sizeof(x++)); // note 1
    printf("%d\n", x); // note 2
    return 0;
}

Я очікую x6 після виконання примітки 1 . Однак вихід:

4 and 5

Чи може хтось пояснити, чому xне збільшується після примітки 1 ?

Від стандарту C99 (акцент - мій)

6.5.3.4/2

Оператор sizeof видає розмір (у байтах) свого операнда, який може бути виразом або в дужках назви типу. Розмір визначається від типу операнду. Результат - ціле число. Якщо тип операнда є масивом змінної довжини, операнд оцінюється; в іншому випадку операнд не оцінюється а результат є цілою постійною.

sizeofє оператором часу компіляції , тому під час компіляції sizeofта її операнду замінюють значенням результату. Операнд не вирахував (крім випадків , коли це змінна масиву довжини) на всіх; має значення лише тип результату.

short func(short x) {  // this function never gets called !!
   printf("%d", x);    // this print never happens
   return x;
}

int main() {
   printf("%d", sizeof(func(3))); // all that matters to sizeof is the 
                                  // return type of the function.
   return 0;
}

Вихід:

2

як shortзаймає 2 байти на моїй машині.

Зміна типу повернення функції на double:

double func(short x) {
// rest all same

дасть 8як вихід.

sizeof(foo) намагається дуже важко виявити розмір виразу під час компіляції:

6.5.3.4:

Оператор sizeof видає розмір (у байтах) свого операнда, який може бути виразом або в дужках назви типу. Розмір визначається від типу операнду. Результат - ціле число. Якщо тип операнда є масивом змінної довжини, операнд оцінюється; в іншому випадку операнд не оцінюється, а результат є цілою постійною.

Якщо коротко: масиви змінної довжини, запускаються під час виконання. (Примітка. Масиви змінної довжини є специфічною особливістю - не масиви, виділені за допомогою malloc(3).) В іншому випадку обчислюється лише тип виразу, і це під час компіляції.

sizeofє вбудованим оператором часу компіляції і не є функцією. Це стає дуже зрозумілим у випадках, коли ви можете використовувати його без дужок:

(sizeof x)  //this also works

Примітка

Цю відповідь було об'єднано з дубліката, що пояснює пізню дату.

Оригінал

За винятком масивів змінної довжини sizeof не оцінює його аргументи. Це ми бачимо з проекту стандартного розділу C99 6.5.3.4 Розмір оператора, абзац 2, який говорить:

Оператор sizeof видає розмір (у байтах) свого операнда, який може бути виразом або в дужках назви типу. Розмір визначається від типу операнду. Результат - ціле число. Якщо тип операнда є масивом змінної довжини, операнд оцінюється; в іншому випадку операнд не оцінюється, а результат є цілою постійною.

У коментарі ( зараз видалено ) запитували, чи може щось подібне оцінювати під час виконання:

sizeof( char[x++]  ) ;

і справді так, щось подібне також спрацювало ( Дивіться їх обох наживо ):

sizeof( char[func()]  ) ;

оскільки вони обидва масиви змінної довжини. Хоча я не бачу багато практичного використання ні в одному.

Зверніть увагу, масиви змінної довжини розглядається в проекті C99 стандартного розділ 6.7.5.2 масиву declarators пункту 4 :

[...] Якщо розмір є цілим постійним виразом і тип елемента має відомий постійний розмір, тип масиву не є масивом змінної довжини; в іншому випадку тип масиву - це тип масиву змінної довжини.

Оновлення

У C11 відповідь змінюється для випадку VLA, у деяких випадках не визначено, чи оцінюється вираження розміру чи ні. З розділу 6.7.6.2 Декларатори масиву, який говорить:

[...] Якщо вираз розміру є частиною операнда оператора sizeof і зміна значення виразу size не вплине на результат оператора, не визначено, чи оцінюється вираження розміру чи ні.

Наприклад, у такому випадку ( див. Його наживо ):

sizeof( int (*)[x++] )

Оскільки операнд sizeofоператора не оцінюється, ви можете зробити це:

int f(); //no definition, which means we cannot call it

int main(void) {
        printf("%d", sizeof(f()) );  //no linker error
        return 0;
}

Демонстрація в Інтернеті: http://ideone.com/S8e2Y

Тобто вам не потрібно визначати функцію, fякщо вона використовується sizeofлише. Цей прийом здебільшого застосовується в метапрограмуванні шаблонів на C ++, як навіть у C ++, операндіsizeof не оцінюється.

Чому це працює? Це працює тому, щоsizeof оператор не працює на значення , натомість працює на тип виразу. Отже, коли ви пишете sizeof(f()), він діє на тип виразу f(), і це не що інше, як тип повернення функціїf . Тип повернення завжди однаковий, незалежно від того, яке значення повернула б функція, якщо вона насправді виконується.

У програмі C ++ ви навіть можете це:

struct A
{
  A(); //no definition, which means we cannot create instance!
  int f(); //no definition, which means we cannot call it
};

int main() {
        std::cout << sizeof(A().f())<< std::endl;
        return 0;
}

І все-таки це схоже на те sizeof, що я спершу створюю екземпляр A, пишучи A(), а потім викликаю функцію fв екземплярі, пишучиA().f() , але нічого подібного не відбувається.

Демонстрація: http://ideone.com/egPMi

Ось ще одна тема, яка пояснює деякі інші цікаві властивості sizeof:

• розмір прийняття двох аргументів

Виконання не може відбутися під час компіляції. Так ++i/ i++не станеться. Також sizeof(foo())не виконуватиме функцію, але поверне правильний тип.

sizeofзапускається під час компіляції, але x++може бути оцінена лише під час виконання. Щоб вирішити це, стандарт C ++ диктує, що операнд sizeofне оцінюється. Стандарт C говорить:

Якщо тип операнда [of sizeof] - це тип масиву змінної довжини, операнд оцінюється; в іншому випадку операнд не оцінюється, а результат є цілою постійною.

sizeof() Оператор надає розмір лише типу даних, він не оцінює внутрішні елементи.