Rubyについて。代入結果が「Floatインスタンス」「Complexインスタンス」になる結果がわかりません。

Question

x = 1.0 + 1

この結果がFloatインスタンスになるみたいなのですがそれはなぜでしょうか？
また、FloatインスタンスとRationalインスタンスはどれなんでしょうか？

x = x + (1 + 2i)

この結果も同様にComplexインスタンスになるみたいなのですが、なぜなんでしょうか？
FloatインスタンスとComplexインスタンスの演算とは何なのでしょうか？

Answer 1

数値（Numericのサブクラス）の場合、演算に際してcoerceという仕組みがあります（るりま）。

自身と other が同じクラスになるよう、自身か other を変換し [other, self] という配列にして返します（強調は引用者）。

ということで、1.0 + 1のような演算を行った場合、デフォルトのcoerceで両辺がFloatに揃えられて計算されます。

また、FloatインスタンスとRationalインスタンスはどれなんでしょうか？

1.0がFloatのインスタンスです。Rationalはこの式に登場しません。

この結果も同様にComplexインスタンスになるみたいなのですが、なぜなんでしょうか？

Complex#coerceは、両辺をComplexに変換します（るりま）。

Comments

[hoge_nakatani]

ありがとうございます。そのクラスを出力するには何か方法はありますでしょうか？
Aクラスを持ってるインスタンスにclassメソッドすると→Aと出力されるように。

[maisumakun]

> Aクラスを持ってるインスタンスにclassメソッドすると→Aと出力されるように。

そのままやればOKです。たとえば、「1.0.class」とすれば、「Float」となります。

Answer 2

数値は　整数、実数、複素数　の順で複雑？になります。
同じ物同士なら同じ物になりますが、
違うものとの演算は複雑な方に合わせられます。
でないと、情報が失われるので。
理屈ではなく、そう言う仕様にした　ということです。
合理的な仕様だと思います。（大抵の計算機言語でもそうでしょう）

Rational書き忘れた。
Rationalちょっと特殊。マニュアル参照してください