私は、Git 2.0で7b1004bをコミットする、ポインタからポインタへのポインタのこの「実際の」コード例を気に入っています。
ライナスはかつて言った：
本当にコアな低レベルのコーディングをもっと多くの人に理解してもらいたいです。ロックレスの名前検索のような大きくて複雑なものではありませんが、ポインタからポインタへの適切な使用などです。
たとえば、「prev」エントリを追跡することにより、単一リンクリストエントリを削除する人が多すぎます、そしてエントリを削除するには、次のようなことをします
if (prev)
prev->next = entry->next;
else
list_head = entry->next;
そして、そのようなコードを見るときはいつでも、「この人はポインタを理解していません」とだけ行きます。悲しいことに、それは非常に一般的です。
ポインターを理解している人は、「エントリーポインターへのポインター」を使用し、list_headのアドレスで初期化します。そして、リストをトラバースするときに、条件を使用せずにエントリを削除できます。
*pp = entry->next
その単純化を適用すると、コメントを2行追加しても、この関数から7行を失うことができます。
- struct combine_diff_path *p, *pprev, *ptmp;
+ struct combine_diff_path *p, **tail = &curr;
Chris は、Philip Buuckによる2016年のビデオ「Linus Torvaldsのダブルポインター問題」へのコメントで指摘しています。
クマーは指摘するコメントで「ブログ記事の概要ポインタのライナス、」Grisha Trubetskoyは説明しています。
次のように定義されたリンクリストがあるとします。
typedef struct list_entry {
int val;
struct list_entry *next;
} list_entry;
最初から最後まで繰り返し、値がto_removeの値と等しい特定の要素を削除する必要があります。
これを行うためのより明白な方法は次のとおりです。
list_entry *entry = head; /* assuming head exists and is the first entry of the list */
list_entry *prev = NULL;
while (entry) { /* line 4 */
if (entry->val == to_remove) /* this is the one to remove ; line 5 */
if (prev)
prev->next = entry->next; /* remove the entry ; line 7 */
else
head = entry->next; /* special case - first entry ; line 9 */
/* move on to the next entry */
prev = entry;
entry = entry->next;
}
上記で行っていることは次のとおりです。
- エントリが
NULLになるまでリストを反復します。これは、リストの最後に到達したことを意味します（4行目）。
- 削除したいエントリ（5行目）に遭遇すると、
- 現在の次のポインタの値を前のポインタに割り当て、
- したがって、現在の要素を削除します（7行目）。
上記の特別なケースがあります-反復の開始時に前のエントリ（previs NULL）がないため、リストの最初のエントリを削除するには、ヘッド自体を変更する必要があります（9行目）。
Linusが言っていたことは、前の要素を単なるポインタではなくポインタへのポインタにすることで、上記のコードを簡略化できるということです。
コードは次のようになります。
list_entry **pp = &head; /* pointer to a pointer */
list_entry *entry = head;
while (entry) {
if (entry->val == to_remove)
*pp = entry->next;
pp = &entry->next;
entry = entry->next;
}
上記のコードは前のバリアントと非常に似ていますが、最初でppはないため、リストの最初の要素の特殊なケースを監視する必要がないことに注意してNULLください。シンプルで賢い。
また、そのスレッドの誰かが、これがより良い理由*pp = entry->nextはアトミックだからであるとコメントしました。間違いなくアトミックではありません。
上記の式には、2つの間接参照演算子（*および->）と1つの代入が含まれていますが、これら3つはいずれもアトミックではありません。
これはよくある誤解ですが、悲しいかな、Cではほとんど何もアトミックであると想定すべきではありません（++and --演算子を含む）。
