PHPの型について質問です。

Question

このようなコードについて
`

<?php $value = 10.1; print gettype($value)."<br>"; var_dump($value); ?>

`
出力結果は、二つの型で表示されました。

double
float(1.1)

これはPHPではdoubleなのでしょうか、それともfloatですか？

Answer 1

PHPにおいては、float,double,実数もすべて同じデータ型だとみなされます。
floatと表示されていても、実際にはdoubleです。

C言語レベルにおいては、すべてdoubleとして格納されています。
実数のサイズは、依然としてプラットフォーム依存です。

詳細についてはPHPManualを参考にしてください。

Answer 2

すでに回答されているとおりだと思いますが、
http://php.net/manual/ja/function.gettype.php
floatはdoubleが出力されるとなっています。
gettype関数の仕様でdoubleと出力されているだけで、同じ型のはずです。

Comments

[kraken]

回答ありがとうございました！

[TaMaMhyu]

ちなみによくdoubleとは言いますが、本来はdouble floatの略のようなものだと思います。倍精度のfloatというだけなので、名称的な根底にあるのはfloatであることは変わらないと思います。