Lambda函数作为构造函数中std::函数的默认参数

Lambda function as a default argument for std::function in constructor

本文关键字：函数 参数 std 默认 构造函数 Lambda      更新时间：2023-10-16

我希望在类的构造函数中有一个默认的函子参数。作为一个最小的例子，我提出了一个应该作为过滤器的类，如果过滤器函数返回true，它将过滤类型为T的元素。过滤器函数应该在构造函数中提供，默认为"accept all"过滤器函数:

template<class T>
class Filter
{
public:
    typedef std::function<bool(const T&)> FilterFunc;
    Filter(const FilterFunc & f = [](const T&){ return true; }) :
        f(f)
    {
    }
private:
    FilterFunc f;
};

我像下面这样实例化模板类:

int main() {
    Filter<int> someInstance;  // No filter function provided    (<-- line 19)
}

但是，gcc 4.7似乎不喜欢这段代码:

prog.cpp: In constructor ‘Filter<T>::Filter(const FilterFunc&) [with T = int; Filter<T>::FilterFunc = std::function<bool(const int&)>]’:
prog.cpp:19:17: internal compiler error: in tsubst_copy, at cp/pt.c:12141
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.7/README.Bugs> for instructions.
Preprocessed source stored into /home/g9i3n9/cc82xcqE.out file, please attach this to your bugreport.

怎么了?我的代码是否符合标准(所以GCC在这里真的有bug，或者没有实现这个)，或者我做错了什么?

作为一种解决方案，我目前使用默认构造的std::function，并且只在设置时调用它(我想调用它的地方):

    Filter(const FilterFunc & f = FilterFunc) :
        f(f)
    {
    }
    // When using it:
    void process() {
        if (!f || f(someItem)) {    // <-- workaround
        }
    }

这是一个bug:编译器崩溃或在处理源代码时发生了致命的内部错误，并且消息本身邀请您像这样处理错误:

"请提交一份完整的bug报告，如果合适的话，请附上预处理过的源代码。"

这是另一个可能的解决方法:

template<class T>
class Filter
{
public:
    typedef std::function<bool(const T&)> FilterFunc;
    Filter() { }
    Filter(FilterFunc const& f) : f(f) { }
private:
    FilterFunc f = [](const T&){ return true; };
};

作为进一步的替代，GCC支持委托构造函数，您可能想要考虑:

#include <functional>
template<class T>
class Filter
{
public:
    typedef std::function<bool(const T&)> FilterFunc;
    Filter() : Filter([](const T&){ return true; }) { }
    Filter(FilterFunc const& f) : f(f) { }
private:
    FilterFunc f;
};

相关文章：