使用boost :: mpl :: bitor_

Question

我有一个类接受使用boost :: mpl的策略类列表。每个策略类都包含一个识别标签。我希望MyClass生成每个策略类'标识标签的OR-ed结果。不幸的是，我在计算如何正确使用boost :: mpl :: fold功能时遇到了一些麻烦。如果有人能帮助，我将不胜感激。

#include <boost/mpl/vector.hpp> 
#include <boost/mpl/bitor.hpp> 
#include <boost/mpl/inherit.hpp> 
#include <boost/mpl/inherit_linearly.hpp> 

namespace bmpl = boost::mpl; 

template< class ListOfPolicies > 
class CMyClass : public bmpl::inherit_linearly< ListOfPolicies, bmpl::inherit< bmpl::_1, bmpl::_2 > >::type 
{ 
public: 
    int identifier() const 
    { 
     // error C2039: 'tag' : is not a member of 'PolicyA' 
     return bmpl::fold< ListOfPolicies, bmpl::int_<0>, bmpl::bitor_< bmpl::_1, bmpl::_2 > >::value 
    } 
}; 

template< class T > 
class PolicyA 
{ 
public: 
    enum { MY_IDENTIFIER = 0x00000001 }; 
}; 

class PolicyB 
{ 
public: 
    enum { MY_IDENTIFIER = 0x00000010 };  
}; 

int _tmain(int argc, _TCHAR* argv[]) 
{  
    CMyClass< PolicyA, PolicyAB > AB 
    assert(AB.identifier() == (PolicyA::MY_IDENTIFIER | PolicyB::MY_IDENTIFIER)); 
    return 0; 
} 

感谢， PaulH

Answer 1

我还没有明确，如果它做你（从没有得到断言除外）打算什么测试，但作为fold返回一个包含值类型，行给予你的错误应该是：

return bmpl::fold< ListOfPolicies, 
        bmpl::int_<0>, 
        bmpl::bitor_<bmpl::_1, bmpl::_2> 
       >::type::value; 

从

除此之外，bitor预计它的参数是一个整型常量（doc）：

class PolicyA 
{ 
public: 
    typedef boost::mpl::integral_c_tag tag; 
    typedef int value_type; 
    enum { value = 0x00000001 }; 
}; 

继续，fold作品上mpl::vector S，因此，你需要在主要的变化：

CMyClass< boost::mpl::vector<PolicyA, PolicyB> > AB; 

你也不能只交给一个未定义的类型作为模板参数 - 因此，我不得不做出PolicyA是一个非模板类。你必须看到如何去完成你最初的目标。