std :: protectがないのはなぜですか？

Question

std::bindと一緒に使用するstd::protectがない理由は、にあります。C++ 11？

Boost.Bindはboost::bindがそれを認識し、評価しないように、その引数をラップboost::protectヘルパーを提供します。 std::[c]refは、ほとんどの場合、十分に置換えられますが、の値のを引数に取ることはありません。私はそれが実装されなかった理由を認識していないよ、まあ

#include <type_traits> 
#include <functional> 

int add(int a, int b) 
{ return a + b; } 

struct invoke_with_42 
{ 
    template <typename FunObj> 
    auto operator()(FunObj&& fun_obj) const -> decltype((fun_obj(42))) 
    { return fun_obj(42); } 
}; 

int main() 
{ 
    //// Nested bind expression evaluated 
    //auto bind_expr = 
    // std::bind<int>(invoke_with_42{} 
    //  , std::bind(&add, 1, std::placeholders::_1)); 

    //// Compilation error, cref does not take rvalues 
    //auto bind_expr = 
    // std::bind<int>(invoke_with_42{} 
    //  , std::cref(std::bind(&add, 1, std::placeholders::_1))); 

    //// Ok, inner_bind_expr must be kept alive 
    auto inner_bind_expr = 
     std::bind(&add, 1, std::placeholders::_1); 
    auto outer_bind_expr = 
     std::bind<int>(invoke_with_42{}, std::cref(inner_bind_expr)); 


    //// Ok, with protect 
    //auto bind_expr = 
    // std::bind<int>(invoke_with_42{} 
    //  , std::protect(std::bind(&add, 1, std::placeholders::_1))); 
} 

Answer 1

：

は、具体的な例については、以下の人工的な状況を考えます。おそらく、それは提案されていないか、あるいはおそらく微妙な問題がありました。言っ

は、私はあなたがかなり簡単にプロテクトの2つのバージョンがように非バインド式は、（彼らは単に通過）ラップされていないです

template<typename T> 
struct protect_wrapper : T 
{ 
    protect_wrapper(const T& t) : T(t) 
    { 

    } 

    protect_wrapper(T&& t) : T(std::move(t)) 
    { 

    } 
}; 

template<typename T> 
typename std::enable_if< !std::is_bind_expression< typename std::decay<T>::type >::value, 
       T&& >::type 
protect(T&& t) 
{ 
    return std::forward<T>(t); 
} 

template<typename T> 
typename std::enable_if< std::is_bind_expression< typename std::decay<T>::type >::value, 
       protect_wrapper<typename std::decay<T>::type > >::type 
protect(T&& t) 
{ 
    return protect_wrapper<typename std::decay<T>::type >(std::forward<T>(t)); 
} 

それを書くことができると思います。他のすべてはmove/copyによってprotect_wrapperに渡されます。これは単に型を継承します。これにより、型の関数を通過させるか、型に変換することができます。

しかし、それはコピー/移動を行うので、安全に使用することができます。また、bind_expressions型のみを保護するため、発生する必要があるコピーの量が最小限に抑えられます。

int main() 
{ 

    //// Ok, with protect 
    auto bind_expr = 
     std::bind<int>(invoke_with_42{} 
      , protect(std::bind(&add, 1, std::placeholders::_1))); 


    std:: cout << bind_expr() << std::endl; 
    return 0; 

}