c++ - 如何在 C++ 的模板定义中使用 lambda？

Question

这是我正在努力实现的一个简单示例。甚至可以将 lambda 传递给模板函数吗？

头文件

class my_impl {
public:
    template<typename F> void do_something(F && f);
};

CPP 文件

// .cpp file
template<typename F> my_impl::do_something(F && f)
{
    // ... implementation
}

template void my_impl::do_something<std::string &&>(std::string &&); // OK
template void my_impl::do_something<???>(???); // what goes here for lambda?

// used like this
my_impl impl;
impl.do_something( "123" );
impl.do_something( []() { 
   ...
} );

Answer 1

lambda 是编译器生成的唯一内部类型的实例。

您可以使用调试器亲眼看到这一点。例如，给定以下简短的测试代码片段:

class my_impl {
public:
    template<typename F> void do_something(F && f);
};

template<typename F> void my_impl::do_something(F && f)
{
}

int main()
{
    my_impl m;

    m.do_something( []() {} );
}

使用 gcc 5.3，单步执行调试器，观察到以下结果:

main () at t.C:22
22      m.do_something( []() {} );
(gdb) s
my_impl::do_something<main()::<lambda()> >(<unknown type in /tmp/t, CU 0x0, DIE 0x23e>) (this=0x7fffffffe44d, f=<unknown type in /tmp/t, CU 0x0, DIE 0x23e>)
    at t.C:9

请注意，gdb 将模板实例报告为类型 my_impl::do_something<main()::<lambda()> > .编译器生成了一个内部伪类型 main()::<lambda()>对于 lambda 类型。当然，您不能引用这样的类型。

我没有看到引用 lambda 内部类型的方法。