what()! = T 일 때 boost :: variant return T()를 어떻게 만들 수 있습니까? T == what()을 어떻게 확인합니까?

Question

이 코드가 있습니다 get<T> 그렇게 실패하면

std::vector<boost::variant<int,float,std::string>> data; 
template<typename T> T Get(size_t i) 
{ 
    if (i < data.size()) 
     return boost::get<T>(data[i]); 
    return T(); 
} 

는 어떻게 확인할 수를 I 수 return T() (예외없이 그 성능을 매우 비용이 많이 드는 것에 따라)?

Answer 1

일반적으로 할 수 없습니다.

유형 색인을 알고 있다면 variant::which과 같은 약한 작업을 수행 할 수 있습니다.

확실한 방법은 방문자를 직접 작성하는 것입니다.

namespace detail { 
    template <typename T> 
    struct get_with_default_visitor : boost::static_visitor<T> { 
     T default_; 
     get_with_default_visitor(T dv) : default_(dv) {} 

     T const& operator()(T const& v) const { return v; } 

     template <typename Other> T operator()(Other const&) const { 
      return default_; 
     } 
    }; 
} 

template<typename T, typename Container> T Get(Container const& data, size_t i, T defaultvalue = T()) 
{ 
    if (i < data.size()) 
     return boost::apply_visitor(detail::get_with_default_visitor<T>(defaultvalue), data[i]); 
    else 
     return defaultvalue; 
} 

이 Live On Coliru

int main() { 
    std::vector<boost::variant<int, float, std::string> > data { 
     42, 3.14f, std::string("hello world") }; 

    for (int i = 0; i < 5; ++i) std::cout << Get<int>(data, i, -99) << "\t"; 
    std::cout << "\n"; 

    for (int i = 0; i < 5; ++i) std::cout << Get<float>(data, i, -9999e99) << "\t"; 
    std::cout << "\n"; 

    for (int i = 0; i < 5; ++i) std::cout << "'" << Get<std::string>(data, i, "#error#") << "'\t"; 
    std::cout << "\n"; 
} 

인쇄

42 -99 -99 -99 -99 
-inf 3.14 -inf -inf -inf  
'#error#' '#error#' 'hello world' '#error#' '#error#'