변경 부스트 :: 방문자

Question

에서 변형 기본 유형 I은 S-expression이 모델 재귀 변형이있다. 그러나, 나는 push_back() 방문자의 구현과 붙어있어.

struct push_back_visitor: public boost::static_visitor<void> 
    { 
     push_back_visitor(const sexpr &arg): arg_(arg) {} 

     template <typename T> 
     void operator()(const T &value) const { 
     throw bad_visit(); 
     } 

     void operator()(nil &val) const { 
     // how to change the underlying type to list<sexpr> here? 
     // lst.push_back(arg_); 
     } 

     void operator()(list<sexpr> &lst) const { 
     lst.push_back(arg_); 
     } 

     sexpr arg_; 
    }; 

모든 아이디어 : 기본 유형 nil을 때, 나는 그것이 list<sexpr>에 해당 유형을 변경하고 공급 된 값을 다시 밀어 싶습니다?

Answer 1

boost::variant은 방문자 내에서 변형에 액세스하는 메커니즘을 제공하지 않습니다. 그러나 변형 자체에 대한 참조를 전달하기 위해 방문자를 수정하거나 줄 바꿈하는 것을 막을 수있는 방법은 없습니다. 해당 variant를 방문하는 방문자 내에서 variant 유형을 수정하는 것은 설명서에 언급되어 있지 않지만 안전해야한다고 생각됩니다 (변형 된 방문자 적용 함수는 방문자가 호출되는 즉시 반환해야하기 때문에).

template<typename Variant, typename Visitor> 
struct carry_variant_visitor 
    : public boost::static_visitor<typename Visitor::result_type> 
{ 
    carry_variant_visitor(Variant &variant, Visitor visitor): 
     variant_(variant), visitor_(visitor) { } 
    template<typename T> 
    typename Visitor::result_type operator()(T &t) const { 
     return visitor_(variant_, t); 
    } 
    Variant &variant_; 
    Visitor visitor_; 
}