From 7f15e0b8277ac8b101b4f71ce57c1c5442927141 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sat, 18 Mar 2023 19:51:06 +0900 Subject: fix(nuldoc): fix whitespaces being trimmed --- .../phperkaigi-2023-unused-token-quiz-3/index.html | 164 ++++++++++----------- 1 file changed, 82 insertions(+), 82 deletions(-) (limited to 'public/posts/2023-01-10/phperkaigi-2023-unused-token-quiz-3') diff --git a/public/posts/2023-01-10/phperkaigi-2023-unused-token-quiz-3/index.html b/public/posts/2023-01-10/phperkaigi-2023-unused-token-quiz-3/index.html index e6dd41d..19b947b 100644 --- a/public/posts/2023-01-10/phperkaigi-2023-unused-token-quiz-3/index.html +++ b/public/posts/2023-01-10/phperkaigi-2023-unused-token-quiz-3/index.html @@ -57,40 +57,40 @@
-

はじめに

+

はじめに

- 2023 年 3 月 23 日から 25 日にかけて開催予定 (記事執筆時点) のPHPerKaigi 2023において、 昨年と同様に、弊社デジタルサーカス株式会社からトークン問題を出題予定である。 + 2023 年 3 月 23 日から 25 日にかけて開催予定 (記事執筆時点) の PHPerKaigi 2023 において、 昨年と同様に、弊社 デジタルサーカス株式会社 からトークン問題を出題予定である。

- +

- 昨年のトークン問題の記事はこちら:PHPerKaigi 2022 トークン問題の解説 + 昨年のトークン問題の記事はこちら: PHPerKaigi 2022 トークン問題の解説

- +

- すでに 2023 年用の問題は作成済みであるが、その制作過程の中でいくつかボツ問ができた。 せっかくなので、PHPerKaigi 開催を待つ間に紹介しようと思う。 + すでに 2023 年用の問題は作成済みであるが、その制作過程の中でいくつかボツ問ができた。 せっかくなので、PHPerKaigi 開催を待つ間に紹介しようと思う。

- +

- 10 月から 2 月まで、毎月 1 記事ずつ公開していく予定 (忘れていなければ → 忘れていたので 12 月公開予定だった記事を今書いている)。 + 10 月から 2 月まで、毎月 1 記事ずつ公開していく予定 (忘れていなければ → 忘れていたので 12 月公開予定だった記事を今書いている)。

- +
- +
-

問題

+

問題

- 注意: これはボツ問なので、得られたトークンを PHPerKaigi で入力してもポイントにはならない。 + 注意: これはボツ問なので、得られたトークンを PHPerKaigi で入力してもポイントにはならない。

- + 
<?php
 try {
   f(g() / __LINE__);
@@ -203,45 +203,45 @@
 function g() {
   return __LINE__;
 }
- +

- "Catchline" と名付けた作品。実行するとトークン#base64_decode('SGVsbG8sIFdvcmxkIQ==')が得られる。 + "Catchline" と名付けた作品。実行するとトークン #base64_decode('SGVsbG8sIFdvcmxkIQ==') が得られる。

- +

- トークンは PHP の式になっていて、評価するとHello, World!という文字列になる。PHPer チャレンジのトークンには空白を含められないという制約があるが、こういった形でトークンにすれば回避できる。 + トークンは PHP の式になっていて、評価すると Hello, World! という文字列になる。PHPer チャレンジのトークンには空白を含められないという制約があるが、こういった形でトークンにすれば回避できる。

- +
-

解説

+

解説

-

概要

+

概要

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

- +
-

例外オブジェクトの連鎖

+

例外オブジェクトの連鎖

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

- +
  • エラーを処理している途中に起こった別のエラーに、元のエラー情報を含める
    • - +
  • 内部エラーをラップして作られたエラーに、内部エラーの情報を含める
- +

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

- + 
<?php
 
 try {
@@ -256,18 +256,18 @@
   echo $e->getPrevious()->getMessage() . PHP_EOL;
   // => Error 1
 }
- +

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

- +
-

出力部の解析

+

出力部の解析

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

- + 
<?php
 try {
   f(g() / __LINE__);
@@ -277,32 +277,32 @@
   }
   echo "\n";
 }
- +

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

- +

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

- + 
1, 20 => 0 / 0,
- +

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

- +

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

- +
-

データ構成部の解析

+

データ構成部の解析

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

- + 
function f(int $i) {
   if ($i < 0) f();
   try {
@@ -323,81 +323,81 @@
     f($i - 1);
   }
 }
- +

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

- + 
<?php
 try {
   f(g() / __LINE__); // 3 行目
- + 
function g() {
   return __LINE__; // 111 行目
 }
- +

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

- +

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

- +
  1. - f()の引数が足りないことによる呼び出し失敗 + f() の引数が足りないことによる呼び出し失敗
    2. - +
  2. - f(0)の呼び出しで発生したゼロ除算 + f(0) の呼び出しで発生したゼロ除算
    3. - +
  3. - f(1)の呼び出しで発生したゼロ除算 + f(1) の呼び出しで発生したゼロ除算
    4. - +
  4. …
    5. - +
  5. - f(37)の呼び出しで発生したゼロ除算 + f(37) の呼び出しで発生したゼロ除算
- +

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

- +

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

- +
-

おわりに

+

おわりに

- 「行数」というのはトークン文字列をデコードする対象として優れている。 + 「行数」というのはトークン文字列をデコードする対象として優れている。

- + - +

- しかし、こういった「変な」プログラムを何度も読んだり書いたりしていると、__LINE__を使うのはあまりにありきたりで退屈になる。では、他に行数を取得する手段はないか。こうしてThrowableを思いつき、続けてエラーオブジェクトには$previousがあることを思い出した。 + しかし、こういった「変な」プログラムを何度も読んだり書いたりしていると、 __LINE__ を使うのはあまりにありきたりで退屈になる。では、他に行数を取得する手段はないか。こうして Throwable を思いつき、続けてエラーオブジェクトには $previous があることを思い出した。

- +

- 今回エラーを投げるのにゼロ除算を用いたのは、それがエラーを投げる最も短いコードだと考えたからである。もし 3バイト未満でThrowableなオブジェクトを投げる手段をご存じのかたがいらっしゃれば、ぜひご教示いただきたい。……と締める予定だったのだが、0/0のところを存在しない定数にすれば、簡単に 1バイトを達成できた。ゼロ除算している箇所はちょうど 26 箇所あるので、アルファベットにでもしておけば意味ありげで良かったかもしれない。 + 今回エラーを投げるのにゼロ除算を用いたのは、それがエラーを投げる最も短いコードだと考えたからである。もし 3バイト未満で Throwable なオブジェクトを投げる手段をご存じのかたがいらっしゃれば、ぜひご教示いただきたい。……と締める予定だったのだが、0/0 のところを存在しない定数にすれば、簡単に 1バイトを達成できた。ゼロ除算している箇所はちょうど 26 箇所あるので、アルファベットにでもしておけば意味ありげで良かったかもしれない。

-- cgit v1.2.3-70-g09d2