Предварительный вариант посетителя с дополнительным параметром

Question

У меня есть код, похожий ниже.

typedef uint32_t IntType; 
typedef IntType IntValue; 
typedef boost::variant<IntValue, std::string> MsgValue; 

MsgValue v; 

Вместо того, чтобы сказать это,

IntValue value = boost::apply_visitor(d_string_int_visitor(), v); 

Я хотел бы передать дополнительный параметр, как это: Но оператор() дает ошибку компиляции.

//This gives an error since the overload below doesn't work. 
IntValue value = boost::apply_visitor(d_string_int_visitor(), v, anotherStr); 

class d_string_int_visitor : public boost::static_visitor<IntType> 
{ 
public: 
    inline IntType operator()(IntType i) const 
    { 
     return i; 
    } 

    inline IntValue operator()(const std::string& str) const noexcept 
    { 
     // code in here 
    } 

    //I want this, but compiler error. 
    inline IntValue operator()(const std::string& str, const std::string s) const noexcept 
    { 
     // code in here 
    } 
}; 

Answer 1

Вы можете связать дополнительный аргумент string посетителю с помощью std::bind. Сначала добавьте параметр std::string во все перегрузки посетителя operator().

class d_string_int_visitor : public boost::static_visitor<IntType> 
{ 
public: 
    inline IntType operator()(IntType i, const std::string& s) const 
    { 
     return i; 
    } 

    inline IntValue operator()(const std::string& str, const std::string& s) const noexcept 
    { 
     // code in here 
     return 0; 
    } 
}; 

Теперь создать посетителя, к которым вы связали второй string аргумент.

auto bound_visitor = std::bind(d_string_int_visitor(), std::placeholders::_1, "Hello World!"); 
boost::apply_visitor(bound_visitor, v); 

Live demo

Однако, лучшим решением было бы передать строку в качестве аргумента конструктора посетителя.

Answer 2

typedef uint32_t IntType; 
typedef IntType IntValue; 
typedef boost::variant<IntValue, std::string> MsgValue; 

MsgValue v; 

IntValue value = boost::apply_visitor([&](auto&& one){ 
    return d_string_int_visitor{}(decltype(one)(one), anotherStr); 
}, v); 

предполагая каждую перегрузку d_string_int_visitor может обрабатывать дополнительный параметр.

В качестве бонуса, вы даже можете сделать прочь с классом оберточного, если вы хотите:

IntValue to_int_value(IntValue v, std::string const& format) { return v; } 
IntValue to_int_value(std::string const& str, std::string const& format); 

IntValue value = boost::apply_visitor([&](auto&& one){ 
    return to_int_value(decltype(one)(one), anotherStr); 
}, v); 

где мы создаем анонимную лямбду, которая перенаправляет к традиционному набору функциональных перегрузок.

auto&& one и decltype(one)(one) - это метод идеальной пересылки из лямбда (C++ 14). Вы можете заменить второй на std::forward<decltype(one)>(one), но я считаю, что короткая версия читаема. В отличие от std::forward, он делает «неправильную» вещь со значениями типов, но мы знаем, что one является ссылкой на значение l или r.