Qiita Teams that are logged in
You are not logged in to any team

Log in to Qiita Team
Community
OrganizationAdvent CalendarQiitadon (β)
Service
Qiita JobsQiita ZineQiita Blog
0
Help us understand the problem. What is going on with this article?
@nishimura

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

More than 1 year has passed since last update.

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で逃げてもいいけど、せっかくなので全ての型を書きたいところ…。

0
Help us understand the problem. What is going on with this article?
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

No comments
Sign up for free and join this conversation.
Sign Up
If you already have a Qiita account Login
0
Help us understand the problem. What is going on with this article?