c ++ 11: отправка универсального типа с помощью std :: function & lt; T (const U & amp;) & gt;

Я пытаюсь создать общий компонент push.

У меня есть класс store<T> который

• имеет Т т; член
• имеет void push(const T & t) метод, вызываемый поставщиками данных.

Когда push вызывается поставщиком, я хочу, чтобы значение вычислялось std::function< T2(const T&)> и все клиенты (store<T2>) уведомлены
с этим значением результата типа T2. Клиент магазина должен сначала подписаться на магазин через linker<T, T2> объект.

template <class data> class store
{
data data_;
std::list< action<data > > m_links;
public:
void push(const data & e)
{
data_ = e;
for(action<data> a : m_links)
a(data_);
}

void subscribe(action<data> d)
{
m_links.push_back(d);
}
};

Линкерный объект:

template < class data1, class data2 > class linker
{
// source where come the push calls
store<data1> & m_source;
// targets to be notified after computation
std::list<store<data2> * > m_targets;
// computation function
std::function< data2(const data1 &)> m_func;

public:
linker(store<data1> & source, std::function< data2(const data1 &)> func)
: m_source(source), m_func(func)
{
m_source.subscribe([this](const data1 & d){this->push(d);});
}
// add a client
void add_target(store<data2> & target)
{
m_targets.push_back(&target);
}
void push(const data1 & e)
{
//compute result
data2 d2 = m_func(e);
// notify all
for(store<data2> * s2 : m_targets)
{
s2->push(d2);
}
}
};

Случай использования:

int main()
{
// function : just increment an int, return as double
std::function<double(const int &) > f_inc = [](const int& i){ return i+1;};
// function : display the data
std::function<int(const double&) > f_display = [](const double& d){ std::cout << "value=" << d << std::endl ; return 0;};

store<int> source;
store<double> target, target2;

linker<int, double> l(source, f_inc);
l.add_target(target);
l.add_target(target2);linker<double, int> display(target, f_display);

source.push(1);

return 0;
}

Я хочу подавить явную явность объекта ‘linker’. Мне это не удалось, потому что я не знаю, как справиться с тем фактом, что когда клиент хранилища подписывается на объект хранилища, объект не может хранить указатель для хранения, поскольку он не знает тип T2!

Я хотел бы написать что-то вроде этого:

std::function<double(const int &) > f_inc = [](const int& i){ return i+1;};
store<int> source;
store<double> target;

source.link_to(target, f_inc);

и сможете отписаться

source.unlink(target, f_inc);

или с идентификаторами:

id i = source.link_to(target, f_inc);
source.unsubscribe(i);

Я использую codeblocks + mingw 4.8.1 под Windows XP.
Я предполагаю, что существует шаблон проектирования для этого варианта использования …

PS: я не могу использовать повышение.