Стирание типа и лямбда-выражения: (Частичное) соответствие специализации шаблона лямбда-выражениям

Прежде всего, некоторый контекст

Как часть движка частиц на основе политик, который я сейчас пишу, я произвел некоторое стирание типов в классах политик. В частности, я произвел стирание типа в правилах эвакуации частиц:

Политика эволюции частиц — это просто политика, которая говорит о том, как данные (координаты, скорость, цвет и т. Д.) Частицы изменяются в процессе симуляции. Это его интерфейс:

struct evolution_policy
{
template<PARTICLE_DATA>
void operator()( PARTICLE_DATA& data );

void step();
};

operator() Перегрузка просто берет данные частицы и изменяет их в соответствии с предполагаемой политикой. step() Функция — это просто функция для обновления (Advance) состояния политики (если у политики есть какое-либо состояние).

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

add_policy( []( some_particle_data_type& data ) { /* do something with */ } );

Где add_policy() Функция принимает некоторую политику и сохраняет ее в векторе. Как вы можете видеть, смысл стирания типа состоит в том, чтобы обрабатывать различные типы классов / объектов политики одним и тем же однородным способом.

Эта проблема:

Я использую подход динамической отправки для стирания типа:

template<tyoename PARTICLE_DATA>
struct type_erased_policy
{
public:
void operator()( PARTICLE_DATA& data )
{
(*_policy)( data );
}

void step()
{
_policy->step();
}

private:
struct policy_interface
{
virtual ~policy_interface() {}

virtual void operator()( PARTICLE_DATA& data ) = 0;
virtual void step() = 0;
};

template<typename POLICY>
class policy_impl : public policy_interface
{
public:
void operator()( PARTICLE_DATA& data ) override
{
_policy( particle );
}

void step() override
{
_policy.step();
}

private:
POLICY _policy;
};

std::shared_ptr<policy_interface> _policy;
};

Имея это в виду, легко написать специализацию для стирания общих указателей политик, например:

template<typename T>
class policy_impl<std::shared_ptr<T>> : public policy_interface
{
public:
void operator()( PARTICLE_DATA& data ) override
{
(*_policy)( data );
}

void step( cpp::evolution_policy_step step_type ) override
{
_policy->step( step_type );
}

private:
std::shared_ptr<T> _policy;
};

Это может быть полезно, например, если нам нужно разделить политику между частицами.

Мы могли бы написать специализацию для std::function<void(PARTICLE_DATA&)> политики, использующие этот шаблон. Тем не менее, это работает только для явные экземпляры std::function<void(PARTICLE_DATA&)>, т.е. если мы передадим лямбда-функцию type_erased_policy Ctor, он будет создавать экземпляр общего policy_impl дело, потому что нет специализации для лямбда-типа.

Поскольку лямбда-функторы (замыкания) уникальны (другими словами, тип лямбда-выражения уникален и не определен) нет простого способа сделать такое стирание типа по лямбде.

Мой вопрос: моя цель состоит в том, чтобы взять любой объект функции (лямбда, функтор, указатель функции, std::function) и выполните стирание типа, как описано выше. Есть ли какой-либо (другой) способ сопоставления лямбда-выражений и / или других функциональных объектов для удаления типов из них?

Платформа:

Я использую GCC 4.8.2