Header file

#include <functional>

struct Check {};
struct Entry {};
struct Table {};

class SeatEntries
{
public:
    // does not compile!
    template<class T>
    void Populate(T from,
                  std::function<bool (Entry *)> predicate = [] (Entry *) { return true; },
                  std::function<void (Entry *)> action = [] (Entry *) {})
    {
        Reset();
        PopulateImpl(from, predicate, action);
    }

    // compiles!
    void PopulateFromCheck(Check *from,
                  std::function<bool (Entry *)> predicate = [] (Entry *) { return true; },
                  std::function<void (Entry *)> action = [] (Entry *) {})
    {
        Reset();
        //PopulateImpl(from, predicate, action);
    }

    void Reset();

private:
    template<class T>
    void PopulateImpl(T from,
                      std::function<bool (Entry *)> predicate,
                      std::function<void (Entry *)> action);
};

template<>
void SeatEntries::PopulateImpl<Table *>(Table *from, std::function<bool (Entry *)> predicate, std::function<void (Entry *)> action);

template<>
void SeatEntries::PopulateImpl<Check *>(Check *from, std::function<bool (Entry *)> predicate, std::function<void (Entry *)> action);

      

        
        
        
      

    

Question

Why is the first participant template not generated? Is this a bug in both VS2012 and gcc 4.8.1? Am I not aware of some fact regarding member function templates and lambdas as default parameters?

VS2012 release

error C2958: the left parenthesis '(' found at 'seathelpers.h(33)' was not matched correctly  
error C2988: unrecognizable template declaration/definition  
error C2059: syntax error : '{'  
error C2334: unexpected token(s) preceding '{'; skipping apparent function body  

      

        
        
        
      

    

The referenced left parentheses are the opening parentheses for the Populate () function template.

GCC 4.8.1 (MinGW)

Test.h:13:66: internal compiler error: in push_class_level_binding_1, at cp/name-lookup.c:3019  
    std::function<bool (Entry *)> predicate = [] (Entry *) { return true; },  
                                               ^