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

我想在类的构造函数中为functor参数设置一个默认仿函数.作为一个最小的例子,我提出了一个应该作为过滤器服务器的类,它过滤类型为T的元素,如果过滤器函数返回true.过滤器函数应该在构造函数中提供,默认为“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 doesn’t seem to like this piece of code：

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在这里真的有问题,或者没有实现这个)或者我做错了什么？

作为一种解决方法,我目前使用默认构造的std :: function并且只调用它(我想要调用它),如果它已设置：

Filter(const FilterFunc & f = FilterFunc) :
        f(f)
    {
    }

    // When using it:
    void process() {
        if (!f || f(someItem)) {    // <-- workaround
        }
    }

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

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