PHP の型チェック

オブジェクトと配列の形状

PhpStorm は、PHPDoc ブロックまたは属性 (#[ArrayShape]、#[ObjectShape]) 経由で、オブジェクトおよびオブジェクトのような配列に対して宣言されたキーと値の構造を解析します。入力すると、IDE は値のタイプを推測し、キーに対してコード補完を呼び出します。

自動コード補完が無効になっている場合は、Ctrl+Space を押すか、メインメニューからコード | コード補完 | 基本を選択します。

その他の例については、このブログ投稿(英語)を参照してください。

既存のオブジェクト形状のアノテーションを生成するには、関連するコード要素にキャレットを置き、Alt+Enter を押して、開いたメニューから「#[ObjectShape]」属性を追加または ObjectShape を PHPDoc に追加するコンテキストアクションを選択します。

同様に、配列形状のコンテキストアクションは「#[ArrayShape]」属性を追加および ArrayShape を PHPDoc に追加するです。

整数の範囲

指定された値が指定された許容される整数の範囲内にあることを PhpStorm にチェックさせるには、PHPDoc アノテーションで int<min, max> 構文を使用します。

Psalm アノテーション

PhpStorm には Psalm 固有のアノテーション(英語)のサポートが組み込まれています。アノテーションを指定する場合、ほとんどの場合、@psalm- 部分は省略できます。サポートされている型アノテーションには次のものがあります。

• Psalm タイプのアノテーション(英語)。これらのアノテーションを numeric や scalar などの疑似型に使用して、PhpStorm に追加の型情報を提供できます。

  

  

• @psalm-param (英語) アノテーション。メソッドが受け入れることができる型を指定します。この場合、PhpStorm はその型のすべてのプロパティとメソッドのサポートを開始します。

  

  @psalm-param または @psalm-var タグを介して型定義を提供する場合、共通の接頭辞を共有する定数に定数の値の共用体（|）およびワイルドカード（*）を使用できます。

  

• @psalm-type (英語) アノテーション。コード内の他の型へのエイリアスを作成できます。

  /** @psalm-type UserName = array{name: string} */ class Name { /** @psalm-return UserName */ function toArray(): array { return ["name" => "Matt"]; } }

• @psalm-import-type (英語) アノテーション。@psalm-type で定義された型のインポートを可能にします。

ジェネリクス型のサポート

PhpStorm は、@template(英語) アノテーションを通じて PHP のジェネリクス型(英語)をサポートします。初期サポートでは、関数がパラメーターの 1 つを返す単純なケースがカバーされています。