C++模板非类型参数的lambda功能

Question

这工作：

#include <functional> 

template < bool (*F)(int) > class Foo {}; 

bool fooFunc(int n) { return true; } 

int main(int argc, char* argv[]) 
{ 
    auto a = Foo<fooFunc>(); 
} 

但这不起作用，因为你不能在lambda转换为一个函数指针：

#include <functional> 

template < bool (*F)(int) > class Foo {}; 

auto barFunc = [] (int n) -> bool { return true; }; 

int main(int argc, char* argv[]) 
{ 
    auto a = Foo<barFunc>(); 
} 

这不工作，因为你不能用std ::功能<>作为模板非类型参数：

#include <functional> 

template < std::function< bool(int) > F > class Bar {}; 

auto barFunc = [] (int n) -> bool { return true; }; 

int main(int argc, char* argv[]) 
{ 
    auto b = Bar<barFunc>(); 
} 

所以，我该怎么办CREA是否能够接受lambda外壳作为模板非类型参数的模板类？

Answer 1

只需使用类型参数创建类模板，并在实例化模板时使用decltype来推导出lambda的类型。

#include <functional> 

template <typename Function> 
class Bar 
{ }; 

auto barFunc = [] (int n) -> bool { return true; }; 

int main() 
{ 
    auto b = Bar<decltype(barFunc)>(); 
} 

但需要注意的lambda表达式没有缺省构造的，所以你可能需要添加更多的代码来创建的Bar一个构造函数的拉姆达的副本：

template <typename Function> 
class Bar 
{ 
    public: 

    Bar(Function f) : m_function(f) 
    { } 

    private: 

    Function m_function; 
}; 

Answer 2

在你的第一个例子中，你需要添加一个指针，因为函数没有衰减到一个。

int main(int argc, char**) 
{ 
    auto a = Foo< std::add_pointer<decltype(fooFunc)>::type(0) >(); 
}