[ruby-dev:5062] Re: 10e9999.to_i (Re: compare to NaN (Re: call for finite/isnan testers))

えぐち＠エスアンドイー です。

>>> On Fri, 12 Feb 1999 22:54:26 +0900, [e-mail] (GOTO Kentaro) said:

gotoken> ごとけんです
gotoken> 
gotoken> In message "[ruby-dev:5059] Re: 10e9999.to_i (Re: compare to NaN (Re: call for finite/isnan testers))"
gotoken>     on 99/02/12, EGUCHI Osamu <[e-mail]> writes:
gotoken> 
gotoken> >えぐち＠エスアンドイー です。
gotoken> >
gotoken> >>>> On Fri, 12 Feb 1999 16:34:28 +0900, [e-mail] (GOTO Kentaro) said:
gotoken> 
gotoken> >  static double zero()    { return 0.0; }
gotoken> >  static double one()     { return 1.0; }
gotoken> >  static double inf()     { return one() / zero(); }
gotoken> >
gotoken> >  int
gotoken> >  isinf(n)
gotoken> >      double n;
gotoken> >  {
gotoken> >      static double pinf = 0.0;
gotoken> >      static double ninf = 0.0;
gotoken> >
gotoken> >      if (pinf == 0.0) {
gotoken> >	  pinf = inf();
gotoken> >	  ninf = -pinf;
gotoken> >      }
gotoken> >      return memcmp(&n, &pinf, sizeof n) == 0
gotoken> >	  || memcmp(&n, &ninf, sizeof n) == 0;
gotoken> >  }
gotoken> >
gotoken> 
gotoken> >これが、コンパイル出来なかったり実行結果が
gotoken> >怪しい人居ますか？
gotoken> 
gotoken> いい忘れましたが，これって，else節がないので if (pinf == 0.0) 
gotoken> の意味が「僕には」読みとれません(汗;

isinf() の１回目の呼び出しでは、 pinf が 0.0 なので
pinf と ninf にそれぞれ、Inf と -Inf と与えてから、
その２つの値と、パラメータのビットパターンを比較します。

２回目以降は、すでに pinf に Inf がセットされているので
それと同じように -Inf の畝ってされた ninf を使って比較します。

  、、、ってそういうはなしでなくって？

gotoken> >前方参照でインライン展開を抑止できるという考えの根拠は、
gotoken> >実際の所希薄なので、完璧とは言いがたいです。
gotoken> 
gotoken> そうなんですよね．最適化はあなどれませんね．ここだけ，
gotoken> コンパイル時に -O を外すというさえ効くかどうか分かんないしなぁ．

それぞれの処理系に、#pragma 等で、この種のコード生成のコントロールを
行なう手段はあると思いますが、いかんせんポータビリティーがぁぁぁ、、

いっそ、

  class Number
    Inf = 1.0 / 0.0
    NaN = 1.0 % 0.0

    def inf?(n = self)
      n == Inf or n == -Inf
    end

    def nan?(n = self) 
      n != n
    end

    def finite?(n = self)
      not inf?(n) and not nan?(n)
    end
  end

に日和っちゃうってのは、、、
でも C のコードから呼びにくいなぁ。。~\(**)/~

	えぐち