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;
}

私は期待してx実行した後、6であることを注記1を。ただし、出力は次のとおりです。

4 and 5

注1のx後、なぜ増加しないのか、誰か説明できますか？

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 のsizeofオペレーターの段落2から確認できます。

sizeof演算子は、そのオペランドのサイズ（バイト単位）を生成します。これは、式または型の括弧で囲まれた名前の場合があります。サイズは、オペランドのタイプから決定されます。結果は整数です。オペランドのタイプが可変長配列タイプの場合、オペランドが評価されます。そうでない場合、オペランドは評価されず、結果は整数定数になります。

コメント（現在は削除されています）は、このようなものが実行時に評価されるかどうかを尋ねました：

sizeof( char[x++]  ) ;

そして、確かにそれは、このようなものも機能します（両方をライブで見る）：

sizeof( char[func()]  ) ;

どちらも可変長配列だからです。とはいえ、どちらにも実用的な使い方はあまり見られません。

可変長配列は、C99標準ドラフトセクションの6.7.5.2 配列宣言子のパラグラフ4で説明されています。

[...]サイズが整数定数式で、要素の型が既知の定数サイズである場合、配列型は可変長配列型ではありません。それ以外の場合、配列型は可変長配列型です。

更新

C11では、VLAケースの答えが変わります。特定のケースでは、サイズ式が評価されるかどうかは指定されていません。6.7.6.2 配列宣言子のセクションから：

[...]サイズ式がsizeof演算子のオペランドの一部であり、サイズ式の値を変更しても演算子の結果に影響がない場合、サイズ式が評価されるかどうかは不定です。

たとえば、次のような場合（ライブで見る）：

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 ++でもオペランドがsizeof評価されないため、C ++テンプレートのメタプログラミングで主に使用されます。

なぜこれが機能するのですか？これは、sizeof演算子がvalueではなく式のタイプを操作するため機能します。ですから、あなたが書くとき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。

• 2つの引数を取るsizeof

コンパイル中は実行できません。したがって、++i/ i++は起こりません。またsizeof(foo())、関数は実行されませんが、正しいタイプが返されます。

sizeofコンパイル時にx++実行されますが、実行時にのみ評価できます。これを解決するために、C ++標準でsizeofは、オペランドが評価されないように規定されています。C標準は言う：

オペランドの型[of sizeof]が可変長配列型の場合、オペランドが評価されます。そうでない場合、オペランドは評価されず、結果は整数定数になります。

sizeof() 演算子はデータ型のサイズのみを指定し、内部要素は評価しません。