タイプヒントの実装_PHP チュートリアル

型ヒントの実装

PHP は型指定が弱い言語であり、メソッドにパラメーターを渡すときにデータ型が厳密にチェックされません。 ただし、メソッドに渡されるパラメーターを決定する必要がある場合があります。このため、PHP にはデータの種類を決定するための関数がいくつか用意されています。 たとえば、is_numeric() は、それが数値であるか、またはオブジェクト (instanceof) を決定するために使用される型演算子など、数値に変換できる文字列であるかを決定します。 instanceof は、特定のオブジェクトが指定されたオブジェクト クラスに由来するかどうかを判断するために使用されます。 instanceof 演算子は PHP 5 で導入されました。 これまでは is_a() が使用されていましたが、現在はその使用は推奨されていません。 キャッチ可能な致命的なエラー: array_print() に渡される引数 1 は配列である必要があります。整数が与えられ、呼び出されました...関数パラメータの整数変数を配列に変更すると、プログラムは通常どおり実行され、print_r 関数を呼び出して配列を出力します。 では、このタイプヒントはどのように実装されるのでしょうか? クラス内のメソッドであっても、呼び出す関数であっても、関数キーワードはその宣言のマークとして使用され、パラメーターの型は関数の宣言に関連しています。宣言の時刻ですが、呼び出されたときにのみ表示されます。 ここでは、タイプヒントの実装を 2 つの側面から説明します: パラメータ宣言時の入力ヒント関数またはメソッドを呼び出すときの入力ヒント今の例を変更します: 関数 array_print(Array $arr = 1) { print_r($arr);} array_print(array(1));前の例と比較すると、このコードは関数パラメータのデフォルト値を設定しますが、このデフォルト値は整数変数であり、パラメータによって与えられる型ヒント配列とは異なります。したがって、このコードを実行するとすぐに設定されます。プログラムが次のようにエラーを報告することを確認してください: 致命的なエラー: 配列型ヒントを含むパラメーターのデフォルト値 配列または NULL のみを指定できますなぜすぐにエラーが表示されるのですか? デフォルト値の検出処理は中間コード生成段階で発生するため、実行時のエラー報告とは異なり、まだ中間コードが生成されておらず、中間コードを実行する処理もありません。 Zend/zend_ language_parser.y ファイルでは、関数のパラメータ リストがコンパイル時に zend_do_receive_arg 関数を呼び出すことがわかります。 この関数のパラメーター リストの 5 番目のパラメーター (znode *class_type) は、このセクションで説明する型ヒントと密接に関連しています。 このパラメーターの機能は、型ヒントで型を宣言することです。ここには 3 つの型があります。 need_msg = zend_verify_arg_class_kind(cur_arg_info, fetch_type, &class_name, &ce TSRMLS_CC); zend_verify_arg_error(zf, arg_num, cur_arg_info, need_msg, class_name, zend_zval_type_name(arg), "" TSRMLS_CC) を返します。 } } else if (cur_arg_info->array_type_hint) { // 配列 if (!arg) { ZEND_VERIFY_ARG_ERROR (ZF, ARG_NUM, Cur_ARG_INFO, "配列であること", "", ZEND_ZVAL_TYPE_NAME (ARG), "TSRMLS_CC); を返します。 図3.1 タイプ即時判定フローチャート 型ヒントがエラーを報告する場合、zend_verify_arg_type 関数は最終的に zend_verify_arg_class_kind を呼び出してエラー メッセージを生成し、zend_verify_arg_error を呼び出してエラーを報告します。コードは次のとおりです: static inline char * zend_verify_arg_class_kind(const zend_arg_info *cur_arg_info, ulong fetch_type, const char **class_name, zend_class_entry **pce TSRMLS_DC){