PHPのselfとstaticの戻り値型を使い分ける
戻り値型の self は「その宣言が書かれたクラス」、static は「実際に呼ばれたクラス」を指します。継承…
-
-
PHP 8.3の型付きクラス定数で、子クラスの上書きを型で縛る
型付きクラス定数とは、PHP 8.3から使える const string FOO = ‘bar’; のような書…
-
交差型とDNF型で「両方を実装していること」を型で要求する
交差型は Traversable&Countable のように書き、並べたインターフェースやクラスをす…
-
iterable型で配列とジェネレータを両対応する
iterable は配列と Traversable のどちらも受け取れる型で、PHP 7.1から使えます。配列…
-
never型で「この先は実行されない」を型として伝える
PHPのnever型とは、その関数が値を返さず必ず例外を投げるか処理を終了することを示す戻り値型です。PHP …
-
型付きプロパティのuninitializedは、nullでもundefinedでもない
型付きプロパティに初期値を書かないと、そのプロパティは null ではなく「未初期化(uninitialize…
-
PHPのstrict_typesと型宣言、なんとなく付けていませんか
declare(strict_types=1)、ファイルの先頭に一応書いてはいるけど、正直なぜ効いているのか説…