C 11의 std::function 및 Lambda 함수에서 유형 추론이 실패하는 이유는 무엇입니까?

C 11에서 std::function 및 Lambda 함수를 사용한 유형 추론

C 11에서 템플릿을 사용하여 작업할 때 유형 추론은 다음과 같을 수 있습니다. 강력한 기능. 그러나 특히 std::function 또는 람다 함수가 포함될 때 유형 추론이 실패하는 특정 시나리오가 있습니다.

다음 예에서 함수 테스트는 유형 A 세트를 허용하고 명시적으로 없이 동일한 세트를 반환합니다. 템플릿 유형 지정:

template<class A>
set<A> test(const set<A>&amp; input) {
    return input;
}

코드의 다른 곳에서 test(mySet)를 사용하여 이 함수를 호출하면 예상대로 작동합니다. 그러나 람다 함수와 함께 함수를 사용하면 유형 추론이 실패합니다.

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

filter(mySet,[](int i) { return i%2==0; })를 사용하여 필터 호출을 시도합니다. ; 오류가 발생합니다.

error: no matching function for call to ‘filter(std::set&, main()::)’

이 문제는 람다가 함수 또는 std::function 객체가 아니기 때문에 발생합니다. 이는 표준에 의해 정의된 특정 속성을 가진 함수 개체입니다. 유형 추론은 정확한 유형에서만 작동하며 람다는 이 기준을 충족하지 않습니다.

이 문제를 해결하려면 람다를 std::function으로 변환하거나 템플릿 유형을 명시적으로 제공할 수 있습니다.

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

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

또는에 대한 템플릿 매개변수를 허용하도록 함수를 재정의할 수 있습니다. CompareFunction:

template<class A,class CompareFunction>
set<A> filter(const set<A>&amp; input,CompareFunction compare) {
    // ... implementation
}

이 수정을 사용하면 템플릿 유형을 지정하지 않고 함수를 호출할 수 있습니다.

set<int> result = filter(myIntSet,[](int i) { i % 2 == 0; });

유형 추론은 다중 인수 람다에서도 문제가 될 수 있습니다. 이러한 경우 auto를 사용하는 것이 유용한 솔루션이 될 수 있습니다.

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

이 함수는 다음과 같이 호출할 수 있습니다.

map<string,int> s = filter(myIntSet,[](int i) { return i%2==0; },[](int i) { return toString(i); });

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