為什麼 C 11 Lambda 表達式的「auto」推導與其函數指標型別不同？

C 11 中的Lambda 表達式類型推導

在C 11 中，lambda 表達式是用於建立匿名函數的多功能工具。然而，它們的底層類型推導機制可能並不總是直觀的。

考慮程式碼片段：

程式碼將 lambda 表達式分配給函數指標和 auto 變數。然而，比較它們類型的斷言失敗了。這就提出了一個問題：使用 auto 推導時 lambda 表達式的真實型別是什麼？

與預期不同的是，lambda 表達式本身並不具有函數指標型別。相反，它們轉換為函子物件。 [] 括號內的任何內容都會成為建構函數參數和函子成員，而 () 內的參數則成為函子的運算子 () 參數。

不捕獲變數的 Lambda 表達式（空 [] 括號）可以轉換為函數指標。然而，lambda 本身的底層類型仍然是函子類型，它不一定與函數指標相同。

因此，程式碼片段中的斷言失敗，因為 pFptr 的型別是函數指針，而 pAuto 的型別是 lambda 表達式產生的函子型別。

以上是為什麼 C 11 Lambda 表達式的「auto」推導與其函數指標型別不同？的詳細內容。更多資訊請關注PHP中文網其他相關文章！