PHPの成功と失敗

PHPの成功と失敗

Let's talk successes and failures in PHP applications

pixiv Inc.

USAMI Kenta

2022-06-23【非公式】PHPカンファレンス福岡・前日Meetup

お前誰よ

• うさみけんた (@tadsan) / Zonu.EXE / にゃんだーすわん
• ピクシブ株式会社 pixiv事業本部 エンジニア
• 最近はピクシブ百科事典(dic.pixiv.net)を開発しています
• Emacs Lisper, PHPer
• Emacs PHP Modeを開発しています (2017年-)
• プログラミング言語にちょっとこだわりのある素人

さて

😎

サクセスしたいですか？

???「PHPをご存じか？」

世界で最も成功したプログラミング言語

多くの「失敗」を抱えたプログラミング言語

……という話はここで終了です

本題

今回のお題

あなたのコードは「絶対に」正常に動きますか？

成功と失敗を考える

検索して1件もレコードがなれば失敗か？

場合による！

プログラムが期待通りに動かないことを失敗と捉える

もうちょっと抽象的に

あなたのプログラムはいつ動かない？

• A. 基本的には絶対動く (コンピュータやOSが正常動作する限り)
• B. コンピュータが意図してない状態に陥ってない限りは動く
• C. 通信先のDB/APIが動いてる限りは動く
• D. ちゃんと正規の手順でセットアップしてくれる限りは動く

(基本的に)絶対動くプログラム

• echo "Hello"
• var_dump(1 + 1)
• count([1, 2, 3])

PCの環境が整っている限りは動く

• file_get_contents($path) // ファイルがあれば動く
• file_put_contents($path, $body) // ディスクに書き込めれば
• ネットワークが…

通信先の問題がなければ動く

• 接続先のデータベースが過負荷状態で応答しない
• 接続先のAPIが何らかの問題で応答しない
• 接続先との間のネットワークが詰まっている
• これらの問題はこちらでは対処できない

想定通りの前提が揃っていれば

• 通信のためにAPIキーを環境変数でセットしておく必要がある
• メソッド呼び出し前に正規のオプションをセットしていれば動く
• php.ini におかしな設定が入っていなければ動く
• 存在しないextensionを読み込もうとしてないかとか

想定していない事態にどう対処するか

file_get_contents($path)

PHP標準関数はどうするか

• 失敗がありうる関数は、型としては |false のような型がつけられている
• 例: file_get_contents() などを含む
• ただし、内部的にはエラーを発生させられる
• そして発生したエラーはエラーハンドラーで握り潰される可能性がある
• falseが返ってくるかどうかは環境による(!)

エラーとは

• throwできる例外とは別にエラーというものがある
• PHP7で追加されたErrorとは別物(!)
• 発生したエラーはset_error_handler()でカスタマイズできる
• エラーのままでは扱いにくいのでErrorExceptionに変換するといい

例外とは

• throwできるオブジェクト
• 例外が発生する可能性がある処理をcatchで括ると補足できる
• どのcatchにも捕捉されなかった例外はset_exception_handler()で

カスタマイズできる

• Webサイトの共通エラー画面を表示するのに使える

@throws

• ある関数メソッドを呼び出すと例外が発生することを使用者に示す
• そのメソッドを呼び出して発生するおそれのある例外を捕捉して対処するこ

とを例外ハンドリンクという

• Javaのthrowsと検査例外(チェック例外)を模倣したもの
• 静的解析ツールやPhpStormは@throwsがあるメソッド呼び出しに対し

て、try-catchがなければハンドリングすることを要求する

ユニオン型による失敗の表現

• function searchBooks($name): ?Book
• 検索がヒットしなければnullを返す
• ユニオン型だけで失敗を表現すると、どうすればいいのか情報不足になりが

ち

ユニオン型+throwsによる失敗表現

• /**

* @throws SearchEngineErrorException*/function searchBook($name): ?Book

• 検索がヒットしなければnullを返す
• 検索エンジンに異常事態があれば例外を示す

ユニオン型+throwsによる失敗表現

• /**

* @throws SearchEngineErrorException*/function searchBook($name): ?Book

• 検索がヒットしなければnullを返す
• 検索エンジンに異常事態があれば例外を示す

リスト+throwsによる失敗表現

• /**

* @throws SearchEngineErrorException*/function searchBook($name): array

• 検索がヒットしなければnullを返す
• 検索エンジンに異常事態があれば例外を示す

ユニオン型+throwsによる失敗表現

• /**

* @throws SearchEngineErrorException*/function searchBook($name): ?Book

• 検索がヒットしなければnullを返す
• 検索エンジンに異常事態があれば例外を示す

例外を含むユニオン型

• function searchBooks($name): Book|NotFound|DBError
• 検索がヒットすればnullを返す
• 検索がヒットしなければNotFoundを返す
• DBが異常ならDBErrorを返す

その他