Boost:: static_visitor с несколькими аргументами

typedef boost::variant<int, double> Type;
class Append: public boost::static_visitor<>
{
public:
    void operator()(int)
    {}

    void operator()(double)
    {}

};

Type type(1.2);
Visitor visitor;
boost::apply_visitor(visitor, type);

Можно ли изменить посетителя таким образом, чтобы он получал дополнительные данные следующим образом:

class Append: public boost::static_visitor<>
{
public:
    void operator()(int, const std::string&)
    {}

    void operator()(double, const std::string&)
    {}
};

Это строковое значение изменяется во время жизни объекта Append. Передача строки через конструктор в этом случае не является опцией.

Ответ 1

"Дополнительный аргумент", который получает каждый вызов, - это указатель this. Используйте его, чтобы передать любую дополнительную информацию, которая вам нужна:

#include <boost/variant.hpp>
typedef boost::variant<int, double> Type;
class Append: public boost::static_visitor<>
{
public:
    void operator()(int)
    {}

    void operator()(double)
    {}
    std::string argument;
};

int main() {
    Type type(1.2);
    Append visitor;
    visitor.argument = "first value";
    boost::apply_visitor(visitor, type);
    visitor.argument = "new value";
    boost::apply_visitor(visitor, type);
}

Ответ 2

Другой вариант - связать дополнительные аргументы. Ваш класс посетителя может выглядеть так:

class Append: public boost::static_visitor<>
{
public:
    void operator()(const std::string&, int)
    {}

    void operator()(const std::string&, double)
    {}
};

Назовите это так:

std::string myString = "foo";
double value = 1.2;
auto visitor = std::bind( Append(), myString, std::placeholders::_1 );
boost::apply_visitor( visitor, value );

Ответ 3

Это решает вашу проблему:

#include <iostream>
#include <string>
#include <boost/variant.hpp>

typedef boost::variant<int, double> Type;
typedef boost::variant<const std::string> Extra;
class Append: public boost::static_visitor<>
{
public:
    void operator()(const int& a1, const std::string& a2) const {
        std::cout << "arg 1 = "<< a1 << "\n";
        std::cout << "arg 2 = "<< a2 << "\n";
    }

    void operator()(const double& a1, const std::string& a2) const {
        std::cout << "arg 1 = "<< a1 << "\n";
        std::cout << "arg 2 = "<< a2 << "\n";
    }
};

int main()
{
    Type type(1.2);
    Extra str("extra argument");
    boost::apply_visitor(Append(), type, str);
}

Вот рабочий Demo. Вы можете отправить дополнительные аргументы - столько, сколько хотите. Ограничение заключается в том, что они должны быть обернуты в boost :: option. Однако компилятор оптимизирует варианты с одним типом внутри. Если вам нужно более двух аргументов, вы должны #include <boost/variant/multivisitors.hpp>, см. Https://www.boost.org/doc/libs/1_70_0/doc/html/boost/apply_visitor.html.