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文字目にあたる。