26 Jul
2011
26 Jul
'11
9:53 p.m.
One thing that I think is missing is the option to check for a named callable within a type. For example, one might want to use enable_if style concept checking. So long as a type has function 'xxx' that takes arguments of type x,y,and z, and returns something convertible to type A, the concept is obeyed. I don't believe this can be done with C++03, but with C++1X I was able to do something using decltype.
By "named callable" do you mean a member function or static member function of the type ? TTI can check for that. Or is there some other criteria for which you are looking ?
I think a (public) member variable with an operator() also qualifies as a "named callable". Admittedly, it's not something you see often... Regards, Nate