無効なメモリを指しているときのsizeof（* ptr）の動作は未定義ですか？

Question

ヌルポインタまたは割り当てられていないメモリへのポインタの逆参照は、未定義の動作を呼び出します。

しかし、sizeofに渡される式内で使用されるルールは何ですか？例えば

：

int* ptr = 0; 
int size = sizeof(*ptr); 

が、これがまた、未定義のですか？

Answer 1

ほとんどの場合（C以上）、sizeof(*x)は実際には*xと評価されません。 C99標準では、これは6.5.3.4 The sizeof operator、一部/2（私の太字）で述べている：

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

したがって、すべての非VLAについて、逆参照は行われません。 *xのタイプが VLAの場合、実行フェーズsizeofと考えられます。コード実行中に処理する必要があるもの - コンパイル時に他のすべてを計算できます。 5.3.3. Sizeofに示すように、わずかに異なるルールを有する++

C、一部/1は：

sizeof演算子は、そのオペランドのオブジェクト表現のバイト数を与えます。オペランドは、評価されないオペランド（第5項）である式か、カッコで囲まれたタイプIDです。

5. Expressionsは一部/8に用語 "未評価オペランド" を定義しています。いくつかの文脈で

、未評価のオペランドが表示されます。未評価のオペランドは評価されません。

（私がしばらく読んだことのない最も重大な冗長フレーズの1つかもしれませんが、ISO人の心が何を書いていたのか分かりません）。

Answer 2

番号sizeofは演算子であり、実際の値（評価されていない）ではなく型で機能します。

オペレータであることを思い出させるために、実用的な場所で括弧を省略することをお勧めします。

int* ptr = 0; 
size_t size = sizeof *ptr; 
size = sizeof (int); /* brackets still required when naming a type */ 

Answer 3

sizeof（* ptr）はこの場合sizeof（int）と同じです。

Answer 4

sizeofおよびdecltypeは、オペランドの計算型のみを評価しません。

Answer 5

sizeofは必ずしもコンパイル時の構成ではないが、C++ではsizeofに提供される式は決して評価されません。そのようなものとして、未定義の振る舞いが出現する可能性は決してありません。同様のロジックによって、決して定義されていないファンクションを呼び出すこともできます。ファンクションは実際に呼び出されないため、定義は必要ありません。SFINAEルールで頻繁に使用されるファクトです。