Lambda函數作為構造函數中std :: function的默認參數

Question

我想在類的構造函數中為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似乎不喜歡這段代碼 ：

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

Answer 1

這是一個錯誤：編譯器在處理源代碼時崩潰或發生致命的內部錯誤，並且消息本身正在邀請您將錯誤視為：

“如果合適，請提交完整的錯誤報告，並提供預處理的來源。”

這是另一種可能的解決方法：

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