Фабрика, возвращающая повышение :: объекты посетителя

Я хочу создать фабрику посетителей, которая возвращает объект любого из этих типов:

class Visitor1: public boost::static_visitor<int>
{
public:
int operator()(int& ) const
{
return 1;
}

int operator()(bool& ) const
{
return 1;
}
};

class Visitor2: public boost::static_visitor<int>
{
public:
int operator()(int& ) const
{
return 2;
}

int operator()(bool& ) const
{
return 2;
}
};

Я предположил, что мог бы вернуть указатель типа boost :: static_visitor * для объекта, созданного фабрикой, но это не компилируется. Также я не могу иметь ссылку на объект, как показано ниже:

Visitor1 v;
Type t;
boost::static_visitor<int>& vR = v;
boost::apply_visitor(vR, t);

Я получаю ошибку:

see reference to function template instantiation 'int boost::apply_visitor<boost::static_visitor<R>,Type>(Visitor &,Visitable &)' being compiled
1>          with
1>          [
1>              R=int,
1>              Visitor=boost::static_visitor<int>,
1>              Visitable=Type
1>          ]
1>c:\boost_1_49_0\boost\variant\variant.hpp(858): error C2064: term does not evaluate to a function taking 1 arguments

Как мне реализовать свой завод?

1

Решение

Посетители работают с перегрузкой, что означает, что они являются статическим компонентом. Фабрика всегда (?) Подразумевает компонент времени выполнения. Во-первых, важно определить, все ли полученные посетители имеют одинаковый набор перегрузок. Если это так, вы можете использовать эту схему:

#include <memory>

#include <boost/variant.hpp>
#include <boost/variant/static_visitor.hpp>

struct visitor_base : public boost::static_visitor<int>
{
virtual int operator()(int) = 0;
virtual int operator()(double) = 0;
virtual int operator()(const char*) = 0;
virtual ~visitor_base() {}
};

struct impl_1 : visitor_base {
virtual int operator()(int) { return 1; }
virtual int operator()(double) { return 1; }
virtual int operator()(const char*) { return 1; }
};

struct impl_2 : visitor_base {
virtual int operator()(int) { return 2; }
virtual int operator()(double) { return 2; }
virtual int operator()(const char*) { return 2; }
};

std::unique_ptr<visitor_base> visitor_factory(int i) {
if(i == 1) {
return std::unique_ptr<visitor_base>(new impl_1);
} else {
return std::unique_ptr<visitor_base>(new impl_2);
}
}

int main()
{
auto vis = visitor_factory(1);
boost::variant<int, double, const char*> v = 3;
std::cout << boost::apply_visitor(*vis, v) << std::endl;
auto vis2 = visitor_factory(2);
std::cout << boost::apply_visitor(*vis2, v) << std::endl;

return 0;
}

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

Конечно, несколько функций C ++ 11, использованных в примере кода, легко заменить.

#include <memory>
#include <string>

#include <boost/variant.hpp>
#include <boost/variant/static_visitor.hpp>

struct visitor_base : public boost::static_visitor<int>
{
// the catch all
template <typename T>
int operator()(const T& t) {
return 0;
}

virtual int operator()(int) {}
virtual int operator()(double) {}
virtual int operator()(const char*) {}

virtual ~visitor_base() {}
};

struct impl_1 : visitor_base {
virtual int operator()(int) { return 1; }
virtual int operator()(double) { return 1; }
virtual int operator()(const char*) { return 1; }
};

struct impl_2 : visitor_base {
virtual int operator()(int) { return 2; }
virtual int operator()(double) { return 2; }
virtual int operator()(const char*) { return 2; }
};

std::unique_ptr<visitor_base> visitor_factory(int i) {
if(i == 1) {
return std::unique_ptr<visitor_base>(new impl_1);
} else {
return std::unique_ptr<visitor_base>(new impl_2);
}
}

int main()
{
auto vis = visitor_factory(1);
boost::variant<int, double, const char*> v = 3;
std::cout << boost::apply_visitor(*vis, v) << std::endl;
auto vis2 = visitor_factory(2);
std::cout << boost::apply_visitor(*vis2, v) << std::endl;

// a variant with more than impl_1 and impl_2 can catch
boost::variant<int, double, const char*, std::string> vv = std::string{"asdf"};
std::cout << boost::apply_visitor(*vis2, vv) << std::endl;
// no use one that we handle
vv = 3;
std::cout << boost::apply_visitor(*vis2, vv) << std::endl;
return 0;
}
1

Другие решения

Других решений пока нет …