Page 9
値をそのまま返す関数
function id(mixed $value): mixed {return $value;}
Page 10
値をそのまま返す関数
PhpStormとかでメソッド名補完がきく
$date = new DateTimeImmutable();$date->diff(
Page 11
値をそのまま返す関数
PhpStormとかでメソッド名補完がき…かない
$date = new DateTimeImmutable();id($date)->diff(
Page 12
値をそのまま返す関数
なんでも受け取ってなんでも返す
function id(mixed $value): mixed {return $value;}
Page 13
本日の目標はこういうときに怯えず型を付けることです
Page 14
個々の静的解析ツール導入方法などは今回は扱いません
Page 15
ただし最新のPhpStorm 2021.2では静的解析ツールを導入しなくてもすんなり動くと思います
Page 26
PHPの型宣言の特徴
- 実行時に型を確実にチェックされる
- スカラー型(bool, int, Ëoat, string)を宣言したとき、
デフォルトではキャストよりも厳密に値を判定した上で型変換を行う
- それ以外の型は一致しなかった場合にTypeErrorを発生する
- ファイル単位で declare(strict_types=1) と書くと厳密な型モードになる
- 関数の呼び出し側で宣言したモードが反映される
Page 29
型がついていない関数
function add($a, $b) {return $a + $b;}
Page 30
型宣言すればいい？
int + intって本当にintなの？
function add(int $a, int $b):int {return $a + $b;}
Page 31
floatにすればいい？
ひとつの解決策ではあるが… 不必要にËoatを強制するのか
function add(float $a, float $b):float {return $a + $b;}
Page 32
PHPDocの型注釈(アノテーション)
あえて型宣言を省略する
/*** @param int|float $a* @param int|float $b* @return int|float*/function add($a, $b) {return $a + $b;}
Page 33
Union型宣言(PHP8.0)
function add(int|float $a,int|float $b): int|float {return $a + $b;}
Page 34
かくしてPHPはPHPDocなんか書かなくても良い平和な世界になりました
Page 38
Bookクラスは著者を持つ
上司「共著を想定できてる？」
class Book{function __construct(private Author $author) {// ...}}
Page 39
Bookの著者は複数居る
arrayにすることで複数であることを表現
Authorクラスの情報が減ってる…
class Book{function __construct(private array $authors) {// ...}}
Page 40
著者一覧を出力したい
Book::$authors : array
中身が何かわからない！
Authorクラスのメソッドを補完できない
class Book{function printAuthors($fp): void {foreach ($this->authors as $author) {fwrite($fp, $author->getName());}}}
Page 41
Bookの著者は複数居る
arrayにすることで複数であることを表現
Authorクラスの情報が減ってる…
class Book{function __construct(private array $authors) {// ...}}
Page 42
著者は複数居る
PHPDocの復活
class Book{function __construct(/** @var array<Author> */private array $authors) {// ...}
Page 43
著者一覧を出力したい
Book::$authors :array<Author>
Authorクラスのメソッドが補完できる
class Book{function printAuthors($fp): void {foreach ($this->authors as $author) {fwrite($fp, $author->getName());}}}
Page 45
配列はひとつ！じゃない！！
list<int>
array<int,string>
array{id:int, name:string}
- ユーザＩＤがならんだリスト ［123, 456］
- ユーザIDと名前の対応表 [123 => '野比のび太', 234 => '源静香']
- ユーザを表す構造体 ['id' => 123, 'name' => '野比のび太']
- ユーザを表す構造体がならんだリスト
[['id' => 123, 'name' => '野比のび太'],['id' => 234, 'name' => '源静香'],]
list<array{id:int, name:string}>
Page 51
再掲: 値をそのまま返す関数
function id(mixed $value): mixed {return $value;}
Page 52
再掲: 値をそのまま返す関数
/*** @template T* @phpstan-param T $value* @phpstan-return T*/function id(mixed $value): mixed {return $value;}
Page 53
値をそのまま返す関数
PhpStormとかでメソッド名補完がきくようになった
$date = new DateTimeImmutable();id($date)->diff(
Page 55
配列の先頭要素をとる関数
/*** @template T* @param array<T> $XS* @param T $default* @return T*/function first(array $xs, string $default): mixed {return $value;}
function first(array $xs, mixed $default): mixed {foreach ($xs as $x) return $x;return $default;}
Page 56
配列の先頭要素をとる関数
/*** @template T* @param array<T> $xs* @param T $default* @return T*/function first(array $xs, mixed $default): mixed {foreach ($xs as $x) return $x;return $default;
Page 57
配列の先頭要素を受け取る
PhpStormとかでメソッド名補完がきく
// list<DateTimeImmutable> を返す関数
$dates = get_dates();$first = first($dates, new DateTimeImmutable);$first->diff(
