On 7/26/2011 5:53 PM, Nathan Ridge wrote:
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...
You mean an operator in general which is a member function or static function of a class ? Or just a function object operator ? I had not thought about that, but it might be possible to see if that exists also. I will look into that possibility for TTI. However Frederick Bron's extension to type traits, which is called type traits operators, does find out whether a particular operator exists for a given type. I am not sure offhand whether or not it supports the call operator '()' for function objects or not. Eddie