Page 1
ジェネリクスを
自分のものにする
Getting Started with Generic Programming
pixiv Inc.
USAMI Kenta
2022-01-25
Qiita Night ～PHP～
Page 9
ジェネリックプログラミング - Wikipedia(2022-05-02T17:30:09の版)より引用
Page 17
型がついていない関数(PHP5)
型宣言なし ＝ mixed
function add($a, $b) {
return $a + $b;
}
Page 18
スカラー型宣言(PHP7)
int + intって
本当にintなの？
function add(int $a, int $b): int {
return $a + $b;
}
Page 19
広い値をとるにはfloatが必要
ひとつの解決策では
あるが… 不必要に(cid:190)oat
を強制するのか
function add(float $a, float $b): float {
return $a + $b;
}
Page 20
PHPDocの型注釈
(アノテーション)
/**
* @param int|float $a
あえて型宣言を省略する
* @param int|float $b
* @return int|float
*/
function add($a, $b) {
return $a + $b;
}
Page 21
ユニオン型宣言 (PHP8.0)
function add(int|float $a, int|float $b): int|float {
return $a + $b;
}
Page 26
配列の先頭要素を返す関数
function first(array $a, mixed $default): mixed {
return $a[0] ?? $default;
}
$vの型は何？
$v = first([0, 1, 2], 'default');
Page 27
int専用関数をつくろう
function first_int(array $a): ?int {
return $a[0] ?? null;
}
$v = first_int([0, 1, 2]) ?? 'default';
Page 28
string専用関数をつくろう
function first_string(array $a): ?string
return $a[0] ?? null;
}
$v = first_string(['a', 'b', 'c']) ?? 'default';
Page 29
DateTime専用関数をつくろう
function first_DateTime(array $a): ?DateTime
return $a[0] ?? null;
}
$v = first_DataTime([]) ?? 'default';
Page 31
ユニオン型は問題解決しない
function first(array $a): int|string|DateTime|null {
return $a[0] ?? $default;
なんでDateTimeとか
}
出てくるの？
$v = first([0, 1, 2], 'default');
Page 32
?DateTimeとか
int|falseくらいなら
問題ない
Page 40
@template は型変数
/**
* @template TValue
* @template TDefault
* @param array<TValue> $a * @param TDefault $default * @return TValue|TDefault
*/
function first(array $a, mixed $default) {
Page 46
いまは内部型表現の
制約でシンプルな 型しか付かないが
Page 61
試行錯誤したことが
ない技術が難しいのは
あたりまえ
Page 62
PHPStanは
Webでこねこね
試行錯誤がやりやすい
Page 66
ジェネリクスの知識は
なくても
PHPStanは使える
