Help us understand the problem. What is going on with this article?

PHPStan 0.12 でGenericsが使えるようになった

PHPStan 0.12 がリリースされていた。
https://medium.com/@ondrejmirtes/phpstan-0-12-released-f1a88036535d
和訳 https://www.phper.ninja/entry/2019/12/06/032456

ただし、ここで気軽にcomposer updateしてしまうと、大量のエラーに遭遇することになる。(設定レベルにもよるが)
PHPStan 0.12 ではレベルが一つ増えているが、以前の最大値7の次の8が追加されたのではなく、6が追加されて 6 と 7 が 7 と 8 にずれた。
つまり以前の「nullable型のメソッド呼び出しとプロパティアクセスを報告」のレベルを保持するためには 新しく追加された「6: 欠落した型ヒント」を先に全て満たす必要がある。

今までタイプヒント無しで逃げていた部分やarraystdClassでお茶を濁していた部分も正確に指定する必要があるようだ。

それを乗り越えると(別に乗り越えなくてもGenericsは使えるが)、例えば以前書いたプログラムは

Type/HasValue.php
<?php
namespace MyProject\Type;
/**
 * @template T
 */
interface HasValue {
    /** @return ?T */
    public function getValue();
}
Input/Value.php
<?php
namespace MyProject\Input;
use MyProject\Type;

/**
 * @template T
 * @implements Type\HasValue<T>
 */
abstract class Value implements Type\HasValue {
    /** @var string */
    public $name;
    /** @var ?string */
    public $input;
    /** @var ?T */
    protected $value;

    public function __construct(string $name)
    {
        $this->name = $name;
        $this->input = $_REQUEST[$name] ?: null;

        if ($this->input !== null)
            $this->convert($this->input);
    }
    /** @return void */
    abstract protected function convert(string $input);
    /** @return ?T */
    public function getValue(){ return $this->value; }
}
Input/IntValue.php
<?php
namespace MyProject\Input;

/**
 * @extends Value<int>
 */
class IntValue extends Value {
    protected function convert(string $input){
        if (preg_match('/[0-9]+$/', $input))
            $this->value = (int)$input;
    }

    public function getValue(): ?int { return $this->value; }
}

こんな感じで正しく型コメントを書ける。
前は型を書くためにprotectedにも関わらずスーパークラスとサブクラスの両方に

class IntValue extends Value {
    /** @var ?int */
    protected $value;

と書いていた不要なプロパティが無くなって型と構造が正しくなった。

PHP7.4も出たし、しっかり書く派のPHPプログラムは作り方が全然変わってくるのかもしれないな。
HTMLでの変数にも型が欲しいし、何かもうあと一歩という感じがする。

(追記: 2019-12-11)
試しに、4万行ほどの使いたいプロジェクトで 0.12 にバージョンアップしてみると、エラーが 0 件から 1613 件に…。
ちょっと心折れそうではある。
DBから取得したデータとか、json_decodeとか、テンプレートで使う変数のひとまとまりだとか、フォームリクエスト変数とか、IO境界がつらい。
特にjson_decodeで取得したstdClassがつらい。mixedで逃げてもいいけど、せっかくなので全ての型を書きたいところ…。

Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away