PHP 7.4 类型属性带有浮点数/双精度数

Question

如果这是一个蹩脚的问题，我提前道歉，这是我的第一个问题。我正在为一个大学项目构建一个小框架，我想尽可能多地强制类型，现在很高兴看到 PHP 7.4 对属性有严格的类型，

但即使声明 strict_types.

也没有正确执行

另外，我知道有人说 PHP double 和 float 之间没有区别，但是对于类型化属性，PHP 不能将 double 识别为数据类型。

看下面的简单代码测试：

class FloatTest
{
    private float $float;

    private int $int;

    function __construct()
    {

    }

    public function setFloat(float $float):void
    {
        $this->float = $float;
    }

    public function getFloat()
    {
        return $this->float;
    }

    public function setInt(int $int):void
    {
        $this->int = $int;
    }

    public function getInt():int
    {
        return $this->int;
    }
}


$ft = new FloatTest();

$ft->setFloat(8);//No error is thrown, converts to float but no decimals
$ft->getFloat();// Returns number 8 as float, but there is no enforcing of decimal point?
var_dump(is_float(8));//returns false

//Argument 1 passed to FloatTest::setInt() must be of the type int, float given
$ft->setInt(8.2);//Works as expected, great!


class DoubleTest
{

    private double $double;

    function __construct()
    {
        # code...
    }

    public function setDouble(double $double):void
    {
        $this->double = $double;
    }

    public function getDouble():double
    {
        return $this->double;
    }
}

$dt = new DoubleTest();

//Argument 1 passed to DoubleTest::setDouble() must be an instance of double, int given:
$dt->setDouble(8);
$double = $dt->getDouble();
var_dump(is_double(8)); returns false

基于这个非常简单的测试，我有几点觉得很奇怪：

为什么 PHP 正确地强制执行 int 类型而不是 float 类型？为什么当我检查 is_float() 它 returns false 但函数接受整数时？
为什么整数类型是完全强制执行的，而浮点数不是？
即使 PHP 具有有效的双精度数据类型，为什么它假定双精度是一个实例？ double 绝对是 PHP 中的原始数据类型，因为 is_double() 函数完美运行，请参阅上面抛出的异常。
基本上，在 PHP 中执行十进制数字的最好、最干净的解决方法是什么？

Answer 1

Why is PHP correctly enforcing the int type but not the float type? Why is it that when I check with is_float() it returns false but the function accepts an integer?

因为浮点范围可以包含整数而不会丢失任何数据。换句话说，浮点数就像整数的超集，所以你不能说我只想要浮点数我不想要整数，即使在强类型语言中，即使你的代码处于 strict_types 模式。

Why is the integer type perfectly enforced but not the float?

PHP 类型声明带有 coercive 模式作为默认模式，因此可以更改声明的类型并且只有在可能的情况下才会抛出 TypeError PHP 将错误类型的值强制转换为预期的值。

在你的情况下，你将 8(integer) 传递给一个需要浮点数的方法，这完全没问题，PHP 不会抱怨它，因为强制 8 到浮点数不会改变 anything/lose 任何东西。

那么 strict_types 做了什么？

它将 PHP 的行为从强制更改为严格。这意味着当涉及的操作可能导致数据丢失时，PHP 将不会容忍。

以你的例子为例，当我们设置 declare(strict_types=1) 时，下一行将是一个问题

$ft->setInt(8.2);//Works as expected, great!

因为我们试图将 float 数字传递给 int 参数，这意味着数据丢失（8.2 变为 8 ）PHP 将抛出异常

Fatal error: Uncaught TypeError: Argument 1 passed to FloatTest::setInt() must be of the type int, float given

Even though PHP has a valid double data type, why does it assume double is an instance? double is definitely a primitive data type within PHP, as the is_double() function works perfectly

PHP 没有 double 数据类型，is_double 只是 is_float()

的别名

Basically what would be the best, cleanest work around to enforcing decimal numbers in PHP?

你所做的是最好最干净的工作:)

PHP 7.4 类型属性带有浮点数/双精度数

PHP 7.4 Typed property with floats / doubles

oop

floating-point

double

types

php-7.4

PHP 7.4 类型 属性 带有浮点数/双精度数

PHP 7.4 Typed property with floats / doubles

oop

floating-point

double

types

php-7.4

PHP 7.4 类型属性带有浮点数/双精度数