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

Question

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

但即使声明 strict_types 也没有正确执行。

另外，我知道有人说在 PHP 中双精度和浮点数没有区别，但是对于类型化属性，PHP 不将双精度识别为数据类型。

请看下面的简单代码测试：

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

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

1. 为什么 PHP 正确执行 int 类型而不是 float 类型？ 为什么当我检查 is_float() 时它返回 false 但函数接受整数？

2. 为什么整数类型可以完美执行，而浮点数却不行？

3. 即使 PHP 有一个有效的 double 数据类型，为什么它假定 double 是一个实例？ double 绝对是 PHP 中的原始数据类型，因为 is_double() 函数可以完美运行， 见上面抛出的异常。

4. 基本上，在 PHP 中强制十进制数字的最佳、最简洁的解决方法是什么？

Answer 1

为什么 PHP 正确执行 int 类型而不是 float 类型？ 为什么当我检查 is_float() 它返回 false 但 函数接受一个整数？

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

为什么整数类型可以完美执行，而浮点数却不行？

PHP 类型声明带有 coercive 模式作为默认模式，因此可以更改声明的类型，并且只有当 PHP 可以将错误类型的值强制转换为预期的。

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

那么strict_types 会做什么呢？

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

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

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

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

致命错误：未捕获的类型错误：参数 1 传递给 FloatTest::setInt() 必须是 int 类型，给定浮点数

---

即使 PHP 有一个有效的 double 数据类型，为什么它会假设 双是一个实例？ double 绝对是原始数据类型 在 PHP 中，is_double() 函数完美运行

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

基本上什么是最好、最干净的强制执行工作 PHP 中的十进制数？

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