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 :: function＆lt;＆gt;作为模板非类型参数：

#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 >();
}

那么如何创建一个能够接受lambda外壳作为模板非类型参数的模板类呢？

Answer 1

只需使用type参数创建一个类模板，并在实例化模板时使用decltype推断lambda的类型。

#include <functional>

template <typename Function> 
class Bar 
{ };

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

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

但请注意，lambdas不是默认构造的，因此您可能需要添加更多代码来创建Bar的构造函数，该构造函数接收lambda的副本：

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) >();
}

c ++模板非类型参数lambda函数

2 个答案: