PostgreSQL中的 lcons

前面我们说过了 listmake1其实是特殊的 lcons，

而lcons 函数位于 list.c 中。

00259 lcons(void *datum, List *list)

00260 {

00261     Assert(IsPointerList(list));

00262 

00263     if (list == NIL)

00264         list = new_list(T_List);

00265     else

00266         new_head_cell(list);

00267 

00268     lfirst(list->head) = datum;

00269     check_list_invariants(list);

00270     return list;

00271 }　　　　

 看 gram.y 中的 target_list 的定义：

target_list:                                    

            target_el                { $$ = list_make1($1); }        

            | target_list ',' target_el                { $$ = lappend($1, $3); }        

        ;  

listmake1($1) 就是，通过 lcons来建立一个空的List, 其head 指向 $1。

我们可以看到　，当 lcons的第二个参数为空的时候，会执行 new_list 操作，创建一个只有头的list

00063 new_list(NodeTag type)

00064 {

00065 List *new_list;

00066 ListCell *new_head;

00067 

00068 new_head = (ListCell *) palloc(sizeof(*new_head));

00069 new_head->next = NULL;

00070 /* new_head->data is left undefined! */

00071 

00072 new_list = (List *) palloc(sizeof(*new_list));

00073 new_list->type = type;

00074 new_list->length = 1;

00075 new_list->head = new_head;

00076 new_list->tail = new_head;

00077 

00078 return new_list;

00079 }

从上面 new_list里，可以看到，它创建了一个 ListCell(虽然是空的)。

然后，new_list 的头和尾首先都指向这个 ListCell。

再然后，这个新生成的 list, 其 尾部指向 datum 。
也就是 指向了 makeNode(ResTarget)的 ResTarget类型

也就是下图：

 

今后，再进一步分析更复杂的情形。