coding my life

「Perl学習はじめました」でハマった以下の文字列比較に eq ではなく == を使ったコードがなぜ期待したとおりに動かなかったのか、調べてみました。

use strict; while(1) { my $input = <STDIN>; chomp $input; last if $input == 'quit'; print $input; }

まず == は数値を期待していて、ここに文字列をわたすと Perl の文字列から数値への変換ルールで入力文字列が(だいたい) 0 になり、同様に 'quit' も数値変換されて 0 になるため 0 == 0 として必ず while を抜けるのは理解できました。

で、いい機会なので実装がどうなってるのかを見ようと思って Perl 5.8.8 のソースコードを見てみました。でも、O_SEQ というのが eq の opname だということ、 O_EQ というのが == の opname だということまではわかったのですが、そのバイトコードを処理する実装を見つけられませんでした。

そこで Perl 1.0 のソースコードなら単純だろうと当たりをつけて、このサイトから Perl 1.0 のソースコードをダウンロードして、いろいろ調べてみます。

• perl1 Downloads

でいろいろ追っかけると以下のような流れでバイトコードを実行してるみたいです。

• main (perly.c)
• cmd_execute (cmd.c)
• eval (eval.c)

というわけで見つけた実装

まず文字列比較の eq

arg.c:1782 case O_SEQ: tmps = str_get(sarg[1]); value = (double) strEQ(tmps,str_get(sarg[2])); handy.h:20 #define strEQ(s1,s2) (!strcmp(s1,s2))

というわけで単純に strcmp してました。

次、数値比較の ==

arg.c:1508 case O_EQ: value = str_gnum(sarg[1]); value = (double)(value == str_gnum(sarg[2]));

perl.h:56 #define str_gnum(str) (Str = (str), (Str->str_nok ? Str->str_nval : str_2num(Str)))

str.c:83 double str_2num(str) register STR *str; { if (!str) return 0.0; if (str->str_len && str->str_pok) str->str_nval = atof(str->str_ptr); else str->str_nval = 0.0; str->str_nok = 1; #ifdef DEBUGGING if (debug & 32) fprintf(stderr,"0x%lx num(%g)\n",str,str->str_nval); #endif return str->str_nval; }

ふむ。文字列を atof で double に変換しちゃうということで。なるほどねー

Perl 5.8 での実装が見つけられなかったのがちょっと悔しいけど、これからまた「はじめてのPerl」の続きをします。

ちなみに STR 型は str.h で定義されてました。でも最近のは utf-8 フラグとかいろいろ拡張されてるらしいので、あまり意味ないかもしれないなあ。

struct string { char * str_ptr; /* pointer to malloced string * / double str_nval; /* numeric value, if any * / int str_len; /* allocated size * / int str_cur; /* length of str_ptr as a C string * / union { STR * str_next; /* while free, link to next free str * / STAB * str_magic; /* while in use, ptr to magic stab, if any * / } str_link; char str_pok; /* state of str_ptr * / char str_nok; /* state of str_nval * / };