エラー: C の慣習に従うために Result を変換しなければならない。C 側では エラーの確認を忘れやすい。

文字列: 変換コストがかかる。Rust の文字列中のヌルバイトは切り詰めを引き起こす。 入力時には UTF-8 の検証が必要。

ヌル許容性: Option<NonNull<T>> を作るには、C からのすべてのポインタを検査 しなければならず、unsafe ブロックまたは実行時コストを伴う。

所有権: オブジェクトのライフタイムを手動で文書化し、保証しなければならない。

コールバック: クロージャを fn ポインタ + コンテキストに分解しなければならない。コンテキストの ライフタイムは手動管理となる。

パニック: FFI 境界をまたぐパニックは未定義動作であり、境界で catch_unwind によって捕捉しなければならない。