我有一些生成JIT想法的汇编代码。我使用元编程分析函数类型并生成正确的汇编代码来调用它。我最近想添加lambda支持,而lambda有两个版本,非捕获(普通__cdecl函数调用)和捕获(__thiscall,以lambda对象为上下文的成员函数调用)。
__thiscall稍微更昂贵,因此我希望尽可能避免使用它,并且我也希望避免根据lambda类型使用不同的调用生成函数。
我尝试了许多通过模板和SFINAE检测lambda类型的方法,但都失败了。
非捕获lambda有一个::operator function_type*,可以用它将它们转换为函数指针,而捕获lambda则没有。
相关的C++规范:http://en.cppreference.com/w/cpp/language/lambda 任何想法?
编辑 我希望有一个适用于vs 2013/2015、gcc和clang的解决方案。
测试代码如下
__thiscall稍微更昂贵,因此我希望尽可能避免使用它,并且我也希望避免根据lambda类型使用不同的调用生成函数。
我尝试了许多通过模板和SFINAE检测lambda类型的方法,但都失败了。
非捕获lambda有一个::operator function_type*,可以用它将它们转换为函数指针,而捕获lambda则没有。
相关的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 context\n", function);
}
template <class C>
void lambda_pointer_ctx(C lambda) {
int(C::*function)() const = &C::operator();
void* context = λ
printf("Lambda function: %p with context: %p\n", 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;
}
std::is_assignable<void(*&)(int), decltype(lambda)>{}
或者在您的情况下使用typedef void afunct(int);
的std::is_assignable<afunct*&, decltype(lambda)>{}
。 - Piotr Skotnicki