php8 type system

PHP 8タイプシステム内、および静的分析のためのツール

このレポは、 PHP 8.1+タイプシステムのあらゆる側面のまともな説明、タイプ宣言とPHPDOC、およびプログラムの矛盾とバグを見つけるタイプシステムに依存する静的アナライザーを使用するためのコミュニティツールのまともな説明であることを願っています。

• PHPタイプシステム詳細、タイプシステムの完全な説明、すべてのタイプの宣言、キャストやディーリングなどの関連トピックは値null
  • タイピングシステム
  • 宣言構文を入力します
  • なぜタイプを使用するのですか？
  • 組み込み型宣言
    • スカラー型宣言
    • 化合物型宣言
    • リターンのみのタイプ宣言
    • その他
  • オブジェクト
    • 宣言を入力します
    • 継承のタイプ
    • 引数タイプとしてのクラス
    • メソッドを返すタイプとしてのクラス
    • 酵素
  • 数字文字列
  • 組合と交差点のタイプ
  • 変数からタイプ情報を取得します
  • 鋳造
  • タイプの比較とジャグリング
  • 厳格なタイプ
  • ヌルを扱う

• 静的分析のためのツール
  • phpdocs
    • 関連するタグを入力します
  • 静的アナライザー
    • カスタムPHPDOCタイプ
    • ジェネリック
    • phpstan
  • PHPDOCと宣言を入力するのに役立つツール
    • PHP CSフィクサー
    • 学長
    • ランタイムアサーション

• PHPマニュアルへのさまざまな関連リンク、長年にわたるすべてのタイプ関連機能のRFC、およびコミュニティリンクを参照してください