C에서 람다를 인수로 전달할 때 오버로드된 함수의 모호성을 해결하는 방법은 무엇입니까?

람다에 대한 오버로드된 함수의 모호성 해결

C에서 람다를 인수로 사용하여 함수를 호출할 때 일치하는 오버로드가 여러 개 있으면 모호성이 발생할 수 있습니다. 람다형. 이로 인해 컴파일 오류가 발생할 수 있습니다.

다음 코드를 고려하세요.

#include <functional>

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

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

이 코드에는 foo의 두 가지 오버로드가 있습니다. 하나는 std::function

이 모호성을 해결하려면 단항 더하기 연산자( )를 앞에 사용하면 됩니다. 아래와 같이 람다:

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

더하기 연산자는 람다를 함수 포인터로 강제 변환하여 foo의 두 번째 오버로드가 정확하게 일치하고 모호함 없이 호출되도록 합니다.

이 동작은 람다를 포함한 특정 유형을 함수 포인터로 변환하는 단항 더하기 연산자의 기능에서 비롯됩니다. 이 변환 함수는 다음과 같이 정의됩니다.

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

람다의 클로저 유형에 함수 포인터로의 변환 함수가 있으므로 단항 더하기 연산자는 람다를 원하는 함수 포인터 유형으로 변환하여 정확한 일치를 허용합니다. 과부하 해결.

위 내용은 C에서 람다를 인수로 전달할 때 오버로드된 함수의 모호성을 해결하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!