Page 1
PHP8時代に
array型と向き合う
Faced with array type in the PHP 8.x era
pixiv Inc.
USAMI Kenta
2021-12-21 PHPerKaigi petit - PHP8.1リリース祝賀会
Page 12
型がついていない関数(PHP5)
function add($a, $b) {return $a + $b;}
Page 13
スカラー型宣言(PHP7)
int + intって本当にintなの？
function add(int $a, int $b): int {return $a + $b;}
Page 14
広い値をとるにはfloatが必要
ひとつの解決策ではあるが… 不必要にfloatを強制するのか
function add(float $a, float $b): float {return $a + $b;}
Page 15
PHPDocの型注釈(アノテーション)
あえて型宣言を省略する
/*** @param int|float $a* @param int|float $b* @return int|float*/function add($a, $b) {return $a + $b;}
Page 16
ユニオン型宣言 (PHP8.0)
function add(int|float $a, int|float $b): int|float {return $a + $b;}
Page 18
著者を持つBookクラス
class Book{/** @var Author */private $author public function __construct(Author $author) {$this->author = $author;}}
Page 19
PHP 7.4でプロパティ型宣言
class Book{/** @var Author */private Author $author public function __construct(Author $author) {$this->author = $author;}}
Page 20
コンストラクタプロモーション(PHP8)
class Book{function __construct(private Author $author) {// 何も書かなくてもプロパティに代入される
}}
Page 21
readonlyプロパティ(PHP8.1)
class Book{function __construct(public readonly Author $author) {// 何も書かなくてもプロパティに代入される
}}
Page 23
Bookクラスは著者を持つ
上司「共著を想定できてる？」
class Book{function __construct(private Author $author) {// 何も書かなくてもプロパティに代入される
}}
Page 24
Bookクラスは複数の著者を持つ
arrayにすることで複数であることを表現
class Book{function __construct(private array $authors) {// 何も書かなくてもプロパティに代入される
Authorクラスの情報が減ってる…
}}
Page 25
著者一覧を出力したい
Book::$authors : array
中身が何かわからない！
Authorクラスのメソッドを補完できない
class Book{function printAuthors($fp): void {foreach ($this->authors as $author) {fwrite($fp, $author->getName());}}}
Page 39
連想配列 vs リスト
- PHPでは区別されないが、たとえば値をjson_encode()する時など
連想配列と連続した値を厳密に比較したいことはありうる
- JSONでは歯抜けの値があると [] ではなく {} になってしまう
- array_filter() の結果など
- array_values() で歯抜けのない配列に変換できる
- PHP 8.1で array_is_list() で判定できる
Page 40
array_is_list()について
- PHP 8.1で追加された関数
- 従来は 0 から順にforeachして歯抜けがないかチェックする必要があった
- 静的解析ツール(PHPStan, Psalmなど)ではPHPDocに
array<int,string> の代りに list<string>と書ける
- 最近のPhpStormでは(検査は不十分だが)認識してくれる
- Intelephenseは未実装
Page 42
Bookクラスは複数の著者を持つ
class Book{function __construct(
private array $authors) {// 何も書かなくてもプロパティに代入される
}}
Page 43
PHPDocの帰還
class Book{function __construct(/** @var list<Authors> */private array $authors) {// 何も書かなくてもプロパティに代入される
}}
Page 44
配列はひとつ！じゃない！！
list<int>
array<int,string>
array{id:int, name:string}
- ユーザIDがならんだリスト ［123, 456］
- ユーザIDと名前の対応表 [123 => '野比のび太', 234 => '源静香']
- ユーザを表す構造体 ['id' => 123, 'name' => '野比のび太']
- ユーザを表す構造体がならんだリスト
[['id' => 123, 'name' => '野比のび太'],['id' => 234, 'name' => '源静香'],]
list<array{id:int, name:string}>
