함수 템플릿의 람다에서 C 11 유형 추론이 실패하는 이유는 무엇입니까?

람다 함수의 C 11 유형 추론 제한

C 11에서 람다 함수 및 std::function을 사용할 때 유형 추론이 불가능할 수 있습니다. 예상대로 수행되어 오류가 발생합니다.

문제

다음 함수 템플릿을 고려하세요.

template<class A>
set<A> filter(const set<A>& input, function<bool(A)> compare);

람다 함수를 사용하여 이 함수를 직접 호출하면 다음과 같습니다.

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

오류가 발생합니다. 컴파일러가 템플릿 유형을 추론할 수 없기 때문에 발생합니다. A.

설명

Lamda 함수는 익명 함수에 편리한 구문을 제공하는 동시에 Operator() 메서드를 구현하는 고유한 유형입니다. 정확한 유형을 예상하는 유형 추론에서는 직접 지원되지 않습니다.

솔루션

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

• 명시적으로 템플릿 제공 유형:

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

• **std::function 생성:

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

• 수정된 사용 기능 템플릿:

template<class A, class CompareFunction>
set<A> filter(const set<A>& input, CompareFunction compare);

이 수정된 템플릿에서 CompareFunction 유형은 A 인수를 사용하고 부울을 반환하는 함수 개체를 나타냅니다. 템플릿 매개변수는 더 이상 추론되지 않고 명시적으로 지정됩니다.

추가 기능

새로운 decltype 키워드와 함수 반환 유형 구문을 사용하면 함수를 다음과 같이 더욱 일반화할 수 있습니다. 반환 유형을 자동으로 결정합니다:

template<class Value, class CompareType, class IndexType>
auto filter(const set<Value>& input, CompareType compare, IndexType index) -> map<decltype(index(*(input.begin()))), Value> { ... }

이 템플릿 함수는 세 가지 유형, 즉 입력 설정 값 유형, 비교 함수를 예상합니다. 유형 및 인덱스 함수 유형입니다. 반환 유형은 자동으로 결정되고 인스턴스화됩니다.

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