Skip to content

Instantly share code, notes, and snippets.

@fenbf
Last active Feb 24, 2021
Embed
What would you like to do?
template <typename T>
class HasToString
{
private:
typedef char YesType[1];
typedef char NoType[2];
template <typename C> static YesType& test( decltype(&C::ToString) ) ;
template <typename C> static NoType& test(...);
public:
enum { value = sizeof(test<T>(0)) == sizeof(YesType) };
};
@Bab64
Copy link

Bab64 commented Oct 10, 2019

Hi fenbf. Thanks for this interesting solution. There is something that I'm not able to understand: 'test(0)'
In my understanding, the two 'test' functions have NO BODY. How then you may call with any of them with '0'? Why an int. Beyond, if I use '1' instead of '0', the global program does not work at all? Thanks in advance for any highlight!

@fenbf
Copy link
Author

fenbf commented Oct 10, 2019

Hi! we don't need bodies of the functions as it's used only at compile time. So we "Call" them without running the code... "0" converts to nullp pointer and that matches with the member function pointer &C::ToString. But if the ToString function is not available then we call default "NoType test(...) that matches all params.
You can also have a look at my updated post, with C++17 techniques: https://www.bfilipek.com/2019/07/detect-overload-from-chars.html

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment