재귀 Lambda 함수가 'auto'에서는 실패하지만 완전히 지정된 유형에서는 성공하는 이유는 무엇입니까?

Auto를 사용한 재귀 람다 함수

auto 키워드를 사용하여 재귀 람다 함수를 정의하려고 하면 컴파일 오류가 발생할 수 있습니다. 예를 들어 다음 람다 함수를 고려해 보세요.

auto sum = [term, next, &sum](int a, int b)mutable ->int {
  if(a>b)
    return 0;
  else
    return term(a) + sum(next(a),b);
};

이 코드는 다음 오류를 발생시킵니다.

error: ‘`((<lambda(int, int)>*)this)-><lambda(int, int)>::sum`’ cannot be used as a function

문제 이해

auto 키워드가 초기화에서 람다 함수의 유형을 유추하기 때문에 문제가 발생합니다. 그러나 재귀 람다 함수의 경우 람다 클로저는 캡처하는 유형을 알아야 하며 이는 닭과 달걀의 문제입니다.

해결책: 완전히 지정된 유형 사용

이 문제를 해결하려면 std::function 개체를 사용하여 람다 함수의 유형을 명시적으로 지정할 수 있습니다. 예:

std::function<int(int,int)> sum = [term,next,&amp;sum](int a, int b)->int {
   if(a>b)
     return 0;
   else
     return term(a) + sum(next(a),b);
};

이 경우 람다 함수의 유형이 완전히 지정되므로 람다 클로저가 캡처하는 유형에 대해 완전히 알 수 있습니다.

자동 완전 지정 유형

재귀 람다 함수는 완전 지정 유형과 호환되지만 다음을 사용한 유형 추론과는 호환되지 않습니다. 자동. 이는 auto에서는 초기화에 알려진 유형이 필요하지만 완전히 지정된 유형에는 이러한 지식이 필요하지 않기 때문입니다.

재귀 람다 함수의 유형을 명시적으로 지정하면 컴파일 오류를 방지하고 다음을 보장할 수 있습니다. 람다 클로저는 캡처하는 유형에 대해 올바르게 정보를 받습니다.

위 내용은 재귀 Lambda 함수가 'auto'에서는 실패하지만 완전히 지정된 유형에서는 성공하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!