Повышение:: вариант. boost:: посетитель перегруженной функции

Question

У меня проблема с вариантом значения перегруженной функции. Я хочу вызвать перегруженную функцию с int или строкой в ​​зависимости от того, что хранится в варианте. Вот как я хочу это сделать, но я не могу:

class X
{
    void foo(int i, int z) { /*use int i and z*/; }
    void foo(const std::string& s, int z) { /*use string s and z*/; }


    struct MyVisitor : public boost::static_visitor<int>  
    // !!! Here is the problem.
    // I can't return int or std::string,
    // so it's impossible to use template operator()
    {
        template<typename Data>
        const Data operator()(const Data data) const { return data; }
    };

public:

    /*somehow m_queue pushed ...*/

    void func_uses_variant(int z)
    {
        boost::variant<int, std::string> v = m_queue.pop();
        foo(boost::apply_visitor(MyVisitor(), v), z);
    }
private:
    SomeQueue m_queue;
}

Можно ли написать это с помощью посетителя или я должен сделать что-то вроде этого:

    void func_uses_variant(int z)
    {
        boost::variant<int, std::string> v = m_queue.pop();

        if (int* foo_arg = boost::get<int>(&v))
        {
            foo(*foo_arg, z);
        }
        else if (std::string* foo_arg = boost::get<std::string>(&v))
        {
            foo(*foo_arg, z);
        }
    }

Я пытался использовать variadics для MyVisitor, но потерпел неудачу из-за интерфейса boost::static_visitor. Может быть, есть решение для этого.

Функция int z в функции просто для того, чтобы показать, что в параметрах foo() есть не просто boost:: variable.

Answer 1

Весь смысл посетителей состоит в том, чтобы обработать каждый из различных типов, которые могут содержаться в варианте, в форме, которая не включает get(), позволяет генерики и позволяет легко сказать, что вы обработали все параметры. Если вы можете обработать их все в одной универсальной функции, то вы напишите в шаблоне одну шаблонную функцию. Если нет, то будьте более конкретны:

struct foo_visitor : public boost::static_visitor<std::string>  
{
    std::string operator()(int & i) const { return "this is int"; }
    std::string operator()(std::string &s) const { return "this is string"; }
};

Это возвращает общее значение от каждого возможного типа в варианте. Или вы можете использовать посетитель обернуть внешнюю функцию. Возвращаясь к функции шаблона:

struct foo_visitor : public boost::static_visitor<void>  
{
    template<typename Data>
    void operator()(const Data &d) const { foo(d); }
};

РЕДАКТИРОВАТЬ [Похоже, это предоставляется библиотекой в ​​виде visitor_ptrдля функций с одним аргументом. Я думаю boost::visitor_ptr(foo) может быть в точности эквивалентно. ]

Для дополнительного аргумента вы можете добавить конструктор к посетителю и сохранить дополнительный элемент данных, который передается в упакованную функцию:

struct foo_visitor : public boost::static_visitor<void>  
{
    int z;
    foo_visitor(int z_param) : z(z_param) {};

    template<typename Data>
    void operator()(const Data &d) const { foo(d, z); }
};

{
    boost::variant<int, std::string> v;
    v = 5;
    int z = 0;
    boost::apply_visitor(foo_visitor(z), v);
}

редактировать из @Kabik:

Есть способ сделать это, используя сопоставление с образцом с помощью boost make_overloaded_function() и lambda.

ссылка на функцию соответствия эксперимента - http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0050r0.pdf

boost::variant<int, std::string> v;
v = 5;
int z = 0;
boost::apply_visitor(boost::bind<void>(boost::make_overloaded_function(
   [&](const int i) { foo(i, z); },
   [&](const std::string& str) { foo(str, z); }) _1
), v);

Answer 2

Есть способ сделать это с помощью сопоставления с шаблоном с помощью Boost Make_overloaded_function и Lambda.

ссылка на функцию соответствия эксперимента - http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0050r0.pdf

boost::variant<int, std::string> v;
v = 5;
int z = 0;
boost::apply_visitor(boost::bind<void>(boost::make_overloaded_function(
    [&](const int i) { foo(i, z); },
    [&](const std::string& str) { foo(str, z); }) _1
), v);