没有模板的 C++11 内联 lambda 函数

Question

我想将 lambda 函数作为回调传递给另一个函数:

void test(const std::function<void()> fn){
    fn();
}

它工作正常，一切正常。但。无论我使用多高的编译器优化级别，它都不会内联它:
proof

当我玩了一段时间后，我发现使用模板 - 它变成了内联:

template<typename T>     
void test2(T fn){
     fn();
}

proof_2

那么...有没有办法让它在没有模板的情况下内联？以及为什么它与模板声明内联？只有函数类型作为模板参数传递，而不是函数本身。

Answer 1

简短回答:不，如果没有模板(在一般情况下)，您将无法完成这项工作。原因是源代码中的每个 lambda 表达式都会为该 lambda 闭包生成一个 唯一类型。 Proof :

auto f1 = [] { return 1; };
auto f2 = [] { return 1; };
static_assert(!std::is_same<decltype(f1), decltype(f2)>::value, "He's wrong");

因此，要接受任意闭包，您要么必须使用模板，要么必须使用类型删除包装器(例如 std::function)。当然，类型删除依赖于运行时多态性，因此它不适合内联。

您可能完成这项工作的唯一方法是使用无状态 lambda(无捕获)，它具有到函数指针的隐式转换。让您的算法将参数作为指向函数的指针，并希望优化器看得足够深以内联调用。换句话说，把函数改成这样:

void test(void (*fn)()) {
    fn();
}