Type-erasure和lambdas：匹配lambda表达式的（部分）模板特化

作者: Let us fly
发布时间: 2024-06-12 12:45:48 (1月前)
转自：

3 条回复

0#
回复此人
咿呀哟 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 方便 <a href="http://channel9.msdn.com/Events/GoingNative/2013/Inheritance-Is-The-Base-Class-of-Evil" rel="nofollow"> 技术 </A> 将你的lambda函数包装在一个 <code> std::function </code> 。由于它的构造函数是贪婪的，它会吸收任何可调用的东西，但是包装的增益会声明一个的<strong> 显式类型 </强> </p> <pre> <code> auto f1 = [](double a, double b)->int { return a + b > 5.; // example function body }); std::function<int(double,double)> f2 ( [](double a, double b)->int { return a + b > 5.; // example function body };); </code> </pre> <P> 所以在上面的背景下 <code> f1 </code> 面对你提到的问题，而 <code> f2 </code> 的<strong> 是一个lambda </强> （在声明和使用它时保留了所有的便利），从某种意义上说，它没有“流浪类型” </p> </DIV>

编辑
1#
回复此人
离线请留言 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 首先，检测一个策略类 <code> .step() </code> ： </p> <pre> <code> namespace impl{ // eat a type and do nothing with it: template<typename T> struct type_sink { typedef void type; }; template<typename T> using TypeSink = typename type_sink<T>::type; // detect .step on T (T& means rvalue, T means lvalue, and T const& means const lvalue, etc) template<typename T, typename=void> struct has_step:std::false_type {}; template<typename T> struct has_step<T, TypeSink< decltype( std::declval<T>().step() ) > >: std::true_type {}; } template<typename T> struct has_step : impl::has_step<T> {}; </code> </pre> <P> 所以现在我们有了 <code> has_step<T> </code> 这是特质类 <code> true_type </code> 如果 <code> T </code> 有个 <code> .step() </code> 方法可调用，和 <code> false_type </code> 除此以外。 </p> <P> 如果我们将它提供给函数，我们可以选择使用标记分派运行的实现： </p> <pre> <code> template<typename T> return_type_whatever type_erase_helper( T&& t, std::true_type /* test passed */ ) { // branch 1 } template<typename T> return_type_whatever type_erase_helper( T&& t, std::false_type /* test failed */ ) { // branch 2 } template<typename T> return_type_whatever type_erase( T&& t ) { return type_erase_helper( std::forward<T>(t), has_step< typename std::decay<T>::type& >() ); } </code> </pre> <P> 如果你真的想根据具体来专门化一个特定的类 <code> step </code> 或不，您可以使用SFINAE技术。但是类型擦除不依赖于基于特化的类型擦除实现：我只是在生成类型擦除实现对象的函数上使用标记调度。 </p> <P> 我们可以菊花链式这样的标签调度。另一个好的可能是 <code> is_signature_compatible< T, R(Args...) > </code> ： </p> <pre> <code> namespace impl { template<typename T, typename Sig,typename=void> struct is_signature_compatible:std::false_type {}; template<typename T, typename R, typename... Args> struct is_signature_compatible< T, R(Args...), typename std::enable_if< std::is_convertible< typename std::result_of< T(Args...) >::type, R >::value >::type >:std::true_type {}; // dunno if this is needed? Possibly, and shouldn't hurt: template<typename T, typename... Args> struct is_signature_compatible< T, void(Args...), TypeSink< typename std::result_of< T(Args...) >::type > >:std::true_type {}; } template<typename T, typename Sig> struct is_signature_compatible:impl::is_signature_compatible<T,Sig> {}; </code> </pre> <P> 然后，我们可以使用它来分离小麦从谷壳中的一个较小的“错误发生10递归 <code> template </code> 调用深刻的“方式。 </p> </DIV>

编辑

登录后才能参与评论