[ruby-dev:26991] Re: [proposal] ANSI style function

山本です。

>|K&R の影響で型についてルーズなのですが、これをどうすべきでしょうか。
>|
>|  1. インターフェースは堅持する。（こういう部分は K&R に戻す）
>|
>|  2. rb_thread_create(VALUE (*fn) (void *), void *arg) にする
>|
>|  3. rb_thread_create(VALUE (*fn) (VALUE), VALUE arg) にする
>|
>|
>|1 は避けたいところですが・・・今まで見てきたソースでは 3 が多かったので
>|これに統一するのも良いと思います。（というか void *arg は eval.c で初めて見た）
>
>これだからANSIは...。3でいいんじゃないでしょうか。

すみません、型をあわせることしか考えてなかったのですが、後で「void * ということは
中で VALUE としてあつかってないんじゃないか？つまり GC で mark されていないとか」
とか、互換性の問題とかが気になりだしました。

  * インターフェースを変えると、拡張ライブラリの側でも対処が必要になると思う。
    HEAD だから仕様変更は許容できるとしても、1.8 にも同様の変更ができるだろうか。
    できない場合、同じ拡張ライブラリで HEAD と 1.8 の両方に対応できなくなる？

static 関数のインターフェースは如何様にも変えられると思うのですが、外部関数については
議論が必要そうです。私も単調作業で頭が煮詰まってますので、しばらく時間をおいて考えて
みたいと思います。

とりあえず、http://www.ccsnet.ne.jp/~ocean/ansi/001.zip のパッチに加えて、下のパッチで
bcc32 win32 のコンパイルが通るところまでは確認しました。しかし、構造体の

  struct hoge {
    int (*hoge) (ANYARGS); 
  };

といった定義はそのままなので、ANSI 化したとはいえません。

Index: dir.c
===================================================================
--- dir.c	(revision 3)
+++ dir.c	(working copy)
@@ -1337,12 +1337,11 @@
     VALUE arg;
 };
 
-static VALUE
+static void
 rb_glob_caller(const char *path, VALUE a)
 {
     struct rb_glob_args *args = (struct rb_glob_args *)a;
     (*args->func)(path, args->arg);
-    return Qnil;
 }
 
 void
@@ -1353,7 +1352,7 @@
 
     args.func = func;
     args.arg = arg;
-    status = rb_glob2(path, 0, rb_glob_caller, &args);
+    status = rb_glob2(path, 0, rb_glob_caller, (VALUE)&args);
 
     if (status) rb_jump_tag(status);
 }
Index: eval.c
===================================================================
--- eval.c	(revision 3)
+++ eval.c	(working copy)
@@ -6299,7 +6299,7 @@
 
 /* function to call func under the specified class/module context */
 static VALUE
-exec_under(VALUE (*func) (/* ??? */), VALUE under, VALUE cbase, void *args)
+exec_under(VALUE (*func) (VALUE), VALUE under, VALUE cbase, VALUE args)
 {
     VALUE val = Qnil;		/* OK */
     int state;
@@ -6333,8 +6333,10 @@
 }
 
 static VALUE
-eval_under_i(VALUE *args)
+eval_under_i(VALUE arg)
 {
+    VALUE *args = (VALUE *)arg;
+
     return eval(args[0], args[1], Qnil, (char*)args[2], (int)args[3]);
 }
 
@@ -6354,7 +6356,7 @@
     args[1] = src;
     args[2] = (VALUE)file;
     args[3] = (VALUE)line;
-    return exec_under(eval_under_i, under, under, args);
+    return exec_under(eval_under_i, under, under, (VALUE)args);
 }
 
 static VALUE
@@ -11585,7 +11587,7 @@
 }
 
 static VALUE
-rb_thread_start_0(VALUE (*fn) (/* ??? */), void *arg, rb_thread_t th)
+rb_thread_start_0(VALUE (*fn) (VALUE, rb_thread_t), VALUE arg, rb_thread_t th)
 {
     volatile rb_thread_t th_save = th;
     volatile VALUE thread = th->thread;
@@ -11754,7 +11756,7 @@
 rb_thread_create(VALUE (*fn) (/* ??? */), void *arg)
 {
     Init_stack((VALUE*)&arg);
-    return rb_thread_start_0(fn, arg, rb_thread_alloc(rb_cThread));
+    return rb_thread_start_0(fn, (VALUE)arg, rb_thread_alloc(rb_cThread));
 }
 
 static VALUE
Index: pack.c
===================================================================
--- pack.c	(revision 3)
+++ pack.c	(working copy)
@@ -135,7 +135,7 @@
 #else
 #if SIZEOF_LONG == 4	/* SIZEOF_DOUBLE == 8 && 4 == SIZEOF_LONG */
 static double
-swapd(const const double d)
+swapd(const double d)
 {
     double dtmp = d;
     unsigned long utmp[2];
Index: range.c
===================================================================
--- range.c	(revision 3)
+++ range.c	(working copy)
@@ -209,13 +209,15 @@
 }
 
 static VALUE
-str_step(VALUE *args)
+str_step(VALUE arg)
 {
+    VALUE *args = (VALUE *)arg;
+
     return rb_str_upto(args[0], args[1], EXCL(args[2]));
 }
 
 static void
-range_each_func(VALUE range, void (*func) (VALUE, void *), VALUE v, VALUE e, void *arg)
+range_each_func(VALUE range, VALUE (*func) (VALUE, void *), VALUE v, VALUE e, void *arg)
 {
     int c;
 
@@ -235,8 +237,10 @@
 }
 
 static VALUE
-step_i(VALUE i, long *iter)
+step_i(VALUE i, void *arg)
 {
+    long *iter = (long *)arg;
+
     iter[0]--;
     if (iter[0] == 0) {
 	rb_yield(i);
@@ -311,8 +315,7 @@
 	    b = tmp;
 	    args[0] = b; args[1] = e; args[2] = range;
 	    iter[0] = 1; iter[1] = unit;
-	    rb_iterate((VALUE(*)_((VALUE)))str_step, (VALUE)args, step_i,
-		       (VALUE)iter);
+	    rb_iterate(str_step, (VALUE)args, step_i, (VALUE)iter);
 	}
 	else if (rb_obj_is_kind_of(b, rb_cNumeric)) {
 	    ID c = rb_intern(EXCL(range) ? "<" : "<=");
@@ -338,10 +341,11 @@
     return range;
 }
 
-static void
+static VALUE
 each_i(VALUE v, void *arg)
 {
     rb_yield(v);
+    return Qnil;
 }
 
 /*
@@ -391,8 +395,7 @@
 
 	args[0] = beg; args[1] = end; args[2] = range;
 	iter[0] = 1; iter[1] = 1;
-	rb_iterate((VALUE(*)_((VALUE)))str_step, (VALUE)args, step_i,
-		   (VALUE)iter);
+	rb_iterate(str_step, (VALUE)args, step_i, (VALUE)iter);
     }
     else {
 	range_each_func(range, each_i, beg, end, NULL);