使用FFI::cdef 時C 類型聲明不一致導致的崩潰問題

PHP 的FFI（Foreign Function Interface）功能讓我們能夠直接調用C 語言的函數，極大地拓展了PHP 的應用場景。通過FFI::cdef() ，我們可以將C 語言的函數聲明映射到PHP 代碼中，從而實現底層高效的操作。

然而，使用FFI::cdef()時一個常見的問題是：如果C 類型聲明與實際庫中的類型不一致，程序很可能會崩潰，甚至直接導致PHP 進程掛掉。這種崩潰通常難以調試，也不容易察覺具體原因。

本文將結合示例，說明當你遇到這類崩潰時如何排查和處理。

1. FFI::cdef 簡單回顧

FFI::cdef()用來定義C 語言的類型和函數簽名，比如：

 <?php
$ffi = FFI::cdef("
    int printf(const char *format, ...);
");
$ffi->printf("Hello, %s!\n", "world");
?>

這段代碼將C 的printf函數聲明給PHP，進而可以調用它。

2. 崩潰示例及根因

假設你有這樣一個C 庫，函數簽名如下：

 // C 語言函數聲明
void process_data(const char *data, size_t len);

你在PHP 中用FFI 定義時寫成了：

 <?php
$ffi = FFI::cdef("
    void process_data(const char *data, int len);
");
$ffi->process_data("example", 7);
?>

注意這裡，C 語言的第二個參數是size_t ，它是無符號長整型（通常是64 位或32 位，取決於平台），而PHP 裡寫成了int 。這種類型不匹配可能導致傳遞參數時數據被截斷或錯誤解釋，最終導致程序崩潰。

3. 如何避免和修復

（1）確認C 頭文件類型

在使用FFI::cdef()時，務必參考官方或第三方庫的頭文件，保持類型聲明完全一致。尤其要注意以下常見數據類型：

• size_t對應PHP FFI 中的size_t ，不要誤寫成int或unsigned int 。

• 指針類型必須寫對，比如const char * 。

• 結構體聲明必須完全匹配。

（2）使用size_t類型

PHP FFI 支持size_t ，應直接使用：

 <?php
$ffi = FFI::cdef("
    void process_data(const char *data, size_t len);
");
?>

這可以避免32/64 位平台上的類型不匹配。

（3）使用FFI 自帶的頭文件映射

如果可能，直接加載C 頭文件內容，而不是手寫聲明，可以減少錯誤：

 <?php
$ffi = FFI::cdef(file_get_contents("your_lib.h"), "your_lib.so");
?>

4. 調試建議

• 使用strace或gdb跟踪PHP 進程，定位崩潰點。

• 簡化C 頭文件聲明，逐步測試調用。

• 注意不同平台（Linux/Windows/macOS）上size_t和其他類型大小的差異。

5. 示例修正後的代碼

<?php
$ffi = FFI::cdef("
    void process_data(const char *data, size_t len);
");

$data = "example";
$ffi->process_data($data, strlen($data));
?>

這樣即可避免類型不一致引發的崩潰。

總結：PHP FFI 功能強大，但需確保C 類型聲明完全一致，尤其是整型和指針類型的對應關係。遇到崩潰，優先檢查FFI::cdef()中的類型定義，避免因類型不匹配導致的運行時錯誤。