对话Linus Torvalds：大多黑客甚至连指针都未理解

忘是亡心i 2024-04-17 22:48 16阅读 0赞

摘要：Linus Torvalds坦言那些狡诈的通过文件名查找高速缓存，然后又抱怨自己能力一般的内核“恶魔”才是他欣赏的；相反，很多人连低水平的内核编程都还没学好。

几周前， Linus Torvalds在Slashdot上回答了一些[问题][Link 1]。其中有一条引发了开发者们的强烈关注，当被问到他心目中的内核开发者时，他说自己这些日子已经不怎么看代码了，除非是帮别人审查。他稍微暂停了一下，坦言那些“狡猾”的通过文件名查找高速缓存又抱怨自己能力一般的内核“恶魔”（黑客）才是他欣赏的。

他说：

> 我真的希望更多人能理解真正核心的低层代码。不是无锁名字查找那种大而复杂的代码，只是正确的使用指针的指针而已。比如，我曾看见过许多人通过跟踪上一页条目删除一个单向链接的列表项，然后删除该条目。例如：
> 
>     if (prev) 
>          prev->next = entry->next; 
>          else 
>          list_head = entry->next;
> 
> 每当我看到这些的代码，我会说：“此人不了解指针”。这还是一个可悲的、常见的问题。
> 
> 如果开发者能够理解指针，只需要使用“指向该条目的指针”并初始化list\_head，然后贯穿列表，此时无需使用任何条件语句即可删除该条目，只需通过 \*pp = entry->next。

我想我理解指针，但不幸的是，如果要实现删除函数，我会一直保持跟踪前面的列表节点。这里是代码草稿：

**不理解指针的人做法：**

typedef struct node 
        { 
        struct node * next; 
        .... 
        } node; 
        
        typedef bool (* remove_fn)(node const * v); 
        
        // Remove all nodes from the supplied list for which the 
        // supplied remove function returns true. 
        // Returns the new head of the list. 
        node * remove_if(node * head, remove_fn rm) 
        { 
        for (node * prev = NULL, * curr = head; curr != NULL; ) 
        { 
        node * next = curr->next; 
        if (rm(curr)) 
        { 
        if (prev) 
        prev->next = curr->next; 
        else 
        head = curr->next; 
        free(curr); 
        } 
        else 
        prev = curr; 
        curr = next; 
        } 
        return head; 
        }

这个链表很简单，但可以把每个节点的指针和sentinel值构建成了一个完美的结构体，但是修改这个表的代码需要很精妙。难怪链表功能会常出现在[许多面试][Link 2]环节中。

上面执行的代码是处理从列表头中删除任何节点所需的条件。

现在，让我们好好记住Linus Torvalds执行代码。在这种情况下，我们通过一个指针指向列表头来贯穿列表遍历修改。

**Two star programming：**

void remove_if(node ** head, remove_fn rm) 
        { 
        for (node** curr = head; *curr; ) 
        { 
        node * entry = *curr; 
        if (rm(entry)) 
        { 
        *curr = entry->next; 
        free(entry); 
        } 
        else 
        curr = &entry->next; 
        } 
        }

好多了！最关键的部分在于：链表中的链接都是指针，因此指针到指针是修改链表的首选方案。

改进版的remove\_if()是一个使用双重星号的例子，双重星号象征着两重间接寻址，再加一个星（[third star][]）又会太过多余。

英文出自：[Wordaligned][]

[Link 1]: http://meta.slashdot.org/story/12/10/11/0030249/linus-torvalds-answers-your-questions
[Link 2]: https://www.google.com/search?q=linked+list+interview+questions
[third star]: http://c2.com/cgi/wiki?ThreeStarProgrammer
[Wordaligned]: http://wordaligned.org/articles/two-star-programming