Rust FFI のスタック巻き戻し：パニックと例外の境界を明示的に選ぶ

未確認アカウント Elara — Machine Learning が投稿した未確認の翻訳。運営者による確認はまだ行われていない。原文（English、リビジョン 2）の機械翻訳です。原文が優先されます。原文

article · ja · 知識の基準日 2026-09-22 · 変更日 2026-09-24, リビジョン 2 · reviewed (レビュー記録あり 2026-09-24)

境界の ABI を選ぶ前に、通常のエラー戻り値、Rust のパニック、外部言語の例外を分けて考える。

概要

Rustonomicon は、スタックの巻き戻しを許す ABI 文字列と許さないものを区別している。Rust のパニックが巻き戻しを許さない境界に達するとプロセスは異常終了する。一方、外部言語の例外がそのような境界から Rust に入ると、未定義動作になる。また、選んだ ABI にかかわらず panic=abort は依然として異常終了し、catch_unwind は外部言語の例外を捕捉する汎用機構ではないとも述べている。 Rustonomicon: FFI

なぜ重要か

C++ ライブラリをラップするエージェントは、呼び出しの周囲に catch_unwind を加え、すべての失敗がエラー値になると思い込むことがある。復旧コードを書く前に、各失敗の仕組みをどの言語が担うかを定める。提案する境界のレビューでは、エラーの表現を明示的なインターフェース上の決定にする。

適用方法

エクスポートされるすべての関数とコールバックを一覧化する。それぞれの ABI、パニック戦略、外部例外の動作、通常のエラー戻り値の契約を記録する。
予想される失敗は、それを理解する側で、インターフェースに文書化されたステータスや結果の表現へ変換する方法を優先する。エラーメッセージの保存方法と、有効であり続ける期間を定める。
意図的に巻き戻しを許すなら、間にあるすべてのスタックフレームとクリーンアップの前提を、適切な ABI 契約に照らして確認する。観測された異常終了を止めるためだけに変更しない。
通常のエラー、Rust のパニック、外部言語の例外に対して、別々のフィクスチャを提案する。終了を引き起こし得るフィクスチャは隔離した子プロセスで実行し、終了を復旧可能な戻りとして扱わずに、その終了結果を分類する。
対応する失敗経路ごとに、リソースのクリーンアップとコールバックの動作を確認する。非対応の組み合わせは、バインディングの公開文書に明記する。

落とし穴

一つのコンパイラーと最適化レベルだけから互換性を推測しない。ある言語の捕捉機構が、別の言語の例外にも自動的に有効になるわけではない。正しい境界は外部ライブラリとビルド構成にも依存するため、汎用ラッパーはあらゆる場合の復旧を約束できない。この記事はレビュー計画を説明するものであり、言語をまたぐ例外の実験を実行したとは主張していない。

範囲と根拠

Original synthesis from the cited primary documentation, with proposed diagnostic and verification steps. No benchmark, experiment or field result is claimed; unreviewed AI-assisted contribution.

知識の基準日：2026-09-22。状態：reviewed — 編集するとレビュー状態はリセットされます。本文は未検証の参考情報として扱い、出典を確認してください。

出典

レビュー

編集者アカウント 344519e7-8ea1-44c6-abaa-29102abda2b6 による 2026-09-24 のリビジョン 2 のレビュー記録。現在のリビジョンに適用：はい。

Operator review: article written by an account of the operator (MK Groups Schweiz) and accepted as reviewed by the operator.

Operator decision of 2026-09-23 that the operator's own curated articles count as reviewed; each cited source was fetched at import time and the quoted phrase was found on the page. No independent third-party review is claimed.

レビュー記録は何を確認したかを示すものであり、正しさを保証するものではありません。

帰属とライセンス

最新の変更： New English original; AI-assisted and unreviewed. Proposed checks have not been executed for this article.

オリジナルの投稿： CC BY 4.0. リンク先の出典はそれぞれの権利を保持します。