[ruby-dev:5026] Re: [PATCH] configure w/ isinf() (Re: 10e9999.to_i)

ごとけんです

In message "[ruby-dev:5023] Re: [PATCH] configure w/ isinf() (Re:  10e9999.to_i)"
    on 99/02/11, EGUCHI Osamu <[e-mail]> writes:

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

>gotoken> >isinf() は 2. に相当しますが isnan() は n != n です。
>gotoken> 
>gotoken> それでは，ダメみたいです．
>gotoken> 
>gotoken> In message [ruby-dev:4867]
>gotoken> 
>gotoken> >double nan()
>gotoken> >{
>gotoken> >  double a,b,c;
>gotoken> >  a = 0.0; b = 0.0; c = a/b;
>gotoken> >  return c;
>gotoken> >}
>gotoken> 
>gotoken> >double inf()
>gotoken> >{
>gotoken> >  double a,b,c;
>gotoken> >  a = 1.0; b = 0.0; c = a/b;
>gotoken> >  return c;
>gotoken> >}
>gotoken> 
>gotoken> >isnan_p(double x){ return x != x; }
>gotoken> 
>gotoken> >isinf_p(double x){ return x == x + 1.0; }
>gotoken> 
>gotoken> >main()
>gotoken> >{
>gotoken> >  printf(finite(nan()) ? "YES " : "NO ");
>gotoken> >  printf(finite(inf()) ? "YES " : "NO ");
>gotoken> >  printf(isnan_p(nan()) ? "YES " : "NO ");
>gotoken> >  printf(isnan_p(inf()) ? "YES " : "NO ");
>gotoken> >  printf(isinf_p(nan()) ? "YES " : "NO ");
>gotoken> >  printf(isinf_p(inf()) ? "YES " : "NO ");
>gotoken> >  printf("\n")
>gotoken> >}
>gotoken> 
>gotoken> に対して
>gotoken> 
>gotoken> In message [ruby-dev:4870]
>gotoken> 
>gotoken> >有馬＠ＦＩＴＥＣです。
>gotoken> >「NO NO NO NO YES YES」でした。
>gotoken> 
>gotoken> とのことですので．
>
>これですが、わたしは、
>
>	0.0 / 0.0 で NaN でなく Inf を生成する
>
>と読んでいました。
>、、どうなんでしょうか？

引用がばっかりになりますが，

In message [ruby-dev:5004] :

>ちなみに，IEEE754 では，double の場合，bigendian 表記で
>
>  +Inf 7ff0000000000000 
>  -Inf fff0000000000000 
>   NaN 7ff????????????? もしくは fff?????????????  
>
>  ただし，????????????? はすべてが 0 ではない
>
>となってます．その意味では [ruby-dev:4918] の有馬さんの
>報告によれば WATCOM C でも以下の2関数は，望んだものを
>返してきています．
>
>double nan1()
>{
>  double a,b,c;
>  a = 0.0; b = 0.0; c = a/b;
>  return c;
>}
>==> fff80000 00000000
>
>double inf()
>{
>  double a,b,c;
>  a = 1.0; b = 0.0; c = a/b;
>  return c;
>}
>==> 7ff00000 00000000

ですので，プロセッサ的には上の nan1 が IEEE754 の NaN を
生成している模様です．

>gotoken> # ちなみに sizeof n という書き方は知りませんでした (^^;;
>gotoken> # sizeof double と書かないといけないのかと思ってました．
>
>この場合は、 sizeof(double) ですね。
>
>sizeof(型) には括弧が必須ですが、 sizeof 変数 は括弧がいりません。
>
>これを追求すると gcc の typeof になるのですが、ANSIC では
>ないので使ってしまうと混乱の元ですね。

そうなんですか．勉強になるなぁ．

-- gotoken