トップ型
あらゆる型を部分型に持つ型のこと
PHP以外の言語では
any
などと呼ばれることがある
#英語:
top type
Top type - Wikipedia
PHP 8.0
では
mixed型
がトップ型として型宣言できるようになった
PHP RFC: Mixed Type v2
mixed
は
array|bool|callable|int|float|null|object|resource|string
に相当する
オブジェクト
と
プリミティブ型
すべてを部分型として持つ
mixed
はあらゆる値を受け入れる型である
PHP 7.2
では全てのオブジェクトのトップ型として
object
が追加された
PHP: 新機能#object型
関数
is_object($val) === true
を満たす値を受け入れる型
PHP 7までは
型宣言
できるトップ型は存在しなかった