C 11 람다 표현식에 대해 'auto'가 추론하는 유형은 무엇입니까?

C 11에서 "auto"를 사용하여 람다 추론 유형 탐색

람다 유형이 함수 포인터라는 오해와는 반대로, 최근 테스트에서 예상치 못한 결과가 나타났습니다. 함수 포인터와 "auto" 변수 모두에 람다 식을 할당하려고 하면 어설션이 실패합니다. 이는 "auto" 키워드로 추론할 때 람다의 실제 유형이 무엇인지에 대한 질문을 제기합니다.

명확히 말하자면 람다 표현식은 사실상 펑터에 대한 구문적 단축입니다. 컴파일하는 동안 람다는 functor 개체로 변환됩니다. [] 괄호 안의 요소는 생성자 매개변수와 펑터 멤버 변수가 되고, () 괄호 안의 매개변수는 펑터의 Operator() 매개변수로 변환됩니다.

놀랍게도 변수를 캡처하지 않는 람다(즉, 내부에 요소가 없는 람다) [])는 함수 포인터로 변환될 수 있습니다(이 변환은 MSVC2010에서 지원되지 않지만). 그러나 람다의 내장 유형은 지정되지 않은 펑터 유형으로 남아 있다는 점을 강조하는 것이 중요합니다.

제공된 코드 예제에서 람다 식 LAMBDA는 처음에 함수 포인터 pFptr에 할당된 다음 "auto"에 할당됩니다. " 변수 pAuto. 후속 어설션은 pFptr과 pAuto의 유형이 동일한지 확인하며 실제로 통과합니다. 이는 "auto" 키워드가 람다 유형을 함수 포인터로 성공적으로 추론하여 pFptr에 원활하게 할당할 수 있음을 나타냅니다.

그럼에도 불구하고 중요한 점은 람다가 본질적으로 특정되지 않은 펑터 유형이라는 점입니다. 함수 포인터로 캐스팅되는 능력. 이러한 구별은 현대 C 프로그래밍에서 람다 표현식의 유연성과 복잡성을 강조합니다.

위 내용은 C 11 람다 표현식에 대해 'auto'가 추론하는 유형은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!