PHPerKaigi 2023: ボツになったトークン問題 その 3

概要

例外が発生した行数にデータをエンコードし、それをcatchで捕まえて表示している。

例外オブジェクトの連鎖

ExceptionやErrorには$previousというプロパティがあり、コンストラクタの第3引数から渡すことができる。主に 2つの用法がある:

• エラーを処理している途中に起こった別のエラーに、元のエラー情報を含める

• 内部エラーをラップして作られたエラーに、内部エラーの情報を含める

このうち 1つ目のケースは、finally節の中でエラーを投げると PHP 処理系が勝手に$previousを設定してくれる。

<?php

      try {
      try {
      throw new Exception("Error 1");
      } finally {
      throw new Exception("Error 2");
      }
      } catch (Exception $e) {
      echo $e->getMessage() . PHP_EOL;
      // => Error 2
      echo $e->getPrevious()->getMessage() . PHP_EOL;
      // => Error 1
        }

この知識を元に、トークンの出力部を解析してみる。

出力部の解析

出力部をコメントや改行を追加して再掲する:

<?php
      try {
      f(g() / __LINE__);
      } catch (Throwable $e) {
      while ($e = $e->getPrevious()) {
      printf('%c', $e->getLine() + 23);
      }
      echo "\n";
        }

出力をおこなうcatch節を見てみると、Throwable::getPrevious()を呼び出してエラーチェインを辿り、Throwable::getLine()でエラーが発生した行数を取得している。その行数に23なるマジックナンバーを足し、フォーマット指定子%cで出力している。

フォーマット指定子%cは、整数を ASCII コードと見做して印字する。トークン#base64_decode('SGVsbG8sIFdvcmxkIQ==')のbであれば、ASCII コード98なので、75 行目で発生したエラー、

      1, 20 => 0 / 0,

によって表現されている。エラーを起こす方法はいろいろと考えられるが、今回はゼロ除算を使った。

それでは、エラーチェインを作る箇所、関数f()を見ていく。

データ構成部の解析

f()の定義を再掲する (エラーオブジェクトの行数を利用しているので、一部分だけ抜き出すと値が変わることに注意):

function f(int $i) {
      if ($i < 0) f();
      try {
      match ($i) {
      0 => 0 / 0, // 12 行目



      15, 36 => 0 / 0,
      14 => 0 / 0,
      37 => 0 / 0,

      // (略)

      30 => 0 / 0, // 97 行目
      };
      } finally {
      f($i - 1);
      }
        }

前述のように、finally節でエラーを投げると PHP 処理系が$previousを設定する。ここでは、エラーを繋げるためにf()を再帰呼び出ししている。最初にf()を呼び出している箇所を確認すると、

<?php
      try {
        f(g() / __LINE__); // 3 行目

function g() {
      return __LINE__; // 111 行目
        }

f()には111 / 3で37が渡されることがわかる。そこから 1 ずつ減らして再帰呼び出ししていき、0 より小さくなったらf()を引数なしで呼び出す。引数の数が足りないと呼び出しに失敗するので、再帰はここで止まる。

エラーチェインは、最後に発生したエラーを先頭とした単方向連結リストになっているので、順に

1. f()の引数が足りないことによる呼び出し失敗

2. f(0)の呼び出しで発生したゼロ除算

3. f(1)の呼び出しで発生したゼロ除算

4. …​

5. f(37)の呼び出しで発生したゼロ除算

となっている。出力の際はcatchしたエラーのgetPrevious()から処理を始めるので、1 番目のf()によるエラーは無視され、f(0)によるエラー、f(1)によるエラー、f(2)によるエラー、と出力が進む。

f()に0を渡したときは 12 行目にあるmatchの0でゼロ除算が起こるので、行数が 12 となったエラーが投げられる。出力部ではこれに 23 を足した数を ASCII コードとして表示しているのだった。12 + 23は35、ASCII コードでは#である。これがトークンの 1文字目にあたる。