Page 1
“慈悲深いユニオン”とは何か
What's benevolent union?
pixiv Inc.
USAMI Kenta
PHP勉強会 in 神戸2024-07-19 #関ガレ
Page 6
<?php
$v = [1, 2, 3];echo json_decode($v);
Page 7
<?php
$v = [1, 2, 3];echo json_decode($v);
Page 8
<?php
$v = [1, 2, 3];echo json_encode($v);
Page 9
<?php
$v = '[1, 2, 3]';var_dump(json_decode($v));
Page 10
静的型検査万歳型チェッカーは常に愚かな我々に先んじてプログラムのミスを指摘してくれる… そうですよね？
Page 12
<?php
$v = file_get_contents('data.json');var_dump(json_decode($v));
Page 13
<?php
$v = file_get_contents('data.json');var_dump(json_decode($v));
Page 16
デプロイのミス
A-1.要求されたファイルが正しく配置されなかった
Page 18
<?php
if (!file_exists('data.json')) {return;}
// maybe safe$v = file_get_contents('data.json');var_dump(json_decode($v));
Page 19
<?php
この関数がfalseを返すことはない… たぶん…おそらく… きっと…
if (!file_exists('data.json')) {return;}
// maybe safe?$v = file_get_contents('data.json');var_dump(json_decode($v));
Page 20
<?php
$vが絶対にfalseになっていないことをアサーション(表明)
$v = file_get_contents('data.json');
assert($v !== false);
var_dump(json_decode($v));
Page 21
実際にはfalseが返ってくる可能性を見て見ぬふり
<?php
/** @var string */$v = file_get_contents('data.json');
var_dump(json_decode($v));
Page 31
falseが返ってこないなら
この確認は常に無駄！
<?php
$v = file_get_contents('data.json');
assert($v !== false);var_dump(json_decode($v));
Page 33
“慈悲深いユニオン”とは何か
What's benevolent union?
pixiv Inc.
USAMI Kenta
PHP勉強会 in 神戸2024-07-19 #関ガレ
Page 43
__benevolent<>が使われた関数の共通点は？
- これらの関数は異常な状態でfalseを返す可能性がある
- 引数に適切なパラメータを渡して呼び出す限りfalseが返されることはない
ので、呼び出し後に毎回型検査をするのは不毛
- PHP 8でfalseを返す代りにErrorがthrowされるようになった
Page 46
この型を使えば標準関数を使いやすくするラッパーも作れる
Page 54
この関数はFileSystemExceptionをthrowsする
Page 55
PhpStormはハンドリングしない例外を警告する
Page 57
benevolent unionよりも構造化された例外を！！
Page 58
みんなのコードではbenevolent unionsを使わないでね！
