C 11 中的Lambda 表達式類型推導
在C 11 中,lambda 表達式是用於建立匿名函數的多功能工具。然而,它們的底層類型推導機制可能並不總是直觀的。
考慮程式碼片段:
程式碼將 lambda 表達式分配給函數指標和 auto 變數。然而,比較它們類型的斷言失敗了。這就提出了一個問題:使用 auto 推導時 lambda 表達式的真實型別是什麼?
與預期不同的是,lambda 表達式本身並不具有函數指標型別。相反,它們轉換為函子物件。 [] 括號內的任何內容都會成為建構函數參數和函子成員,而 () 內的參數則成為函子的運算子 () 參數。
不捕獲變數的 Lambda 表達式(空 [] 括號)可以轉換為函數指標。然而,lambda 本身的底層類型仍然是函子類型,它不一定與函數指標相同。
因此,程式碼片段中的斷言失敗,因為 pFptr 的型別是函數指針,而 pAuto 的型別是 lambda 表達式產生的函子型別。
以上是為什麼 C 11 Lambda 表達式的「auto」推導與其函數指標型別不同?的詳細內容。更多資訊請關注PHP中文網其他相關文章!