Действительно ли возможно исказить ответвление в Мерзавце?

Я не уверен, для чего предназначена структура identity, но удаление ее дает более четкое сообщение об ошибке (сбой вывода шаблона).

Компилятор не может получить тип std::function из лямбды. Чтобы доказать это, компилируется следующее:

storage.get(2, std::function([](comp_a& a, comp_c& c) {              // Doesn't work
    std::cout << a.val << " " << c.val << std::endl;
}));

Итак, чтобы заставить его работать, нам просто нужно помочь компилятору в получении типов. Заимствуя у http://www.cplusplus.com/forum/general/223816/ следующие работы:

namespace detail
{
    template < typename T > struct deduce_type;

    template < typename RETURN_TYPE, typename CLASS_TYPE, typename... ARGS >
    struct deduce_type< RETURN_TYPE(CLASS_TYPE::*)(ARGS...) const >
    {
        using type = std::function< RETURN_TYPE(ARGS...) >;
    };
}

template
struct storage
{
    template
    void get(size_t index, typename std::function f)
    {
        f(std::get(components)[index] ...);
    }

    template
    void get(size_t index, Lambda l)
    {
        get( index, typename detail::deduce_type< decltype( &Lambda::operator() ) >::type( l ) );
    }

    std::tuple ...> components;
};