在 C 中將 Lambda 作為參數傳遞時如何解決重載函數中的歧義？

解決 Lambda 重載函數中的歧義

在 C 中，當使用 lambda 作為參數呼叫函數時，如果有多個重載與lambda 的類型。這可能會導致編譯錯誤。

考慮以下程式碼：

#include <functional>

void foo(std::function<void()> f) { f(); }
void foo(void (*f)()) { f(); }

int main()
{
    foo([](){}); // ambiguous
}

在此程式碼中，有兩個 foo 重載：一個採用 std::function ;一個接受函數指標。當使用 lambda ([](){}) 呼叫 foo 時，編譯器無法確定要呼叫哪個重載，導致錯誤。

要解決此歧義，可以在lambda，如下所示：

foo(+[](){}); // not ambiguous (calls the function pointer overload)

加號運算子強制將lambda 轉換為函數指針，使得foo 的第二個重載能夠精確匹配並無需調用歧義。

此行為源自於一元加運算子將某些型別（包括 lambda）轉換為函數指標的能力。此轉換函數定義如下：

The operand of the unary + operator shall have arithmetic, unscoped enumeration, or pointer type, and the result is the value of the argument.

由於lambda 的閉包類型具有到函數指標的轉換函數，因此一元加運算子將lambda 轉換為所需的函數指標類型，從而允許精確匹配重載解析。

以上是在 C 中將 Lambda 作為參數傳遞時如何解決重載函數中的歧義？的詳細內容。更多資訊請關注PHP中文網其他相關文章！