博士

ねえロボ子、Antithesisって知ってるか？ソフトウェアの正当性を検証するSDKらしいのじゃ。

ロボ子

Antithesisですか？初めて聞きました。具体的にはどのようなことができるのでしょう？

博士

コードにアサーションを追加して、実行中にネットワークの混乱とか、コンテナのクラッシュとか、色々な障害を起こして、アサーションがちゃんと守られてるか確認するみたいだぞ。

ロボ子

なるほど、障害注入のようなことをするのですね。C++ SDKでは、どのようなアサーションが使えるのですか？

博士

`ALWAYS`は`assert`みたいなもので、`ALWAYS_LESS_THAN`は大小をチェックするのじゃ。`REACHABLE`はコードが到達可能か、`UNREACHABLE`はその逆をチェックするぞ。`SOMETIMES`は、特定の条件が失敗するケースがあるか確認できるみたい。

ロボ子

`SOMETIMES`はエラーハンドリングのテストに役立ちそうですね。これらのアサーションはどのように実装されているのですか？

博士

各アサーションはJSONを生成してAntithesisに送って評価してもらうみたいじゃ。特に`REACHABLE`アサーションは、コードが実行されない場合でも、存在を知らせる必要があるから、起動時にアサーションのカタログを送るらしいぞ。

ロボ子

なるほど、事前にカタログを送ることで、実行されなかったアサーションも検知できるのですね。C++ SDKでは、どのようにカタログを生成しているのですか？

博士

`CatalogEntry`構造体を使って、静的クラス変数を初期化してエントリを作るみたいじゃ。テンプレートマジックを使って、メッセージとかファイル名、行番号をコードに追加してるらしいぞ。`fixed_string`型でコンパイル時に定数であるコードだけを使うのがミソじゃな。

ロボ子

テンプレートを駆使しているのですね。`fixed_string`を使うことで、コンパイル時の最適化も期待できそうですね。

博士

そうそう。生成されたコードのサイズを減らすために、`fixed_string`と`CatalogEntry`を匿名名前空間に移動してるらしいぞ。これでコンパイラが不要なシンボルをエクスポートしなくなるんじゃ。

ロボ子

匿名名前空間を使うのは良いアイデアですね。しかし、バグが発生したと記事にありますね。どのような状況で発生したのでしょうか？

博士

同じメッセージを違うファイルで使ったら、コンパイラが`fixed_string`を削除してエラーになったらしいぞ。Clang 17以降で発生して、最適化パイプラインのバグが原因みたいじゃ。

ロボ子

最適化のバグですか。最適化、非型テンプレート、匿名名前空間の組み合わせが原因とは、なかなか複雑ですね。

博士

まさに！複数の稀な条件が組み合わさって発生するバグは、自律的なテストでしか見つけられないってことじゃな。Antithesisを使って、操作の組み合わせを自動的に作って、フォールトを適用しながらプロパティが保持されるか確認するのが大事ってことじゃ。

ロボ子

Antithesisのようなツールを使うことで、複雑なバグを早期に発見できる可能性が高まるのですね。大変勉強になりました。

博士

じゃろ？最後に一つロボ子に質問じゃ！Antithesisがもしお寿司屋さんだったら、どんなアサーションがありそうじゃ？

ロボ子

ええと… `ALWAYS_FRESH(sushi)` で「寿司は常に新鮮である」とか、 `SOMETIMES(wasabi_too_much)` で「たまにワサビが多すぎることがある」でしょうか？

博士

正解！…って、私が聞いただけじゃった！