operator przyrost nie pracuje z sizeof

Question

Powiel możliwe:
Why does sizeof(x++) not increment x?

prostu zastanawiasz się, dlaczego operator przyrost nie działa w poniższym fragmencie kodu:

int main() 
    { 
     int a = 10; 
     int b = sizeof(a++); 
     cout<<"a: "<<a<<endl; 
     cout<<"b: "<<b<<endl; 
     return 0; 
    } 

Output -

A: 10

B: 4

Answer 1

sizeof nie ocenia swojego argumentu. Oblicza on statyczny rozmiar argumentu w czasie kompilacji, nie powodując wykonania żadnego kodu.

Answer 2

Argument operatora sizeof nie jest używana, nie jest uwzględniany. Jest to standardowe zachowanie.

Answer 3

sizeof nie jest to funkcja w C

Jej argumentem jest naprawdę nie oceniano, tylko jej rodzaj jest i odbywa się to w czasie kompilacji. W kodzie przyporządkowanie odpowiada (w architektury) do:

int b = 4 

Answer 4

Gdy typ ekspresji sizeof nie zmiennie zmodyfikowany rodzaj tablicy, po czym ekspresja nie jest oceniane dlatego, że typ jest całkowicie znany w czasie kompilacji. int nie ma zmiennie zmodyfikowanych części.

W C++ (do co najmniej C++ 11) nie ma zmiennie zmodyfikowanych typów (przynajmniej nie tak jak w koncepcji C - można argumentować, że new int[a++] używa zmiennie zmodyfikowanego typu tablicy, ale typ nie uciec się do jakiejkolwiek innej części języka, w szczególności do sizeof), więc w C++ wyrażenie do sizeof nigdy nie jest oceniane. W języku C nie jest określane, czy wyrażenie jest oceniane, jeśli nie ma wpływu na rozmiar zmiennie zmodyfikowanego typu tablicy. Na przykład

int main() 
{ 
    int a = 10; 
    int b = sizeof(int[a++ ? 1 : 1]); 
    cout<<"a: "<<a<<endl; 
    cout<<"b: "<<b<<endl; 
    return 0; 
} 

W C (z C99 i dalsze), mogłoby to spowodować wyjście 11 do a, lecz może być również przesyłane 10, w zależności od tego, czy kompilator wystarczająco mądry pominąć oceny a++, wnioskowanie, że sizeof int[10] jest obliczono w czasie kompilacji.

---

Przypis: Zmodyfikowane typy tablic są również nazywane typami VLA (array o zmiennej długości). W skrócie, zmiennie zmodyfikowany typ jest typem typu VLA lub typem, który zależy od jednego. Na przykład int(*)[a++].

Answer 5

W unowocześnionym kontekście tylko typ ma znaczenie. To samo dzieje się podczas wywoływania funkcji:

void f(); 

sizeof(f()); // f not called