шаблоны — C ++ Boost :: вариант универсального конвертера

Последние три дня я пытался выяснить, как реализовать универсальный способ получения значения из boost :: variable<…> но это было довольно сложно.

Вот решение, которое я мог бы придумать, но оно совсем не общее:

#include <iostream>
#include "boost\variant\variant.hpp"
using MyVariant = boost::variant<int, std::string>;

class VariantConverter : public boost::static_visitor<>
{
private:
mutable int _int;
mutable std::string _string;

static VariantConverter apply(MyVariant& v)
{
VariantConverter res;

v.apply_visitor(res);

return res; // copy will be elided, right?
}

public:
void operator()(int& i) const
{
_int = i;
}

void operator() (std::string& s) const
{
_string = s;
}

static int to_int(MyVariant v)
{
return apply(v).from_int();
}

static std::string to_string(MyVariant v)
{
return apply(v).from_string();
}

int from_int()
{
return _int;
};

std::string from_string()
{
return _string;
};
};

int main()
{
using namespace std;

MyVariant v = 23;

int i = VariantConverter::to_int(v);

cout << i << endl;

v = "Michael Jordan";

std::string s = VariantConverter::to_string(v);

cout << s.c_str() << endl;

cin.get();

return 0;
}

Буду признателен, если кто-нибудь поможет мне найти лучшее решение.

Или, возможно, кто-то может объяснить мне обоснование этого:

если я объявлю:

using MyVariant = boost::variant<int, std::string>;

а затем:

ConverterToInt : basic_visitor<int> {
public:
int operator() (int i) { return i; };
};

Почему когда я пытаюсь применить ConverterToInt к MyVariant как таковой:

ConverterToInt cti;

MyVariant i = 10;

i.apply_visitor(cti);

Я получаю ошибку компилятора при попытке найти оператор (), который принимает std :: string?

Мне кажется, что apply_visitor пытается вызвать operator () для каждого из типов, которые может принимать MyVariant. Это так? Если это так, почему? Как я могу избежать этого поведения?

Ура!