严格类型在PHP中有什么作用?

我在PHP 7中看到了下面的新行，但没有人真正解释它的含义。我在谷歌上搜索过，他们谈论的都是你是否会启用它，就像一个投票类型的东西。

declare(strict_types = 1);

它能做什么?它如何影响我的代码?我应该这么做吗?

解释一下就好了。

138071 次浏览
小开

从树屋的博客:

在PHP 7中，我们现在添加了标量类型。具体来说:int, float，

通过添加标量类型提示并启用严格的需求，它是 希望更多正确和自文档化的PHP程序可以 写的。它还使您可以更好地控制您的代码，并可以使

默认情况下，标量类型声明是非严格的，这意味着它们 将尝试更改原始类型以匹配指定的类型 通过类型声明。换句话说，如果你传递一个字符串 从一个数字开始，进入一个需要浮点数的函数 从最开始取数字，然后删除其他所有数字。通过 浮点数转换为需要int类型的函数将变成int(1).

默认情况下，如果可能的话，PHP将把错误类型的值转换为预期的标量类型。例如，如果函数的形参为整数，而该形参期望为字符串，则该函数将获得一个字符串类型的变量。

禁用严格类型(eval):

<?php


function AddIntAndFloat(int $a, float $b) : int
{
return $a + $b;
}


echo AddIntAndFloat(1.4, '2');
/*
* without strict typing, PHP will change float(1.4) to int(1)
* and string('2') to float(2.0) and returns int(3)
*/

可以在每个文件的基础上启用严格模式。在严格模式下，只有类型声明的确切类型的变量将被接受，否则将抛出TypeError。该规则的唯一例外是，可以将整数赋给期望浮点数的函数。从内部函数内部进行的函数调用不会受到strict_types声明的影响。

要启用严格模式，declare语句与strict_types声明一起使用:

启用严格类型(eval):

<?php declare(strict_types=1);


function AddIntAndFloat(int $a, float $b): int
{
return (string) $a + $b;
}


echo AddIntAndFloat(1.4,'2');
// Fatal error: Uncaught TypeError: Argument 1 passed to AddIntAndFloat() must be of the type int, float given
echo AddIntAndFloat(1,'2');
// Fatal error: Uncaught TypeError: Argument 2 passed to AddIntAndFloat() must be of the type float, string given


// Integers can be passed as float-points :
echo AddIntAndFloat(1,1);
// Fatal error: Uncaught TypeError: Return value of AddIntAndFloat() must be of the type integer, string returned

工作的例子:

<?php


declare(strict_types=1);


function AddFloats(float $a, float $b) : float
{
return $a+$b;
}


$float = AddFloats(1.5,2.0); // Returns 3.5


function AddFloatsReturnInt(float $a, float $b) : int
{
return (int) $a+$b;
}


$int = AddFloatsReturnInt($float,1.5); // Returns 5


function Say(string $message): void // As in PHP 7.2
{
echo $message;
}


Say('Hello, World!'); // Prints "Hello, World!"


function ArrayToStdClass(array $array): stdClass
{
return (object) $array;
}


$object = ArrayToStdClass(['name' => 'azjezz','age' => 100]); // returns an stdClass


function StdClassToArray(stdClass $object): array
{
return (array) $object;
}


$array = StdClassToArray($object); // Returns array


function ArrayToObject(array $array): object // As of PHP 7.2
{
return new ArrayObject($array);
}


function ObjectToArray(ArrayObject $object): array
{
return $object->getArrayCopy();
}


var_dump( ObjectToArray( ArrayToObject( [1 => 'a' ] ) ) ); // array(1 => 'a');
小开

strict_types影响类型强制转换。

使用类型提示而不使用strict_types可能会导致微妙的错误。

在严格类型之前，int $x意味着“$x必须有一个值可强迫的到int。”任何可以被强制转换为int的值都会传递类型提示，包括:

  • int类型(242)，
  • a float (10.17)，
  • a bool (true)
  • null或
  • 一个前导数字字符串("13 Ghosts")。

通过设置strict_types=1，你告诉引擎int $x意味着“$x只能是一个int型，不允许类型强制转换。”你有很大的保证，你得到的是准确的，只有给予的，没有任何转换和潜在的损失。

例子:

<?php
function get_quantity(): int {
return '100 apples';
}
echo get_quantity() . PHP_EOL;

产生一个可能令人困惑的结果:

Notice: A non well formed numeric value encountered in /Users/bishop/tmp/pmkr-994/junk.php on line 4
100

我认为，大多数开发人员会期望int提示表示“仅为int型”。但它不是，它的意思是“任何像int型的东西”。启用strict_types会给出可能的预期和期望的行为:

<?php declare(strict_types=1);


function get_quantity(): int {
return '100 apples';
}
echo get_quantity() . PHP_EOL;

收益率:

Fatal error: Uncaught TypeError: Return value of get_quantity() must be of the type int, string returned in example.php:4

如果你使用类型提示，我认为这里有两个教训:

  • 始终使用strict_types=1。
  • 将通知转换为异常，以防您忘记添加strict_types pragma。
小开

简短的回答

方法参数或类属性中的类型提示非常有用，它可以帮助你在运行代码之前捕获类型错误。 基于类的类型提示自PHP 5起就开始使用了，但基元提示是相当新的。当将非预期类型传递给函数时，PHP将尝试自动将值转换为预期类型。如果strict_types已声明，则PHP将改为抛出异常

长回答

使用declare(strict_types=1)将在你试一试(意外地)强制转换原语值时将PHP告诉抛出类型错误。看一下这个没有严格类型声明的例子。

function dump(int $value): void
{
var_dump($value);
}


dump('13.37');
dump(19.42);

运行此脚本的结果如下所示:

int(13)
int(19)

您会注意到，即使我们在函数调用中给了它一个字符串，dump函数仍然期望整数。如果您尝试这样做，编辑器可能会调用您，但它仍然是有效的PHP代码。

为原语值启用严格类型非常简单，只需在PHP文件顶部添加一条语句即可。下面是上面添加了声明的示例。

declare(strict_types=1)


function dump(int $value): void
{
var_dump($value);
}


dump('13.37');
dump(19.42);

使用声明运行此脚本将导致以下错误:

Fatal error: Uncaught TypeError: dump(): Argument #1 ($value) must be of type int, string given, called in /Users/rienvanvelzen/Desktop/demo.php on line 10 and defined in /Users/rienvanvelzen/Desktop/demo.php:5
Stack trace:
#0 /Users/rienvanvelzen/Desktop/demo.php(10): dump('13.37')
#1 {main}
thrown in /Users/rienvanvelzen/Desktop/demo.php on line 5

使用strict_type声明可以通过限制PHP自动强制转换原语值来提前帮助你捕捉小虫子。当您开始使用它时，它可能有点令人生畏，因为您需要从一开始就正确地定义所有内容。

来源:在PHP中declare(strict_types=1)的工作方式


提交答案