투명한 연산자 Functors

Question

Visual Studio 2013 Preview는 (this 페이지에 따라) "Transparent Operator Functors"라고하는 C++ 14 기능을 지원합니다. 그게 무슨 뜻인지는 분명하지 않습니다. 내가 찾은 가장 가까운 C++ 14 제안은 이것입니다. 그러나 똑같은지 확실하지 않습니다. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3421

나는 그것이 무엇인지, 왜 개선인지, 그리고 왜 더 좋은지에 대한 이유를 찾고 있습니다. 어쩌면 그 사용법을 보여줄 수 있습니다.

Answer 1

투명한 연산자 functor 제안은 <functional>에있는 일반화 된 펑터를 갖는 방법입니다. 저는 개인적으로 제안 자체가 그 필요성을 설명하는 데 도움이 될 아주 좋은 본보기라고 생각합니다. 그러나 나는 앞으로 나아가 그것을 설명하려고 노력할 것이다. 당신이 <algorithm> 헤더에이 일반화 기능을 사용하려면 그러나

template<typename T, typename U> 
auto less_than(T&& t, U&& u) -> decltype(std::forward<T>(t) < std::forward<U>(u)) { 
    return std::forward<T>(t) < std::forward<U>(u); 
} 

:

는 함수, 아주 기본적인 기능의 마음을 가지고 가정하자.

struct MyLessThanFunctor { 
    template<typename T, typename U> 
    auto operator()(T&& t, U&& u) -> decltype(std::forward<T>(t) < std::forward<U>(u)){ 
     return std::forward<T>(t) < std::forward<U>(u); 
    } 
}; 

또는에서 C++ (14), 다형성 람다 수 있도록 :과 같이 알고리즘에서 사용되는 경우

[](auto&& t, auto&& u) -> decltype(auto) { 
    return std::forward<decltype(t)>(t) < std::forward<decltype(u)>(u); 
} 

모두 매우 장황를 당신은 그것을 구조체 펑터를 만들기 위해, 두 가지 옵션이 있습니다 :

을 :

는

int main() { 
    std::vector<int> v = {112,12,1281271,1919101,29181,412,1 }; 
    std::sort(std::begin(v), std::end(v), MyLessThanFunctor()); // one 
    std::sort(std::begin(v), std::end(v), [](auto&& t, auto&& u) -> decltype(auto) { 
     return std::forward<decltype(t)>(t) < std::forward<decltype(u)>(u); 
    }); 
} 

이 제안은 더 작고 대신을 수행하여 일반화 수 있도록하는 것을 목표로210

이것은 완벽한 전달을 제공하며 절단이나 컨테이너 변경으로 인해 발생하는 문제는 해결하지만 용지에서 언급 한 컨테이너가 지정한 기본 유형은 문제를 해결합니다.

당신이 아닌 일반 펑 있다고 가정하자 :

struct Functor { 
    bool operator()(uint32_t a, uint32_t b) { 
     return a < b; 
    } 
}; 

을 그리고 당신은 당신의 std::vector<uint32_t> 함께 사용하고는 모두 잘 작동하지만 당신은 일반화되지 않는 당신의 펑 잊고 당신의 std::vector<uint64_t>와 함께 사용. 발생한 문제를 볼 수 있습니까? 요소는 비교되기 전에 잘릴 것입니다. 아마도 사용자가 원하지 않았을 것입니다. 일반화 된 펑터는 발생하기 전에이 문제를 해결합니다.