ようやく C99 のいくつかの機能に興味を持ちましたが、C99 ドラフトの関連セクションを理解するのに苦労しています。
restrict は、restrict 修飾された 2 つのポインターが同じオブジェクトを指さないという約束であることは知っていますが、許可されているものと許可されていないものについて、より詳細で具体的な説明を見つけるという私の探求はほとんど成果を上げていません。
したがって、私の質問は次のとおりです。制限ポインターに関する詳細について、誰かが読みやすく理解しやすい説明を提供できますか。たとえば、それらを使用できる場合と使用できない場合、UB の場合などです。詳細なほど良いです。C99のドラフトを見て頭が痛くなるのはうんざりです。
ありがとう。