在看 apue 第 21 章 与网络打印机通信一章时,发现一段关于链表操作的代码有问题,现在摘出来让大家 review 一下。先上代码:
这是打印服务的源代码,在打印时,用户通过 print 命令提交待打印的文件,print 命令通过 tcp 与 printd 服务通讯,
将文件及打印相关的参数传递给后者;对于每个客户,printd 服务会创建一个 worker 结构节点,
放在一个由 workers 变量指定了头的双向链表中。所以这段代码本质上就是简单的双向链接操作:
1 void add_worker (pthread_t tid, int sockfd) 2 { 3 struct worker_thread *wtp; 4 if ((wtp = malloc (sizeof (struct worker_thread))) == NULL) { 5 log_ret ("add_worker: can't malloc"); 6 pthread_exit ((void *)1); 7 } 8 9 wtp->tid = tid; 10 wtp->sockfd = sockfd; 11 12 log_msg ("prepare to add worker"); 13 pthread_mutex_lock (&workerlock); 14 15 wtp->prev = NULL; 16 wtp->next = workers; 17 if (workers == NULL) 18 workers = wtp; 19 else 20 workers->prev = wtp; 21 22 pthread_mutex_unlock (&workerlock); 23 }
重点就是 15-20 这 6 行啦(原文p633,代码499-504行),当第一次加入节点时, workers 为 NULL,所以走第一个条件分支,这没有问题;
但是再加入节点时, workers 不为 NULL,此时走 else 分支,将当前头的上一个节点设置为待插入的新节点 wtp,
到现在还好,可是等等,怎么就没下文了?!这个节点还没完全加入链表呢……
正确的做法应该是在结尾前再加一句:
else { workers->prev = wtp; workers = wtp; }
这样才能算完嘛。道理就不多说了,不信自己画个链表看看。下面给出优化后的完整代码:
1 void add_worker (pthread_t tid, int sockfd) 2 { 3 struct worker_thread *wtp; 4 if ((wtp = malloc (sizeof (struct worker_thread))) == NULL) { 5 log_ret ("add_worker: can't malloc"); 6 pthread_exit ((void *)1); 7 } 8 9 wtp->tid = tid; 10 wtp->sockfd = sockfd; 11 pthread_mutex_lock (&workerlock); 12 13 wtp->prev = NULL; 14 wtp->next = workers; 15 if (workers != NULL) 16 workers->prev = wtp; 17 18 workers = wtp; 19 20 pthread_mutex_unlock (&workerlock); 21 }
好吧,我承认作为经典著作也会有这种低级错误。
今天的吹毛求疵就到这里,作为一个有职业素养的程序员,不在鸡蛋里挑出骨头来不罢休,嘿嘿……