Определить, можно ли преобразовать лямбду C++ в указатель на функцию

у меня есть код, который генерирует сборку для идеи JIT, над которой я работаю. Я использую мета-программирование для генерации вызовов, анализируя тип функции, а затем генерируя правильную сборку для ее вызова. Недавно я хотел добавить поддержку лямбда, а у лямбда есть две версии, без захвата (обычный вызов функции __cdecl) и захвата (__thiscall, вызов функции-члена с лямбда-объектом в качестве контекста).

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

Я пробовал много способов обнаружить лямбда-тип с помощью шаблонов и SFINAE, и все не удалось.

Не захватывающие лямбды имеют ::operator function_type* который можно использовать для преобразования их в указатели функций, а захват лямбд-нет.

соответствующая спецификация C++:http://en.cppreference.com/w/cpp/language/lambda

любой идеи?

редактировать Я хотел бы иметь решение, которое работает для vs 2013/2015, gcc и clang

тестовый код следующим образом

#include <utility>

    //this doesn't work
    template < class C, class T >
    struct HasConversion {
        static int test(decltype(std::declval<C>().operator T*, bool()) bar) {
            return 1;
        }

        static int test(...) {
            return 0;
        }
    };

    template <class C>
    void lambda_pointer(C lambda) {
        int(*function)() = lambda;

        printf("Lambda function: %p without contextn", function);
    }

    template <class C>
    void lambda_pointer_ctx(C lambda) {
        int(C::*function)() const = &C::operator();

        void* context = &lambda;

        printf("Lambda function: %p with context: %pn", function, context);
    }

    int main() {
        int a;

        auto l1 = [] {
            return 5;
        };

        auto l2 = [a] {
            return a;
        };


        //non capturing case

        //works as expected
        lambda_pointer(l1);

        //works as expected (ctx is meaningless and not used)
        lambda_pointer_ctx(l1);



        //lambda with capture (needs context)

        //fails as expected
        lambda_pointer(l1);

        //works as expected (ctx is a pointer to class containing the captures)
        lambda_pointer_ctx(l1);

        /*
        //this doesn't work :<
        typedef int afunct() const;

        HasConversion<decltype(l1), afunct>::test(0);
        HasConversion<decltype(l2), afunct>::test(0);
        */


        return 0;
    }