crowbar ver.0.3.01

またマイナーバージョンアップ

掲示板の方でもいくつか不具合の御指摘がありましたので、 ver.0.3.01を上げます。

ver.0.3.01での修正点は以下の通りです。

• 以下の演算子を追加。
  単項!, コンマ演算子, +=, -=, *=, /=, %=。
• 文字列どうしの比較、booleanどうしの比較機能を追加。 文字列については==, !=, <, <=, >, >=が、 booleanについては==, !=が使用できます。
  文字列は、実装上は参照型ですが、 Javaとは異なり、==で文字列そのものが等しいかどうかを判定できます。 ていうかJava流の文字列比較が嬉しいケースってあるんだろうか…
• ゼロ除算をランタイムエラーに。
• その他、細かい修正。

2005/08/07追記：
if文のelse側が実行されないというバグを掲示板でご指摘いただきました。 このバグはあまりに致命的なので、ひとまず修正版の0.3.02を上げます。 毎度テストがぬるくてもうしわけありません(_o_)

GLOBALをかましたソースは こちらから参照可能です。

ダウンロードは、UNIX版がこちら、 Windows版がこちら。

実装の修正点

各型を文字列に変換する部分を1個所にまとめたとか、 エラーメッセージ生成部分を移動させたとかバグを取ったとか、 +とかと+=とかの演算を1個所にまとめるために eval.c内の構造を変えたとか、ソースの修正は結構いろいろやってますが、 そのへんは単なるCのコーディングの話なのでパスします。

演算子を増やしたことで構文規則も修正していますが、 これも大部分は機械的に書き足しただけです。 多少毛色が違うのは、コンマ演算子くらいです。

コンマ演算子は、Cと同様、左→右の順序でオペランドを評価し、 右辺側の値を取ります。問題は、既にコンマは他の個所でも使われている、 ということです。

たとえば関数呼び出しの際には「foo(a, b)」のように書きますが、 このaとbの間のコンマがコンマ演算子と解釈されたら、 引数をひとつしか渡さないことになってしまいます。 配列リテラルの「{1, 2, 3}」のコンマも同様です。

/* assignment_expressionの導入 */
expression
        : assignment_expression
        | expression COMMA assignment_expression
        ;
assignment_expression
        : logical_or_expression
        | postfix_expression assignment_operator assignment_expression
        ;
…
/* 関数の引数 */
argument_list
        : assignment_expression
        | argument_list COMMA assignment_expression
        ;
…
/* 配列リテラルの中身 */
expression_list
        : /* empty */
        {
            $$ = NULL;
        }
        | assignment_expression
        {
            $$ = crb_create_expression_list($1);
        }
        | expression_list COMMA assignment_expression
        {
            $$ = crb_chain_expression_list($1, $3);
        }
        ;

もし関数の引数の中でコンマ演算子を使おうと思ったら、 以下のように括弧でくくる必要があります。

  foo((a, b));

また、コンマ演算子は代入式よりも優先順位が低いので、 代入の右辺でコンマ演算子を使う場合も、括弧を使用する必要があります。

  a = (b, c);

どちらもあまり使用機会があるとは思えませんが…

今後のこと

前回挙げた修正点のうち、 今回できたのは「演算子関連の整理」だけですね。

というわけでやることはまだまだ残っています。

• 演算子関連の整理。現在、eval_binary_expression() がかなり汚ないことになっているのでちょっと整理する。 現状では文字列の比較もできませんし、 「+=」などの演算子も欲しいところです。
• 「メソッドもどき」の拡充。配列にはsize()だけあって resize()とかinsert()とかもないですし、 文字列にも、substr()とかが欲しいところでしょう。 また、すべての型にto_string()くらい欲しいものです。
• スコープの整理。現状では、ローカル変数とグローバル変数が衝突すると グローバル変数と解釈されてしまいます。これはたぶん致命的。 また、現状では、 関数とグローバル変数が同一の名前空間にあるにも関わらず 衝突のチェックをしていません。
• ネイティブ関数作成のためのインタフェースの整備。 crowbar.hを#includeしなくてもよいように。 ていうか現状では、ネイティブ関数内の実行時エラーでは行番号すら表示できないし。
• 日本語対応。変数名とかに日本語を使えるようにする気はないですが、 現在は、SJIS環境で使うと、日本語文字列リテラルで gccと同じ問題が発生します。 また、現状ではerror_message.cに日本語が埋め込まれているので、 Windows上のgccでは困ります(現在は、メッセージにて、 問題のある文字を回避しています「method」と英語で出てくるのはそのせい)。
• ネイティブポインタ型に型チェック機能をつける。 今のままだと、 crowbar側から異なる型のネイティブポインタ型を渡すだけでインタプリタごと 殺せてしまうので。
• 例外処理機能。
• モジュール(?)

それではまた気長にお待ちくださいませ。