makecontext 参数 #2 的 C++0x lambda

我在将 C++0x lambda 函数作为第二个参数传递给makecontext（来自 ucontext.h）。的签名makecontext is:

void makecontext(ucontext_t*, void (*)(), int, ...);

以前，我能够应用 C 风格(void (*)(void))转换为我使用的全局作用域函数。 Areinterpret_cast在 C++ 中就可以解决这个问题。但是，使用 C++0x lambda 函数时，出现以下错误：

error: invalid cast from type ‘main(int, char**)::<lambda(int)>’ to type ‘void (*)()’

我正在使用 G++ 4.6。以下代码足以产生编译错误：

#include <ucontext.h>

void f1(int i) {}

int main(int argc, char *argv[]) {
  ucontext_t c;
  makecontext(&c, (void (*)(void))f1, 1, 123); // ok
  makecontext(&c, reinterpret_cast<void (*)(void)>(f1), 1, 123); // ok

  auto f2 = [](int i){};
  makecontext(&c, (void (*)(void))f2, 1, 123); // error
  makecontext(&c, reinterpret_cast<void (*) (void)>(f2), 1, 123); // error
  return 0;
}

[](int i){}是一个无捕获的 lambda，有一个int参数且不返回任何内容；因此它可以隐式转换为void(*)(int)：指向一个函数的指针，该函数需要一个int并没有返回任何内容。

假设makecontextfunction 能够处理不同类型的函数（从其文档看来确实如此，尽管文档有点含糊），那么您需要使用两次强制转换才能将其与 lambda 一起使用：一次将 lambda 强制转换为一个函数指针，以及一个将 lambda 转换为void(*)() type:

auto f2 = [](int i) { };
makecontext(&c, (void (*)(void))(void (*)(int))f2, 1, 123);

这是相当不安全的（函数指针类型之间的转换并不是最安全的事情），因此最好将此类功能包装到实用程序库中。您可以将makecontext函数带有函数模板，这样您就可以确保该函数的所有使用都是类型安全的，并且所有不安全的代码都封装在一个地方。