`filter()`의 Lambda 함수에서 C 11 템플릿 유형 추론이 실패하는 이유는 무엇입니까?

람다 함수를 사용한 C 11 유형 추론 제한

C 11은 템플릿 유형 추론을 허용하지만 람다 함수 또는 std의 경우에는 제한이 있습니다. :기능이 관련되어 있습니다. 템플릿 매개변수와 함께 함수를 사용할 때 컴파일러는 종종 인수 유형에서 템플릿 유형을 추론할 수 있습니다. 그러나 인수에서 람다를 직접 사용하는 경우 이 추론은 실패합니다.

문제 설명

다음 코드는 filter() 함수에 대한 템플릿 유형을 추론하지 못합니다.

template<class A>
set<A> filter(const set<A>& input, function<bool(A)> compare) {
    // ...
}

람다 함수를 비교 인수로 사용하여 이 함수를 직접 호출하면 컴파일러는 오류:

filter(mySet, [](int i) { return i % 2 == 0; }); // Throws an error

오류 이유

이 오류의 근본 원인은 람다 함수의 특성에 있습니다. 함수 객체처럼 동작하지만 실제 함수는 아닙니다. Lambda 함수는 암시적으로 std::function 객체로 변환되지 않으므로 컴파일러가 유형을 추론할 수 있습니다.

해결 방법

추론 문제를 해결하기 위한 몇 가지 해결 방법이 있습니다. :

1. 명시적 템플릿 인수:

템플릿 인수를 명시적으로 지정합니다:

filter<int>(mySet, [](int i) { return i % 2 == 0; });

2. std::function 객체 생성:

람다 함수를 std::function 객체로 변환하고 이를 매개변수로 전달합니다:

std::function<bool(int)> compare = [](int i) { return i % 2 == 0; };
filter(mySet, compare);

3. 대체 함수 정의 사용:

일반 비교 함수 객체를 허용하도록 filter() 함수를 재정의합니다.

template<class Value, class CompareType>
set<Value> filter(const set<Value>& input, CompareType compare) {
    // ...
}

이제 람다 함수를 사용하여 함수를 호출할 수 있습니다. 직접:

filter(mySet, [](int i) { return i % 2 == 0; });

결론

Lambda 함수는 단기 함수를 정의하는 편리한 방법을 제공하지만 템플릿 유형 추론과 관련하여 복잡성을 초래할 수 있습니다. 제한 사항을 이해하고 적절한 해결 방법을 사용함으로써 개발자는 C 11 코드에서 람다를 효과적으로 활용할 수 있습니다.

위 내용은 `filter()`의 Lambda 함수에서 C 11 템플릿 유형 추론이 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!