coding my life

Perl学習の続き。今日は「はじめてのPerl」第3章、「リストと配列」の前半をやりました。

• 3.1 配列の要素にアクセスする
• 3.2 配列の特別なインデクス
• 3.3 リストリテラル
  • 3.3.1 qw ショートカット
• 3.4 リスト代入
  • 3.4.1 pop演算子とpush演算子
  • 3.4.2 shift演算子とunshift演算子
• 3.5 配列を文字列の中に展開する
• 3.6 foreach 制御構造
• 3.7 Perl お気に入りのデフォルト: $_
  • 3.7.1 reverse演算子
  • 3.7.2 sort演算子

ひっかかったこと

• push/pop と unshift/shift の違い
• foreach で受ける変数は要素そのもので(参照?)、代入すると配列の要素自体が変更される
• デフォルト変数 $_ はどこでいじられてるのか。内部表現

というわけで、とりあえず配列の内部表現を見てみようとまた Perl 1.0 のソースを見ます。

今回は簡単で、 array.h と array.c にまとまっているようです。

array.h (コメントは溝口)

struct atbl { STR **ary_array; // 配列要素のスカラ? int ary_max; // 配列の最大インデックス番号? int ary_fill; // 配列の要素数? }; STR *afetch(); bool astore(); bool adelete(); STR *apop(); STR *ashift(); bool apush(); long alen(); ARRAY *anew();

atbl は perl.h で typedef struct atbl ARRAY; と定義されています。

では配列の作成をしてるらしい anew を見ます。

array.c:69

ARRAY * anew() { register ARRAY * ar = (ARRAY *)safemalloc(sizeof(ARRAY)); 　 ar->ary_array = (STR * *) safemalloc(5 * sizeof(STR *)); ar->ary_fill = -1; ar->ary_max = 4; bzero((char *)ar->ary_array, 5 * sizeof(STR *)); return ar; }

要素のバッファを多少余分にとって確保してることがわかります。ary_max を見ると4個分？1個は末尾マーカーかな？

safemalloc は util.c で定義されてて、引数チェックと、メモリが確保できなかったときの異常終了をしています。bzero は perl.h で #define bzero(s,l) memset(s,0,l); されてます。

配列からの取得は afetch

array.c:16

STR * afetch(ar,key) register ARRAY *ar; int key; { if (key < 0 || key > ar->ary_max) return Nullstr; return ar->ary_array[key]; }

key が取得したい要素のインデックス番号。ここでみると数値を期待してますね。範囲外の要素は undef (Nullstr) を返すようです。

次、要素をいれるっぽい astore

array.c:26

bool astore(ar,key,val) register ARRAY * ar; int key; STR *val; { bool retval; 　 if (key < 0) return FALSE; if (key > ar->ary_max) { int newmax = key + ar->ary_max / 5; 　 ar->ary_array = (STR * *)saferealloc((char *)ar->ary_array, (newmax+1) * sizeof(STR *)); bzero((char *)&ar->ary_array[ar->ary_max+1], (newmax - ar->ary_max) * sizeof(STR *)); ar->ary_max = newmax; } if (key > ar->ary_fill) ar->ary_fill = key; retval = (ar->ary_array[key] != Nullstr); if (retval) str_free(ar->ary_array[key]); ar->ary_array[key] = val; return retval; }

オーソドックス。

配列の要素数以上のkeyにstoreされると、要素の枠を追加で確保して、要素数(ary_fill)、最大インデックス(ary_max)を更新した上で、上書きされる要素をstr_freeし、最後に上書きする。上書きがあった場合は1を返すようです。

要素枠の追加時は、既存の最大要素数の5分の1だけバッファを用意して、連続追加でもパフォーマンスが落ちないようにしてるみたいですね。

さて、ここまではわかりましたが、eval のなかからここまでどうやって呼ばれるんでしょう。あと配列の作成、解放のタイミングも気になります。

それらは奥が深そうなので、いったん気になるまま置いておいて、明日は pop / shift の違いと foreach, デフォルト変数周り、あとざっと reverse, sort も実装を見ようと思います。