PHP 7.4 将推出类型化属性

该类型化属性 2.0 RFC 已经通过投票，支持票 70 票，反对票 1 票。由于类型化属性是语言更改，因此需要 2/3 的多数票。类型化属性更改是 PHP 7.4 的一个提案。

随着标量类型和返回值类型的引入，PHP 7 极大地提升了 PHP 类型系统的功能。但是，目前无法为类属性声明类型，迫使开发人员使用 getter 和 setter 方法来强制执行类型契约。这需要不必要的样板代码，使用起来不太符合人体工程学，还会影响性能。本 RFC 通过引入对一流属性类型声明的支持来解决此问题。

该 RFC 提供了一个例子，目标是强制执行类型安全

class User {
    /** @var int $id */
    private $id;
    /** @var string $name */
    private $name;
 
    public function __construct(int $id, string $name) {
        $this->id = $id;
        $this->name = $name;
    }
 
    public function getId(): int {
        return $this->id;
    }
    public function setId(int $id): void {
        $this->id = $id;
    }
 
    public function getName(): string {
        return $this->name;
    }
    public function setName(string $name): void {
        $this->name = $name;
    }
}

使用新的已接受的 RFC，该代码可以按如下方式进行功能等效，“不会牺牲类型安全”

class User {
    public int $id;
    public string $name;
 
    public function __construct(int $id, string $name) {
        $this->id = $id;
        $this->name = $name;
    }
}

最后，这里是一个在运行时强制执行的类型化属性注释中支持的所有有效类型的示例

class Example {
    // All types with the exception of "void" and "callable" are supported
    public int $scalarType;
    protected ClassName $classType;
    private ?ClassName $nullableClassType;
 
    // Types are also legal on static properties
    public static iterable $staticProp;
 
    // Types can also be used with the "var" notation
    var bool $flag;
 
    // Typed properties may have default values (more below)
    public string $str = "foo";
    public ?string $nullableStr = null;
 
    // The type applies to all properties in one declaration
    public float $x, $y;
    // equivalent to:
    public float $x;
    public float $y;
}