Dereference nullは必ずしもUBではありませんか？

Question

私は、スタンダードが逆参照nullがUBであることを常に知らせてきました。しかし、

(Link 1)氏は述べています

のp = 0; * p;本質的にエラーではありません。

と

(Link 2)へのリンクを提供すること

* pはエラー左辺値が左辺値

に変換されていない限り、pがnullのとき（私は信じていないと言いますそれはタイプミスで、おそらく読むべきです左辺値はの右辺値に変換されます ）

リンク1も言う

のchar * p = 0で。私が唯一として読むことができるのchar * Q = & *（P）

は "undefinedではない" で、または少なくとも明確に定義された実装定義

は、言語の弁護士は提供できます何が起こっているのかの権威ある説明？

Answer 1

this answerのヌルポインタによる間接的な話題を取り上げました。一言で言えば、それは実際には、それ自体がよく定義されたコアの問題で精巧に定義されたものです。委員会は何年も前に提案されたように（しかし決して採用されなかった）空白の左利きの概念を使用した。 *pはそのような空白の左辺値であると考えられます。左辺値の後ろに存在しない（存在しない）メモリ位置にアクセスしようとしない限り、左辺値と右辺値の変換を実行すると、他のすべての演算は期待どおりに動作します。例えば。 &*pはpが無効でない限りpに相当します。 （これは配列の終わりを指すポインタのためにも共通しています。共通のイディオム&arr[n]に必要です）。

私もpaper for empty lvaluesのドラフトを開始しました（これはWIPであり、N4640に対するリベースはまだ完了していません）ので、後で詳しく説明します。