Page 1
PHPStan拡張
クイックマスター
Fast-learning PHPStan extension
pixiv Inc.
USAMI Kenta
2023-08-04 Lint Night #2
#dena_lint_night
Page 11
“We have things like protected properties. We have abstract methods. We have all this stuff that your computer science teacher told
you you should be using.
I don't care about this crap at all.”
–Rasmus Lerdorf
https://en.wikiquote.org/wiki/Rasmus_Lerdorf
Page 12
には プロパティも
“PHP protected
抽象メソッドもありますよ。計算機科学の
教授が「使え」と言ってるものは全部。
そんなことはクソ興味ないですけど
”
–Rasmus Lerdorf
Page 13
脆弱性 ゆるふわ 弱い型 動的
クソザコ 型なし 意味不明 弱い 自動変換 貧弱 Perlっぽい 適当
PHPについてのパブリックイメージ
Page 14
脆弱性 ゆるふわ 弱い型 動的
クソザコ 型なし 意味不明 弱い 自動変換 貧弱 Perlっぽい 適当
PHPについての認識は概ね間違い
Page 16
型がついていない関数(PHP5)
function add($a, $b) {
return $a + $b;
}
Page 17
スカラー型宣言(PHP7)
int + intって
本当にintなの？
function add(int $a, int $b): int {
return $a + $b;
}
Page 18
広い値をとるにはfloatが必要
ひとつの解決策では
あるが… 不必要に(cid:152)oat
を強制するのか
function add(float $a, float $b): float {
return $a + $b;
}
Page 19
PHPDocの型注釈
(アノテーション)
/**
* @param int|float $a
あえて型宣言を省略する
* @param int|float $b
* @return int|float
*/
function add($a, $b) {
return $a + $b;
}
Page 20
ユニオン型宣言 (PHP8.0)
function add(int|float $a, int|float $b): int|float {
return $a + $b;
}
Page 22
ユニオン型宣言 (PHP8.0)
intと(cid:152)oat以外は 絶対にありえない
function add(int|float $a, int|float $b): int|float {
return $a + $b;
}
Page 23
PHPDocの型注釈
(アノテーション)
/**
ランタイムにとっては
* @param int|float $a
ただのコメント
(口約束)
* @param int|float $b
* @return int|float
*/
function add($a, $b) {
return $a + $b;
}
Page 25
いまやPHPは
静的型付きと言っても
過言ではない
(本当か…？)
Page 29
Bookクラスは複数の著者を持つ
arrayにすることで
class Book
複数であることを表現
{
function __construct(
private array $authors
) {
何も書かなくてもプロパティに代入される
//
Authorクラスの
}
情報が減ってる…
}
Page 31
PHPDocの帰還
配列の形状はコメントで書く
class Book
{
function __construct(
/** @var list<Authors> */
private array $authors
) {
何も書かなくてもプロパティに代入される
//
}
}
Page 44
ReverseRouteReturnTypeExtension
メソッド呼び出しのクラス名
クラスに属する
メソッド全部が対象
Page 45
ReverseRouteReturnTypeExtension
新しい型
string&non-emptyを返す
Page 46
ParamHelperTypeSpecifyingExtension
