如何使用Boost MPL在函数中有多个返回点？

问题描述：

struct Param {}; 
struct Base { 
     virtual char f(Param const &) const = 0; 
}; 
struct A : Base { 
     explicit A(Param const &) {} 
     virtual char f(Param const &) const {return 'A';} 
}; 
struct B : Base { 
     explicit B(Param const &) {} 
     virtual char f(Param const &) const {return 'B';} 
}; 
struct C : Base { 
     explicit C(Param const &) {} 
     virtual char f(Param const &) const {return 'C';} 
}; 

char my_function(Param const & param, Base const & base) 
{ 
     if(A const * const p = dynamic_cast<A const *>(&base)) { 
       return p->f(param); 
     } 
     if(B const * const p = dynamic_cast<B const *>(&base)) { 
       return p->f(param); 
     } 
     if(C const * const p = dynamic_cast<C const *>(&base)) { 
       return p->f(param); 
     } 
     return '0'; 
}

然后如果我写

Param x, y; 
std::cout << my_function(x, B(y)) << std::endl;

它输出B。

我的目标是更改my_function的实现，以便它可以支持在编译时定义的一组子类型Base。在这里，我手写了我将为{A, B, C}类型获得的扩展代码。我想模板化my_function有一组类型，并调用它是这样的：

std::cout << my_function<boost::mpl::set<A, B, C> >(x, B(y)) << std::endl;

输出B，或者，如：

std::cout << my_function<boost::mpl::set<A, C> >(x, B(y)) << std::endl;

输出0。

我不知道使用哪个MPL构造来实现此结果。

我最初以为find_if一个电话可以让找到集合到base可以dynamic_casted第一类，但实际上这个算法，最喜欢的MPL算法，静态显然产生了效果，因此不能与运行时参数一起使用（base）。

分类为“运行时”的唯一MPL算法是for_each，但我无法弄清楚如何使用它来产生与我的多重返回语句相同的效果（我甚至不知道它是否是它是可能的）。感谢任何能帮助我的MPL演讲者。

PS：不要告诉我，我应该避免动态蒙上或我可以简单地

char my_function(Param const & param, Base const & base) {return base.f(param);}

我简单跟我现实生活中的问题相比，代码示例，我不能改变现有的设计。

答

像这样的东西应该工作：

struct functor 
{ 
    public: 
    functor(Param const & param, Base const & base) 
    : param_(param), 
    base_(base), 
    found_(false) 
    { 
    } 

    template<typename Child> 
    void operator()(Child*) 
    { 
    if (!found_) 
    { 
     if(Child const * const p = dynamic_cast<Child const *>(&base_)) 
     { 
     value_ = p->f(param_); 
     found_ = true; 
     } 
    } 
    } 

    char get_value() 
    { 
    return value_; 
    } 

    private: 
    Param const & param_; 
    Base const & base_; 
    bool found_; 
    char value_; 
}; 

template <typename ...Types> 
char my_function(Param const & param, Base const & base) 
{ 
    typedef boost::mpl::vector<Types...>::type children; 

    functor f(param, base); 

    boost::mpl::for_each<children>(std::ref(f)); 

    return f.get_value(); 
} 

int main() 
{ 
    Param x, y; 
    std::cout << my_function<A*, B*, C*>(x, B(y)) << std::endl; 

    return 0; 
}

谢谢你的回答。您的解决方案的缺点是每次都会遍历整个类型列表，但它很好地展示了如何使用MPL for_each。同时，我找到了我发布的解决方案（不使用MPL算法）。 –

答

这里是我已经找到了解决办法。

namespace detail { 

template <typename First, typename Last> 
struct my_function_impl { 
     static char apply(Param const & param, Base const & base) 
     { 
       BOOST_MPL_ASSERT_NOT((boost::is_same<First, Last>)); 
       typedef typename boost::mpl::deref<First>::type Child; 
       BOOST_MPL_ASSERT((boost::is_base_of<Base, Child>)); 
       if(Child const * const p = dynamic_cast<Child const *>(&base)) { 
         return p->f(param); 
       } 
       typedef typename boost::mpl::next<First>::type Next; 
       return my_function_impl<Next, Last>::apply(param, base); 
     } 
}; 

template <typename It> 
struct my_function_impl<It, It> { 
     static char apply(Param const &, Base const &) 
     { 
       return '0'; 
     } 
}; 

} // namespace detail 

template <typename ContainerOfTypes> 
char my_function(Param const & param, Base const & base) 
{ 
     typedef typename boost::mpl::begin<ContainerOfTypes>::type Begin; 
     typedef typename boost::mpl::end<ContainerOfTypes>::type End; 
     return detail::my_function_impl<Begin, End>::apply(param, base); 
}

和呼叫：

std::cout << my_function<boost::mpl::set<A, B, so::Base> >(x, C(y)) << std::endl;

任何的简化或改进建议是值得欢迎的。

如何使用Boost MPL在函数中有多个返回点？

相关推荐