"Jon Kalb" <[EMAIL PROTECTED]> wrote in message
news:[EMAIL PROTECTED]
icrosoft.com...
> [...]
> Vandevoorde and Josuttis call it SFINAE, "substitution failute is not an
> error."

Ah, I've heard of this, but didn't realize what it was all about.

> In "C++ Templates: The Complete Guide" (Recommended), they give
> this example on pages 106-107:
>
>  typedef char RT1;
>  typedef struct {char a[2];} RT2;
>  template<typename T> RT1 test(typename T::X const*);
>  template<typename T> RT2 test(...);
>
>  #define type_has_member_type_X(T) \
>          (sizeof(test<T>(0) == 1)

This is cool.  What compilers are known to support it?

Dave




_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Reply via email to