coding my life

昨日の続きで、リストと配列の実装を追います。今日はpush/popとshift/unshiftです。

まずは push/pop。配列の末尾に追加(push)、末尾から削除(pop)するものです。

array.c:95 bool apush(ar,val) register ARRAY * ar; STR * val; { return astore(ar,++(ar->ary_fill),val); }

store に処理を任せてますね。要素数を一個増やして末尾に追加。 次はpop。

array.c:103

STR * apop(ar) register ARRAY * ar; { STR * retval; if (ar->ary_fill < 0) return Nullstr; retval = ar->ary_array[ar->ary_fill]; ar->ary_array[ar->ary_fill--] = Nullstr; return retval; }

要素数を一個減らして末尾を Nullstr で埋めて、それまで入ってた奴を戻すと。

さて次は配列の先頭を操作するshift/unshift。まずは先頭から一つ取り出す shift。

STR * ashift(ar) register ARRAY * ar; { STR * retval; 　 if (ar->ary_fill < 0) return Nullstr; retval = ar->ary_array[0]; bcopy((char<em>)(ar->ary_array+1),(char</em>)ar->ary_array, ar->ary_fill * sizeof(STR *)); ar->ary_array[ar->ary_fill--] = Nullstr; return retval; }

配列1つめから末尾までのデータを先頭にコピーして、 要素数を一つへらしつつ最後の要素に Nullstrを入れると。

次は先頭に追加するunshift。

array.c:116

aunshift(ar,num) register ARRAY * ar; register int num; { register int i; register STR * * sstr, * * dstr; 　 if (num <= 0) return; astore(ar,ar->ary_fill+num,(STR *)0); // maybe extend array sstr = ar->ary_array + ar->ary_fill; dstr = sstr + num; for (i = ar->ary_fill; i >= 0; i--) { * dstr-- = * sstr--; } bzero((char *)(ar->ary_array), num * sizeof(STR *)); }

ダミー要素を末尾に store を利用して追加した上で、 既存の要素ポインタを一個づつずらして言ってます。 引数が num であることからどうも aunshift 自体は要素を追加するわけではなくて、 先頭に追加する要素分だけスペースを空けるだけのようです。

というわけで aunshift が呼ばれている部分を見てみます。 呼び出し元はやはり arg.c の eval でした。

arg.c:2059

case O_UNSHIFT: ary = arg[2].arg_ptr.arg_stab->stab_array; if (arg[1].arg_flags & AF_SPECIAL) do_unshift(arg,ary); else { str = str_new(0); // must copy the STR str_sset(str,sarg[1]); aunshift(ary,1); astore(ary,0,str); } value = (double)(ary->ary_fill + 1); break;

if AF_SPECIAL else のほうで aunshift で一つスペースを空けた上で、 ゼロ番目にastore しています。AF_SPECIALのほうでやってる do_unshift は配列を指定されたときかな？

do_unshift は同じく arg.c の中にありました。

arg.c:827

do_unshift(arg,ary) register ARG * arg; register ARRAY * ary; { STR * * tmpary; // must not be register register STR ** elem; register STR * str = &str_no; register int i; 　 (void)eval(arg[1].arg_ptr.arg_arg,&tmpary); i = 0; for (elem = tmpary+1; * elem; elem++) i++; aunshift(ary,i); i = 0; for (elem = tmpary+1; * elem; elem++) { str = str_new(0); str_sset(str,* elem); astore(ary,i++,str); } safefree((char*)tmpary); }

どうもそんな雰囲気です。最初に eval して配列を取得した上でその要素だけ指定された配列の先頭に aunshift、astore してます。

AF_SPECIAL というのが何かよくわかりません。arg の内容が問題です。

そろそろ eval の引数を詳しく見た方がいいかもしれません。また今度やります。