Q&A
このコメントは回答欄に移しました。
C# 7.3において、float型の変数をdouble型にキャストした際、非常に小さな値の誤差が発生しています。
例：float : 29 → double : 29.0000009536743
なんとなく、誤差が発生しそうだな、という気はしますが、これの原因を正確に説明できなくて困っています。
より大きい値を扱える型へのキャストでは誤差は発生しないものと思っていたのですが…
よろしくお願いいたします。
追記
全く同じコードは掲載できないのでイメージでしかありませんが、以下のようなコードをUnity 2019.4.15fで実行した際に発生したものです。
C#
1int A = 29; 2int AMax = 45; 3float ARatio = A / (float)AMax; 4 5Debug.Log(AMax * ARatio) // 29 6Debug.Log(AMax * (double)ARatio) // 29.0000009536743
> 以下のようなコードをUnity 2019.4.15fで実行した
Unity のタグをつけておいてください。
Unity のタグが付いていたら自分は最初から関わらなかったのでお互い無駄なやり取りをしないで済んだかも
SurferOnWww様
つけておきました。すみません、この質問の内容がUnityと関連するとは思っていませんでした
Unity 関連の質問者さんはアレなので関わらないようにしているのです。なので私はこれで撤退します。
質問文をやってはならないレベルで変更しすぎてしまったようなので、書き方を変えました
別にUnityに関係しないC#の仕様の話ですから、Unityタグを付けないのは何も間違っていませんよ。
むしろどちらかといえばつけるべきでないと思います。
まあアレな回答者を避けられるようですので付けた方がよいかもしれませんね。
回答2件
0
ベストアンサー
float型で表現可能な29の次に大きい数値を求めて、double型に変換すれば、似たような結果にはなります。(参考URL)
c#
1using System; 2 3public class Test{ 4 public static void Main() { 5 float value = 29; 6 int bits = BitConverter.ToInt32(BitConverter.GetBytes(value), 0); 7 float nextValue = BitConverter.ToSingle(BitConverter.GetBytes(bits + 1), 0); 8 double d = nextValue; 9 Console.WriteLine(nextValue.ToString()); 10 Console.WriteLine(d.ToString()); 11 } 12}
結果
text
129 229.0000019073486
ただ、見ての通り、floatで表現可能な29の次に大きい数値をdoubleに変換しても29.0000019073486にしかならないので、29.0000009536743になるというのは何かの間違いではないでしょうか。
なお、ここで求めたfloat値とdouble値は、誤差なく完全に同じ数値です。
それなのにfloat値だけ29と表示されてしまうのは、ToString()の仕様が原因となります。
ToString()に数値書式指定文字列を与えない場合のデフォルトは"G"であり(参考URL)、"G"に精度を指定しない場合のデフォルトはfloatの場合7桁なので、29と表示されます。
追記への回答
Zuishinさんが別回答のコメントでおっしゃっている通り、AMax * (double)ARatioの結果はdoubleで、AMax * ARatioの結果はfloatです。(参考URL)
計算結果は正しくは29.0000009536743ですが、floatの精度では表現できない数値なので、丸められて29となります。
もしかして、全部floatで計算したほうが、途中でfloatをdoubleに変換して計算したときより、結果が正確に見えるのはなぜか、という質問でしょうか。
それは、最初にfloatで計算してしまってるので、途中でdoubleにしてもfloatでの有効桁までしか信用できないためです。
floatの有効桁は10進数で7桁+α、doubleの有効桁は15桁+αです。
最初にfloatで計算してしまっているので、その結果は7桁までしか信用できません。
その計算結果を後からdoubleにして15桁の有効桁で計算しても、15桁まで信用できるわけではなく、変わらず7桁までしか信用できません。
doubleは15桁まで信用できる前提で表示するので、29.0000009536743のように表示されて正しくないように見えますが、先頭7桁だけ見れば、29という正しい結果になっていることが分かると思います。
投稿2022/05/17 13:44
編集2022/05/17 21:04
総合スコア2479
申し訳ありません。それほど大きな変更とは思っていませんでした…
ToStringの仕様については、これもちょっと疑問だったので助かりました。ありがとうございます。
いろいろ話を聞いて、シミュレータを使って自分でも調べて、ようやく納得ができました。
浮動小数点数内部表現シミュレーター → https://tools.m-bsys.com/calculators/ieee754.php
質問の内容は質問文の通りで、floatに格納した値をdoubleにキャストしたときに、誤差が出るのはなぜか、という質問です。29.0000009536743の、9536743の部分はどこから出てきたのか、ということです。これは、値をfloatに格納した時点で、数値の丸めが発生し、それをdoubleにキャストすると、丸められた値をdoubleの精度で正確に表現してしまうため、このような誤差が発生するのだと理解しました。つまりキャストで丸めが発生したのではなく、キャストで丸められた値が表面化した、という感じでしょうか
0
float は 4 バイト、double は 8 バイトの違いがある（浮動小数点を表すことができる精度に違いがある）のだから、違って当たり前ということで納得できませんか？
浮動小数点数値型 (C# リファレンス)
https://docs.microsoft.com/ja-jp/dotnet/csharp/language-reference/builtin-types/floating-point-numeric-types
投稿2022/05/17 11:31
退会済みユーザー
総合スコア0
こんな小さな整数で誤差が出ましたっけ？
うーむ… "違っても不思議ではない"とは思えるのですが、"当たり前"とはちょっと直感的に思えないです。存在しない仮数部の桁は全部ゼロにしてしまえば誤差なんて発生しないのでは？ と思ってしまします。違いますかね？
その誤差が出るコードを書くのが早いと思います。
そもそも「float : 29」とは何なのでしょうか？ それの内部表現がどうなっていて、double にキャストしたものの内部表現がどうなっているのでしょうか？ そしてそれらを何らかの書式設定で文字列に変換した時どうなるのでしょうか？ その時の違いに何か意味があるのでしょうか？
要するに、丸めの誤差が避けれられない float や double のような浮動小数点型で、このスレッドのように float を double にキャストして文字列にした結果がちょっと違うという話はあまり意味がなさそうと言っています。
すみません、確かに例の書き方が悪かったですね。
float : 29は、全く同じコードは掲載できないのでイメージでしかありませんが、以下のようなコードをUnity 2019.4.15fで実行した際に発生したものです。値はDebug.Logでコンソールに出力しています。
int A = 29;
int AMax = 45;
float ARatio = A / (float)AMax;
ここで、AMax * ARatioの値が29になりました。一方、AMax * (double)ARatioの値は、質問文に示す値になりました。このコードのあとで
(int)Math.Ceiling(AMax * ARatio);
を計算する必要があり、これがAよりも1大きくなる事があり、それが困るので、その原因を調べていて発見しました。
この問題は、ARatioの型をdoubleにすることで解決したのですが、値が違った理由が説明できなくて… ということです
話が変わってきてます。表題は、
> floatからdoubleへキャストする際の誤差について
でキャストしたときの話だったはずですけど。float と double の話だったはずが、int 型も話に入って、あれこれいじりまわしてますよね。コンパイラの最適化の影響とかないですか？
何にせよ、丸めの誤差が避けれられない float や double のような浮動小数点型で、文字列にした（コンソールに出力した）結果がちょっと違うという話は意味がないと思います。
同じ環境ではありませんが、.NET6.0コンソールアプリケーションで、以下のコードで再現いたしました。
int A = 29;
int AMax = 45;
float ARatio = A / (float)AMax;
Console.WriteLine(AMax * ARatio);
Console.WriteLine(AMax * (double)ARatio);
うまく表現できているかわからないのですが、同じ浮動小数点型の、より大きな値が扱える型にキャストしているだけなのに、何らかの丸めが生じる、ということがよくわからなかった、という感じです
話が違うと言ってるのに・・・
違うかもしれませんね
> AMax * (double)ARatio
この結果は double です。
> AMax * ARatio
この結果が float であれば、丸めが入るので結果が変わってくるのでは？
C 言語の場合、float 同士の演算は double になっていたと思いますが、C# でどうだったかは記憶していません。
調べてみてはどうでしょうか。
あ、よく見ると AMax が int なので float で確定ですね。
と書いたけど、早とちりです。試したことがないのでわかりません。
質問内容をまるまる書き換えないでください。それは回答とのつじつまが合わなくなるので絶対やってはいけないこと。
> 違うかもしれませんね
かもしれないじゃなくて間違いなく違いますよ。そもそもは「floatからdoubleへキャストする際の誤差について」だったでしょ。
> 以下のようなコードをUnity 2019.4.15fで実行した
Unity のタグをつけておいてください。
Unity のタグが付いていたら自分は最初から関わらなかったのでお互い無駄なやり取りをしないで済んだかも。
喧嘩になりそうなのでその話はもういいです。すみませんでした。
Console.WriteLine(ARatio);
Console.WriteLine((double)ARatio);
これでも違うのですが、これが疑問の原因だと思っているのですが、これでも質問文と違いますか？
見えてるなら返事しろよ。
Zuishin様、すみません、色々書いたり考えながらだったので返事が遅れました。
>調べてみてはどうでしょうか。
調べても良いキーワードが思い浮かばずよくわかりません。教えてください。
GetType()
> 喧嘩になりそうなのでその話はもういいです。
あなたが喧嘩を売っているようなものだと思いませんか。話がどんどん変わっていったり、質問を書き換えたり、回答者・閲覧者に大変失礼です。私だけでなく、あなたにお付き合いしていろいろ考えた人は皆さん怒っていると思いますよ。
やっぱりあなたは理由も書かずにマイナス評価を付ける卑怯者だったんだね。
私マイナス評価つけてないんですが…
すみません、全く喧嘩を売っている意識はありませんでした。満足できる回答をいただけないので、色々方法を考えて書き換えてしまいました。話が変わっていたかもしれませんが、それも認識していませんでした。
私でもないので、通りすがりの第三者でしょう。しかし、この低評価は嫌がらせの意図抜きで純粋に回答の評価として十分成り立つと思えるので、高評価はしません。理論上、編集前の質問でこの回答が成り立つことはないからです。
ですが、編集後の質問に対する回答であれば、特に矛盾はありません。矛盾がないというだけで解決を導く力は弱いので、今は私は中立の評価です。
なお、今試したところ、float かける int が float になることが確かめられました。
一方が double で一方が float なので、精度に差があるのは当然ということになります。
Console.WriteLine(AMax * ARatio); // float
Console.WriteLine(AMax * (double)ARatio); // double
Zuishin様わざわざ有難うございます。GetType()については、ちょっとよくわかりませんでした。ARatioと(double)ARatioの時点で差が出てるのですが、これの原因はわかりますか…？ また、精度が違うけれど大きいのだから、doubleはfloatが表現できる値をすべて表現できると思っていたのですが、違うのでしょうか…？ 何にせよ、このキャストで丸めが発生する理由がよくわからないです
actorbug さんの回答の通りです。表示する際に型によって違う丸め方がなされています。
撤退したと言っておきながら戻ってきてレスするのもなんですが・・・
キャストのせいでも、ToString による表示長のせいでもなくて、float * float と double * double の計算の精度の違いによるようですよ。書式を指定して以下のようにすると、
Console.WriteLine("{0:F15}", AMax * ARatio); // float * float
Console.WriteLine("{0:F15}", AMax * (double)ARatio); // double * double
結果は以下の通りとなります。
29.000000000000000
29.000000953674316
いろいろ話を聞いて、自分でも調べて、ようやく納得ができました。
ありがとうございました
あ、低評価私です。
floatからdoubleへのキャストで誤差が生じると読める回答ですが、誤っているので。
https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/conversions
> floatからdoubleへのキャストで誤差が生じると読める回答ですが
そんなこと私の回答のどこに書いてあるの？ 脳内変換とかしてませんか？
え…
本気で言ってます?
「キャストで誤差が発生した。発生しないはずと思っていたが何故か?」という内容の質問に「違って当たり前ということで納得できませんか？」と答えておいて、質問の前提であるキャストで誤差が発生したことを認めていないというのですか?
続く「存在しない仮数部の桁は全部ゼロにしてしまえば誤差なんて発生しないのでは？」というキャストで誤差が発生した前提の質問にも、前提の誤りを正すこと無く話をそらしています。
「質問の前提について誤った認識で回答した」のでないとすると、「質問の前提を無視して無関係な回答をした」ことになりますが…。
やっぱり脳内変換としか思えませんけど。模範回答を回答欄に書いてもらえませんか
> 脳内変換としか思えません
そうですか。あなたにまともな判断力を期待してはいません。
> 模範回答を回答欄に書いてもらえませんか
面倒なので嫌です。
actorbugさんの回答で十分だと感じましたし。
回答を書く能力がない、もしくは、別のスレッドのあなたの回答 https://teratail.com/questions/8hwawkltmie0fj#reply-kf065wldd4z9wq に書いてありましたが、C# の環境がないから書けないと理解しておきます。
あなたの回答
tips
プレビュー
