【PHP7.4】ついにPHPにプロパティ型指定がやってくる


[Typed Properties 2.0](https://wiki.php.net/rfc/typed_properties_v2)というRFCが投票フェーズに入ったのですが、2018/09/13時点で賛成48反対0となっていて、ほぼ決まりの状態です。


# Typed Properties 2.0

どういうRFCなのかというと、これです。

```php
class User {
    public int $id;
    public string $name;

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

プロパティに型を強制することができるようになります。

## 導入

PHP7.4で導入される予定。

## 構文

```php
class Example {
    // 対象型はvoidとcallable以外全て
    public int $scalarType;
    protected ClassName $classType;
    private ?ClassName $nullableClassType;
 
    // staticにも指定可能
    public static iterable $staticProp;
 
    // varにも使える
    var bool $flag;
 
    // デフォルト値を指定
    public string $str = "foo";
    public ?string $nullableStr = null;
 
    // 複数のプロパティを指定
    public float $x, $y;
    // ↑は↓と同じ
    public float $x;
    public float $y;
}
```

型指定したプロパティは、宣言した型を満たす値が入っているか、もしくはTypeErrorを発するかのいずれかになります。


## 使用可能な型

voidとcallable以外の全てが指定可能です。

```text
bool, int, float, string, array, object
iterable
self, parent
任意のクラスおよびインターフェイス名
?type // null許容型
```

voidは意味がないうえ、PHPからvoid型の値を設定・取得する方法がありません(取得するとnullになる)。
そのため対象外となりました。

callableは実行可能かどうかがコンテキストによって決まるため、対象外とされました。

```php
class Test {
    public callable $cb;
 
    public function __construct() {
        // ここからは呼べる
        $this->cb = [$this, 'method'];
    }
 
    private function method() {}
}

$obj = new Test;
// ここからは呼べない
($obj->cb)();
```

ちなみに、このあたりをどうにかしようというRFCが[別途提出されています](https://wiki.php.net/rfc/consistent_callables)。

## strict_typesの影響

```php:strict
declare(strict_types=1);

class Test {
    public int $val;
}

$test = new Test;
$test->val = "42"; // TypeError
```

```php:not_strict
declare(strict_types=0);

$test = new Test;
$test->val = "42";
var_dump($test->val); // int(42)
```

せっかくの型宣言ですが、値は[暗黙の型変換](http://php.net/manual/ja/language.types.type-juggling.php)の影響を受けます。
つまり、intなフィールドに"42"を突っ込んでもTypeErrorが起こらず値は42になってしまいます。
厳密な型チェックを行いたい場合はstrict_typesを指定しましょう。


## 継承と分散

もちろん子クラスで型の変更はできません。

```php
class A {
    private bool $a;
    public int $b;
    public ?int $c;
}
class B extends A {
    public string $a; // parent::$aはprivateなので別プロパティになる
    public ?int $b;   // NG
    public int $c;    // NG
}
```

親クラスのプロパティがprivateである場合は、単に別のプロパティになるだけなので異なる型を設定可能です。
とはいえ同じ名前で異なる型というのはわかりにくくなるだけなので、やめておいたほうが無難でしょう。

またstaticプロパティについては異なる型は禁止されます。

```php

class A {
    public static bool $a;
}
class B extends A {
    public static int $a; // NG
}
```

本来これは別の値となるはずなのですが、[遅延静的束縛](http://php.net/manual/ja/language.oop5.late-static-bindings.php)などを使うと簡単に乗り越えられてしまうので禁止となりました。

```php
trait T1 {
    public int $prop;
}
trait T2 {
    public string $prop;
}
class C {
    use T1, T2; // NG
}
```

[トレイト](http://php.net/manual/ja/language.oop5.traits.php)も同名プロパティの異なる型指定はNGです。
insteadofやasを使えばいいということもなく、同時にuseしようとする時点で駄目なようです。


## デフォルト値

通常のプロパティと同じくデフォルト値を指定できますが、当然ながら型に合わせないといけません。

```php
class Test {
    // OK
    public bool     $a = true;
    public int      $b = 42;
    public float    $c = 42.42;
    public float    $d = 42; // 特別にOK
    public string   $e = "str";
    public array    $f = [1, 2, 3];
    public iterable $g = [1, 2, 3];
    public ?int     $h = null;
    public ?object  $i = null;
    public ?Test    $j = null;

    // デフォルト値を設定できない
    public object   $k;
    public Test     $l;

    // NG
    public bool     $m = 1;
    public int      $n = null;
    public Test     $o = null;
}
```

メソッドの型引数と同様、NULL許容型でないかぎりNULLは禁止されます。

object型はデフォルト値を設定する方法がないので、常に未定義となります。
Javaなどでは定義と同時にnewとか書けますが、PHPでは値や定数しか置くことができません。

デフォルト値をコンパイル時に評価できない場合、実行時に初めてチェックされます。
つまり以下のコードは許可されます。

```php
class Test {
    public int $prop = FOO;
}

define('FOO', 42);
new Test;
```

`define('FOO', 'hoge')`などとした場合は実行時にTypeErrorが発生します。


## 初期値、unset()

デフォルト値を設定しない場合の初期値はnullではなく、未初期化という状態です。

```php
class Test {
    public int $val;
}
 
$test = new Test();
var_dump($test->val); // TypeError
```

未初期化プロパティを参照するとTypeErrorが発生します。
安全な運用のためには、デフォルト値を書いておくか、コンストラクタで必ず設定するようにしておくべきでしょう。

またvar_dumpすると特別な`uninitialized`値になります。

```php
object(Test)#1 (0) {
  ["val"]=>
  uninitialized(int)
}
```

print_rやvar_exportでどうなるかは書かれていませんでした。


## オーバーロード

型指定プロパティを`unset()`すると、未定義ではなく未初期化状態に戻ります。
ちなみに通常のプロパティはunsetすると消滅します。

```php
class Test {
    public int $typed;

    public function __construct() {
        unset($this->typed); // uninitializedになる
    }

    public function __get($name) {
        if ($name === 'typed') {
            return $this->typed = $this->computeValue(); // なんか値を入れる
        }
    }
}
 
$test = new Test;
var_dump($test->typed); // __getが呼ばれる
var_dump($test->typed); // 呼ばれない
```

未初期化プロパティはアクセス不能とみなされるので、いきなり参照しようとすると[__get()](http://php.net/manual/ja/language.oop5.overloading.php#object.get)が呼び出されます。
値を入れるとアクセスできるようになるので__getは呼ばれなくなります。

なお、プロパティに値を入れなかったとしても、__getは正しい型の値を返さなければTypeErrorになります。

```php
class Test {
    public int $val;
 
    public function __get($name) {
        return "not an int";
    }
}
 
$test = new Test;
var_dump($test->val); // TypeError
```

これはわりと意外ですね。

## 間接的な型変更

PHPの暗黙型変換が悪さをすることもあります。

```php
class Test {
    public int $x;
}
 
$test = new Test;
$test->x = PHP_INT_MAX;
$test->x++; // TypeError
```

PHP_INT_MAX+1はfloat型に自動型変換されるため、TypeErrorが発生します。

## リファレンス

リファレンスは使うな！！！！

残念ながら型指定プロパティはリファレンスに対応しています。
RFCでは以下のようなコードが例示されています。

```php
class Test {
    public array $ary = [3, 2, 1];
}
$test = new Test;
sort($test->ary);
```

[sort](http://php.net/manual/ja/function.sort.php)の引数はリファレンス渡しなので、リファレンスが効かないとこのような書き方ができません。
ということなのだけど、そもそもこんな使い方するなって話だな。

リファレンスを使うと型合成みたいなことができます。

```php
class Test {
    public ?int $i;
    public ?string $s;
}
 
$r = null;
$test->i =& $r;
$test->s =& $r;
```

ここで`$r`には`?int`型かつ`?string`型の値しか代入できないことになります。
`?int`型かつ`?string`型を満たす値はnullしかないのでこの例は役に立たないのですが、うまく使えば菱形継承みたいなこともできるかもしれません。
そんな奇天烈なことするなよ、絶対するなよ。

## 自動初期化

PHPでは未定義プロパティを参照すると[該当プロパティが自動的に作成](https://3v4l.org/u8KLS)され、値がnullになります。

```php
$test = new stdClass();
$b =& $test->a; // null 
var_dump($test); // $test->aが勝手に作られる
```

同様に、未初期化プロパティを参照すると値がnullになります。

```php
class Test {
    public ?int $x;
    public int $y;
}
 
$test = new Test;
$x =& $test->x; // $text->x = nullになる
$y =& $test->y; // TypeError
```

`$x`はnullableなので未初期化参照可能ですが、`$y`はnull禁止なので参照した時点でTypeErrorが発生します。
ややこしいので、未定義プロパティは参照できないようにするべきでしょう。


## リフレクション

[ReflectionProperty](http://php.net/manual/ja/class.reflectionproperty.php)に3メソッドが追加されます。

```php
class ReflectionProperty {
    public function getType(): ?ReflectionType;
    public function hasType(): bool;
    public function isInitialized([object $object]): bool;
}
```

`getType`は型指定のある場合[ReflectionType](http://php.net/manual/ja/class.reflectiontype.php)を、なければnullを返します。
`hasType`は型指定があればtrue、なければfalseを返します。

`isInitialized`はプロパティが初期化されていればtrueです。
未初期化、およびunsetされたプロパティについてはfalseになります。
publicでない場合は先に`setAccessible(true)`しないとReflectionExceptionが出ます。


## 文法について

2種類の文法が提案されました。

```php
class Example {
    public int $num;
    public $num: int;
}
```

どちらの形式がよいか検討した結果前者になりました。
前者はCやJavaなどの古い言語に多く、後者はTypeScriptやRustといったモダンな言語に多い文法です。
ならば後者がいいのではないかと思いますが、PHPでは複数の変数を同時に宣言できます。

```php
class Example {
    public int $x=1, $y=2, $z=3;
    public $x=1: int, $y=2: int, $z=3: int;
}
```

前者の方が楽ですね。


## 下位互換性

既存のPHPコードに影響が生じることはありません。

## エクステンションへの影響

エクステンション開発側は以下の2点について対応が必要となります。

・write_propertyシグニチャの変更
・参照割り当ての修正

詳細も書かれていますが、使用する側にとっては特に関係ないので省略。
[マクロが用意されている](https://gist.github.com/nikic/bb874084aaa0af6d56d6ab491a6d630b)ので使うと楽になるでしょう。


## パフォーマンス

各フレームワークでの[実測値](https://gist.github.com/dstogov/b9fc0fdccfb8bf7bae121ce3d3ff1db1)が出ていますが、平均して1.7%程度遅くなるようです。
これは型指定を使用しなくても発生します。
むしろ型指定導入後に高速化しているqdigやdrupalはなんなんだ。
というか勝手に-を遅くなると考えていたのだが、これ単位がないからどっちが早いのかわからないな。

## 投票

2/3の賛成が必要になりますが、2018/09/13時点では賛成48反対0です。
余程重大な問題でも発覚しないかぎり、逆転されることはまずないでしょう。


# 感想

ようやく来たか、というかんじですね。

以前却下された[Typed Properties](https://wiki.php.net/rfc/typed-properties)で考えが足りてなかったところを悉く潰して、周到に用意されてきたという印象です。
特にcallableや参照などのややこしいところについては、非常に細かいところまで動作とその理由が説明されています。
こんなに長いRFCは初めて見た気がします。
おかげで満場一致での採択となりました。

とはいえ使う側としては、初期化とリファレンス禁止だけ徹底していれば、奇妙な動作に惑わされることはなさそうです。

ここの解説は詳細をだいぶ端折っているので、細かい挙動が知りたい場合はRFCを直接見てください。
リファレンスの連鎖とか見るのも実装するのも嫌になるレベル。