'[]{}'가 C에서 람다 표현식 컴파일을 활성화하는 이유는 무엇입니까?

람다 표현식: ' []{}'를 사용하여 ' '의 미스터리 풀기: ' []{}'

이전 스택 오버플로 질문에서 단순해 보이는 람다 표현식이 컴파일에 실패했습니다. 그러나 람다 앞에 ' ' 연산자를 추가함으로써 코드는 기적적으로 컴파일 능력을 얻었습니다. 이 흥미로운 관찰은 '[]{}'가 작동하는 이유에 대한 질문을 제기합니다.

핵심은 ' ' 연산자의 오버로드된 동작에 있습니다. 비캡처 람다에 의해 생성된 클로저 개체에 적용될 때 클로저를 일반 함수 포인터로 변환하는 내장 변환 함수를 호출합니다.

' ' 연산자에 후보가 있으므로 이 변환은 매우 중요합니다. 모든 유형을 포인터로 변환하는 오버로드입니다. 따라서 클로저 객체에 ''를 적용하면 람다에 대한 함수 포인터가 됩니다.

첫 번째 람다가 선언된 후 'test' 유형은 void(*)()가 됩니다. 반환 유형이 void이고 매개변수가 없습니다. 이를 통해 클로저 유형이 다르더라도 두 번째 람다를 'test'에 할당할 수 있습니다.

따라서 코드의 기능은 다음과 같이 설명할 수 있습니다.

1. 첫 번째 람다는 다음과 같습니다. '' 연산자를 사용하여 함수 포인터로 변환합니다.
2. 'test' 유형이 함수 포인터가 됩니다. void(*)().
3. 두 번째 람다도 함수 포인터로 변환되어 'test'와의 호환성을 보장합니다.
4. 두 함수 포인터가 모두 호환되므로 'test'에 대한 할당이 성공합니다. .

이 동작은 C 표준을 완전히 준수하므로 '[]{}'는 람다에 유효하고 놀랍도록 유용한 트릭이 됩니다. 표현.

위 내용은 '[]{}'가 C에서 람다 표현식 컴파일을 활성화하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!