リファレンス/ xはL値（の変数を言わせて）、次のアイデンティティが保持されるアイデンティティ

Question

逆参照：

のx == *（& x）の

これは説明するのは非常に簡単です

、 & xはxへのポインタであり、逆参照演算子*は& xに適用されるため、xはもちろんxを返します。

ここで、逆の意味があるのだろうかと思います。私は疑問に思って正確には場合

のp == &（* P）

pは非ダングリングポインタである

。 これは意味があるようです。なぜなら、* pは既にそれにポインタ（=アドレス）pを持っているため、* p自体がL値（アドレスを持つ値）であるからです。だから、&（* p）はpになる可能性がないので、そのようなポインタはユニークであることだけを知る必要があります。

したがって、両方のアイデンティティが真の場合、数学的に、*と&はお互いの逆関数であると言うことができます。

正しいですか？この主張されているルールには例外がありますか？

Answer 1

pがオブジェクトポインタの場合、&*pはpに相当します。 *pの評価は発生せず、これはC標準によって保証されています。オペランドが単項*演算子、そのオペレータどちらも&演算子の結果である場合は、」

（C99、6.5.3.2p3）：ここで

char *q, *p = NULL; 
q = &*p; // equivalent to q = p; 

は、標準の関連段落ですオペレータの制約が適用され、結果が左辺値ではないことを除いて、結果が両方とも省略されたかのように評価されます。

EDIT：@コメントldav1sした後、私は言葉ポインタへのオブジェクトポインタを変更しました。実際にpのタイプがvoid *の場合、&*pは無効です。これについては、Defect Report＃102のC委員会で議論されています。http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_012.html