没看懂，保下

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

他说：

相反，很多人连低水平的内核编程都还没学好。像lockless用名字查找（name lookup）功能即使不大也不复杂，却是指针到指针的一个简单及良好的使用方法。比如，我曾看见过许多人通过跟踪上一页条目删除一个单向链接的列表项，然后删除该条目。例如：

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值构建成了一个完美的结构体，但是修改这个表的代码需要很精妙。难怪链表功能会常出现在许多面试环节中。

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

现在，让我们好好记住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 http://wordaligned.org/articles/two-star-programming

概述

　　C语言中有一种长度不确定的参数，形如："…"，它主要用在参数个数不确定的函数中，我们最容易想到的例子是printf函数。

　　原型：

int printf( const char *format [, argument]... );

　　使用例：

printf("Enjoy yourself everyday!\n");
printf("The value is %d!\n", value);

　　这种可变参数可以说是C语言一个比较难理解的部分，这里会由几个问题引发一些对它的分析。

　　注意：在C++中有函数重载（overload）可以用来区别不同函数参数的调用，但它还是不能表示任意数量的函数参数。

　　问题：printf的实现

　　请问，如何自己实现printf函数，如何处理其中的可变参数问题？ 答案与分析：

　　在标准C语言中定义了一个头文件<stdarg.h>专门用来对付可变参数列表，它包含了一组宏，和一个va_list的typedef声明。一个典型实现如下：

typedef char* va_list;
#define va_start(list) list = (char*)&va_alist
#define va_end(list)
#define va_arg(list, mode)\
((mode*) (list += sizeof(mode)))[-1]
自己实现printf：
#include <stdarg.h>
int printf(char* format, …)
{
va_list ap;
va_start(ap, format);
int n = vprintf(format, ap);
va_end(ap);
return n;
}

　　问题：运行时才确定的参数

　　有没有办法写一个函数，这个函数参数的具体形式可以在运行时才确定？

　　答案与分析：

　　目前没有"正规"的解决办法，不过独门偏方倒是有一个，因为有一个函数已经给我们做出了这方面的榜样，那就是main()，它的原型是:

int main(int argc,char *argv[]);

　　函数的参数是argc和argv。

　　深入想一下，"只能在运行时确定参数形式"，也就是说你没办法从声明中看到所接受的参数，也即是参数根本就没有固定的形式。常用的办法是你可以通过定义一个void *类型的参数，用它来指向实际的参数区，然后在函数中根据根据需要任意解释它们的含义。这就是main函数中argv的含义，而argc，则用来表明实际的参数个数，这为我们使用提供了进一步的方便，当然，这个参数不是必需的。

　　虽然参数没有固定形式，但我们必然要在函数中解析参数的意义，因此，理所当然会有一个要求，就是调用者和被调者之间要对参数区内容的格式，大小，有效性等所有方面达成一致，否则南辕北辙各说各话就惨了。

　　问题：可变长参数的传递

　　有时候，需要编写一个函数，将它的可变长参数直接传递给另外的函数，请问，这个要求能否实现？

　　答案与分析：

　　目前，你尚无办法直接做到这一点，但是我们可以迂回前进，首先，我们定义被调用函数的参数为va_list类型，同时在调用函数中将可变长参数列表转换为va_list，这样就可以进行变长参数的传递了。看如下所示：

void subfunc (char *fmt, va_list argp)
{
...
arg = va_arg (fmt, argp); /* 从argp中逐一取出所要的参数 */
...
}

void mainfunc (char *fmt, ...)
{
va_list argp;
va_start (argp, fmt); /* 将可变长参数转换为va_list */
subfunc (fmt, argp); /* 将va_list传递给子函数 */
va_end (argp);
...
}

　　问题：可变长参数中类型为函数指针

　　我想使用va_arg来提取出可变长参数中类型为函数指针的参数，结果却总是不正确，为什么？

　　答案与分析：

　　这个与va_arg的实现有关。一个简单的、演示版的va_arg实现如下：

#define va_arg(argp, type) \
(*(type *)(((argp) += sizeof(type)) - sizeof(type)))

　　其中，argp的类型是char *。

　　如果你想用va_arg从可变参数列表中提取出函数指针类型的参数，例如

int (*)()，则va_arg(argp, int (*)())被扩展为：
(*(int (*)() *)(((argp) += sizeof (int (*)())) -sizeof (int (*)())))

　　显然，（int (*)() *）是无意义的。

　　解决这个问题的办法是将函数指针用typedef定义成一个独立的数据类型，例如：

typedef int (*funcptr)()；

　　这时候再调用va_arg(argp, funcptr)将被扩展为：

(* (funcptr *)(((argp) += sizeof (funcptr)) - sizeof (funcptr)))

　　这样就可以通过编译检查了。

　　问题：可变长参数的获取

　　有这样一个具有可变长参数的函数，其中有下列代码用来获取类型为float的实参：

va_arg (argp, float);

　　这样做可以吗？

　　答案与分析：

　　不可以。在可变长参数中，应用的是"加宽"原则。也就是float类型被扩展成double；char, short被扩展成int。因此，如果你要去可变长参数列表中原来为float类型的参数，需要用va_arg(argp, double)。对char和short类型的则用va_arg(argp, int)。

　　问题：定义可变长参数的一个限制

　　为什么我的编译器不允许我定义如下的函数，也就是可变长参数，但是没有任何的固定参数？

int f (...)
{
...
}  

　　答案与分析：

　　不可以。这是ANSI C 所要求的，你至少得定义一个固定参数。

　　这个参数将被传递给va_start()，然后用va_arg()和va_end()来确定所有实际调用时可变长参数的类型和值。