C 11 람다 표현식의 실제 유형은 무엇입니까?

C 11의 "auto"를 사용한 람다 유형 추론

C 11의 람다 표현식 유형은 논쟁의 대상입니다. 함수 포인터라고 믿습니다. 그러나 다음 데모를 고려하십시오.

#define LAMBDA [] (int i) -> long { return 0; }
int main()
{
    long (*pFptr)(int) = LAMBDA;  // ok
    auto pAuto = LAMBDA;  // ok
    assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

이 코드는 람다가 함수 포인터 유형을 갖는다는 가정과 모순됩니다. 그렇다면 해당 유형의 본질은 무엇입니까?

람다의 진정한 정체성 공개

일반적인 믿음과 달리 람다 표현식에는 지정되지 않은 유형이 있습니다. 이는 단순히 펑터의 구문적 편의를 위한 것입니다. 컴파일하는 동안 람다는 펑터로 변환됩니다.

• [] 대괄호 안의 요소는 생성자 매개변수 및 펑터 객체 멤버가 됩니다.
• ()로 묶인 매개변수는 functor의 연산자().

변수 캡처가 없는 람다(빈 [] 괄호)는 기술적으로는 함수 포인터로 변환됩니다. 그러나 이 변환은 모든 컴파일러(예: MSVC2010)에서 지원되지 않습니다.

중요한 차이점

변수를 캡처하지 않는 람다는 함수 포인터 역할을 할 수 있지만, 기본 유형은 지정되지 않은 상태로 유지됩니다. 함수 포인터가 아니라 지정되지 않은 펑터 유형입니다.

위 내용은 C 11 람다 표현식의 실제 유형은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!