PHP8中字符串与数字的比较更智能

PHP8.0发布[1]也有一段时间了，此次发布带来了很多实用且强大的功能，比如：

Named arguments

// php 7.x
htmlspecialchars($string, ENT_COMPAT | ENT_HTML401, 'UTF-8', false);

// php 8.0
htmlspecialchars($string, double_encode: false);

传递参数时，可以通过指定参数名传递。

Constructor property promotion

// php 7.x
class Point {
  public float $x;
  public float $y;
  public float $z;

  public function __construct(
    float $x = 0.0,
    float $y = 0.0,
    float $z = 0.0
  ) {
    $this->x = $x;
    $this->y = $y;
    $this->z = $z;
  }
}

// php 8.0
class Point {
  public function __construct(
    public float $x = 0.0,
    public float $y = 0.0,
    public float $z = 0.0,
  ) {}
}

构造器参数向上提升，这个还挺有意思的，构造器中的参数(公众号正义的程序猿)直接变成了类的属性，大大简化了代码量。

Union types

// php 7.x
class Number {
  /** @var int|float */
  private $number;

  /**
   * @param float|int $number
   */
  public function __construct($number) {
    $this->number = $number;
    // 公众号 正义的程序猿
  }
}

new Number('NaN'); // Ok

// php 8.0
class Number {
  public function __construct(
    private int|float $number
  ) {}
}

new Number('NaN'); // TypeError

在之前的版本，申明联合变量类型都是通（公众号正义的程序猿）过注解的方式，而在8.0中，结合构造函数变量提升，直接在定义的时候申明联合类型，并且在8.0中是严格的，类型不匹配直接在运行时报错。

当然，8.0中的feature不止这些，还有很多。这里来详细说一下Saner string to number comparisons，就是本文的标题。

现象

PHP中在比较时，我们经常这样操作：

1	10 == '10'

结果符合我们的预期，但这样并不是每次都正确，比如：

// php 7.x
0 == 'foobar' // true
  
// php 8.0
0 == 'foobar' // false

是不是很诡异？

再来一个：

// php 7.x
var_dump(in_array(0, ['foo', 'bar'])); // true

// php 8.0
var_dump(in_array(0, ['foo', 'bar'])); // false

还有：

// php 7.x
$v = 0;

switch ($v) {
    case 'bar':
        echo 'baaar' . PHP_EOL;
    case 0:
        echo 'foo' . PHP_EOL;
}

// 输出：
// baaar
// foo

// PHP 8.0
// 输出
// foo

为什么

先来说一下PHP中的比较运算，分为两类，严格类型（===,!==）和非严格类型（==, !=, >, >=, 两者的主要区别如下：

严格类型比较底层用的是strcmp()，非严格类型使用的是所谓的“智能”比较，即将字符串转为数字对比
在比较数组时，严格类型不光会比较值，还会比较索引的顺序，非严格类型只会简单的比较值
在比较对象时，严格类型使用对象标识符比较，非严格类型只会比较对象的值

在使用==比较数字和字符串时，PHP 8.0之前的版本会先将字符串转换为数字，之后再做两个数字间的比较，这也就是为什么上门0 == "foobar" = true了。

Saner string to number comparisons

文章标题说PHP8中字符串与数字的比较更智能，具体智能在哪里？针对上面的问题，8.0当中引入Saner string to number comparisons这个特性[2]，底层具体的操作为：当比较数字字符时，使用数字与数字对比，而其他字符与数字比较时，统一使用字符串比较。我们来通过一个表格来对比下前后的变化：

Comparison    | Before | After
------------------------------
 0 == "0"     | true   | true
 0 == "0.0"   | true   | true
 0 == "foo"   | true   | false
 0 == ""      | true   | false
42 == "   42" | true   | true
42 == "42foo" | true   | false

参考：