6.10.4 式

ほとんどの式演算子では完全なオブジェクト型が必要ですが、例外が 3 つあります。単項 & 演算子、コンマ演算子の最初のオペランド、および ?: 演算子の 2 番目と 3 番目のオペランドです。ポインタのオペランドを受け入れるほとんどの演算子は、ポインタ演算が要求されないかぎり、不完全な型へのポインタも許可します。この中には、単項 * 演算子も含まれます。

たとえば、次の式の場合、&*p はこの状況を利用する有効なサブ式です。

void *p