fork download

#include <iostream>
 
using namespace std;
 
struct some_class
{
    char field1;
    bool field2;
 
    some_class()
        : field1('a')
        , field2(0)
    {
    }
};
 
struct unnamed_lambda
{
    template<typename T>
    T operator()(T x) const { return x + 1; }
};
 
struct unnamed_lambda2
{
    template<typename T>
    T operator()(T x) const { return x + 2; }
};
 
 
template<class processor>
void reflect(processor & p, some_class& sc)
{
    reflect(p, sc.field1, "field1");
    reflect(p, sc.field2, "field2");
}
 
template<class t>
void reflect(unnamed_lambda & p, t& val, string str)
{
    cout << val << endl;
}
 
void print_helper()
{
    unnamed_lambda lambda = unnamed_lambda{};
    some_class sc;
 
    reflect(lambda, sc);
}
 
template<class t>
void reflect2(unnamed_lambda2 & p, t& val, string str)
{
    cout << val + 1 << endl;
}
 
void print_helper2()
{
    unnamed_lambda2 lambda = unnamed_lambda2{};
    some_class sc;
 
    reflect(lambda, sc);
}
 
 
int main() 
{
    print_helper();
    print_helper2();
 
    system("pause");
 
    return 0;
}
 
 

prog.cpp: In instantiation of 'void reflect(processor&, some_class&) [with processor = unnamed_lambda2]':
prog.cpp:62:23:   required from here
prog.cpp:33:35: error: no matching function for call to 'reflect(unnamed_lambda2&, char&, const char [7])'
     reflect(p, sc.field1, "field1");
                                   ^
prog.cpp:33:35: note: candidates are:
prog.cpp:31:6: note: template<class processor> void reflect(processor&, some_class&)
 void reflect(processor & p, some_class& sc)
      ^
prog.cpp:31:6: note:   template argument deduction/substitution failed:
prog.cpp:33:35: note:   cannot convert 'sc.some_class::field1' (type 'char') to type 'some_class&'
     reflect(p, sc.field1, "field1");
                                   ^
prog.cpp:38:6: note: template<class t> void reflect(unnamed_lambda&, t&, std::string)
 void reflect(unnamed_lambda & p, t& val, string str)
      ^
prog.cpp:38:6: note:   template argument deduction/substitution failed:
prog.cpp:33:35: note:   cannot convert 'p' (type 'unnamed_lambda2') to type 'unnamed_lambda&'
     reflect(p, sc.field1, "field1");
                                   ^
prog.cpp:34:35: error: no matching function for call to 'reflect(unnamed_lambda2&, bool&, const char [7])'
     reflect(p, sc.field2, "field2");
                                   ^
prog.cpp:34:35: note: candidates are:
prog.cpp:31:6: note: template<class processor> void reflect(processor&, some_class&)
 void reflect(processor & p, some_class& sc)
      ^
prog.cpp:31:6: note:   template argument deduction/substitution failed:
prog.cpp:34:35: note:   cannot convert 'sc.some_class::field2' (type 'bool') to type 'some_class&'
     reflect(p, sc.field2, "field2");
                                   ^
prog.cpp:38:6: note: template<class t> void reflect(unnamed_lambda&, t&, std::string)
 void reflect(unnamed_lambda & p, t& val, string str)
      ^
prog.cpp:38:6: note:   template argument deduction/substitution failed:
prog.cpp:34:35: note:   cannot convert 'p' (type 'unnamed_lambda2') to type 'unnamed_lambda&'
     reflect(p, sc.field2, "field2");
                                   ^

Standard output is empty