Навеяно этой темой http://www.prog.org.ru/topic_29244_15.html#lastPost

Паттерн visitor весьма удобная и полезная штука при работе с boost::variant. Однако, иногда бывает удобнее работать не с variant, а с any (boost::any).
Оказывается, можно легко перенести эту концепцию и на этот случай.

Небольшой пример, иллюстрирующий идею:

C++ (Qt)
#include <iostream>
#include <list>
#include <string>
 
#include "any_visitor.h"
#include <boost/any.hpp>
 
 
struct to_double : public any_visitor<double, type_list<double, int, float,  std::string>> /* Первый аргумент - возвращаемый тип, второй - список всех возможных типов, для хранимого в any значения. 
                                                                                          Если нужный тип не будет найден, из этого списка, будет выкинуто исключение std::bad_cast. */
{
    double operator()(const std::string & str) const { return std::stod(str); }
 
    template <class T>
    double operator()(const T & val) const { return val; }
};
 
 
struct to_string : public any_visitor<std::string, type_list<double, int, float, std::string>>
{
    std::string operator()(const std::string & str) const { return str; }
 
    template <class T>
    std::string operator()(const T & val) const { return std::to_string(val); }
};
 
 
 
int main()
{
 
   std::list<boost::any> many = {123, 3.14, 5.6f, std::string("2.71")}; 
 
   double sum = 0.0;
 
   for (const auto & x : many)
       sum += apply_any_visitor(to_double(), x); // считаем сумму элементов
 
   std::cout << sum << std::endl;
 
   std::string str;
   for (const auto & x : many)
       str += apply_any_visitor(to_string(), x) + "; "; // Объединяем строки
 
   std::cout << str << std::endl;
 
    return 0;
}
 

Исходники приаттачены.

Спасибо за внимание  
 

В ситуациях, когда имеется некоторая гетерогенная коллекция и нужно выполнить над её элементами какое-либо действие. Но поскольку типы элементов могут быть различными, то и сами действия могут отличаться.. Тогда визитёр очень кстатии.

Например, как в примере выше, у нас есть коллекция

C++ (Qt)
std::list<boost::any> many = {123, 3.14, 5.6f, std::string("2.71")}; 
 

которая содержит числа в разных представлениях (double, string, int, float).
С визитёром мы можем пройтись по ней и, например, посчитать сумму

C++ (Qt)
double sum = 0.0;
 
   for (const auto & x : many)
       sum += apply_any_visitor(to_double(), x); // считаем сумму элементов
 

   
а можем их объединить в одну строку:

C++ (Qt)
std::string str;
   for (const auto & x : many)
       str += apply_any_visitor(to_string(), x) + "; "; // Объединяем строки
 

Это лишь один абстрактный пример.. Короче, когда в коллекции могут быть различные объекты, каждый из которых  "знает что делать" и нам нужно пройтись по всей коллекции, тогда визитёр и применяется..

По сути это набор объектов с общим предком, имеющим виртуальный метод типа doSomething().
Внешний контроллер просто вызывает этот метод для каждого объекта.
И каждый объект может doSomething() имплементировать по-своему.

Только здесь не нужен общий предок. И никаких виртуалов. А это делает этот патерн более гибким, чем классический полиморфизм.

Хороший пример. Спасибо.

В чем гибкость? По сути, это просто эмуляция полиморфизма через темплейт
А если тип объектов будет известен только в рантайме - то не сработает
Ну или придется извращаться до посинения...

Если заранее не известны возможные типы, то и в этом паттерне исчезает всякий смысл. Ведь когда мы проходимся по коллекции, мы уже должны знать как нам поступать с тем или иным объектом.

 

C++ (Qt)
...
double to_double ( const boost::any & value )
{
    if ( value.type() == typeid( double ) )
        return to_double_helper< double >::execute( value );
    if ( value.type() == typeid( std::string ) )
        return to_double_helper< std::string >::execute( value );
    //...
 
 
    return 0;
}
 

Так паттерн визитор  как раз и избавляет нас от  таких дубовых if-else-switch конструкций.     Собственно, он для этого и создан)

Это уже другой круг задач. А делать из визитора супер класс на все случаи жизни тож не айс)  

Нет не просто эмуляция) Здесь не нужно наследоваться, определять кучу виртуалов и т.д. Попробуйте с полиморфизмом сделать пример выше)

Ну это легко решается..
Хорошо, пусть у нас есть сторонняя библиотека, использующая визитёр для any. Для примера рассмотрим только визитёр to_double.

C++ (Qt)
typedef type_list<double, int, float,  std::string> default_type_list;
 
struct to_double : public any_visitor<double, default_type_list>
{
    double operator()(const std::string & str) const { return std::stod(str); }
 
    template <class T>
    double operator()(const T & val) const { return val; }
};
 

Это всё часть сторонней библиотеки.

Теперь нам в нашем коде понадобилось добавить возможность обрабатывать, скажем, комплексные числа. Тогда мы просто пишем:

C++ (Qt)
struct to_double_advance : public any_visitor<double, merge<std::complex<double>, default_type_list>::type>
{
    double operator()(const std::complex<double> & c) const { return c.real(); }
 
    template <class T>
    double operator()(const T & val) const { return to_double()(val); }
};
 

И теперь просто используем его:

C++ (Qt)
std::list<boost::any> many = {123, 3.14, 5.6f, std::string("2.71"), std::complex<double>(123.4, 5.6)};
 
       double sum = 0.0;
 
       for (const auto & x : many)
           sum += apply_any_visitor(to_double_advance(), x);
 
       std::cout << sum << std::endl;
 

Всё) Какие проблемы?