boost :: static_visitor에 대한 요구 사항

Question

변형 및 구조의 boost :: static_visitor 응용 프로그램에서 약간 혼란 스럽습니다. 나는 아래에 테스트 케이스를 포함시켰다.

apply_visitor_unary.hpp : 72 : 오류 : '구조체 (S1)가'라는 이름의 멤버가없는 'apply_visitor 은 "s_visitor"의 주석 섹션, 나는 다음과 같은 오류 메시지가하거나 문제를 해결하는 방법을 발생하는 이유 이해하지 않는다 '

#include "boost/variant.hpp" 
#include "iostream" 

struct s1 { 
    int val; 

    s1(int a) : val(a) {} 
}; 

struct s2 { 
    s1 s; 
    int val; 

    s2(int a, int b) : s(a), val(b) {} 
}; 

struct s_visitor : public boost::static_visitor<> 
{ 
    void operator()(int & i) const 
    { 
     std::cout << "int" << std::endl; 
    } 

    void operator()(s1 & s) const 
    { 
     std::cout << "s1" << std::endl; 
    } 

    void operator()(s2 & s) const 
    { 
     std::cout << "s2" << std::endl; 
     // -> following 'struct s1' has no member apply_visitor 
     // boost::apply_visitor(s_visitor(), s.s); 
     // -> following 'struct s1' has no member apply_visitor 
     // boost::apply_visitor(*this, s.s); 
     s_visitor v; 
     v(s.s); 
    } 
}; 

int main(int argc, char **argv) 
{ 
    boost::variant< int, s1, s2 > v; 
    s1 a(1); 
    s2 b(2, 3); 

    v = a; 
    boost::apply_visitor(s_visitor(), v); 

    v = b; 
    boost::apply_visitor(s_visitor(), v); 

    return 0; 
} 

도움을 주셔서 감사합니다.

Answer 1

boost :: variant가 예상되는 "s1"을 전달하기 때문에 주석 처리 된 두 줄 모두에 대해 컴파일 오류가 발생합니다. 그러나 코드의이 시점에서 정확한 유형을 알고 있으므로 변형 된 방문을 수행 할 필요가 없으므로 s1 유형의 값으로 원하는 모든 것을 수행 할 수 있습니다.