Using SFINAE to check for global operator

by

I should have simply been more faithful to this answer.
A working implementation is:

namespace has_insertion_operator_impl {
  typedef char no;
  typedef char yes[2];

  struct any_t {
    template<typename T> any_t( T const& );
  };

  no operator<<( std::ostream const&, any_t const& );

  yes& test( std::ostream& );
  no test( no );

  template<typename T>
  struct has_insertion_operator {
    static std::ostream &s;
    static T const &t;
    static bool const value = sizeof( test(s << t) ) == sizeof( yes );
  };
}

template<typename T>
struct has_insertion_operator :
  has_insertion_operator_impl::has_insertion_operator<T> {
};

I believe that it does not actually rely on SFINAE.

More Related Contents:

  1. Templated check for the existence of a class member function?
  2. How can I add reflection to a C++ application?
  3. Check if a class has a member function of a given signature
  4. How does `void_t` work
  5. How to detect whether there is a specific member variable in class?
  6. SFINAE working in return type but not as template parameter
  7. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  8. What is “Expression SFINAE”?
  9. Metaprograming: Failure of Function Definition Defines a Separate Function
  10. SFINAE to check for inherited member functions
  11. C++ SFINAE examples?
  12. Selecting a member function using different enable_if conditions
  13. Why should I avoid std::enable_if in function signatures
  14. How to write a type trait `is_container` or `is_vector`?
  15. Detecting constexpr with SFINAE
  16. How to detect existence of a class using SFINAE?
  17. check if member exists using enable_if
  18. Template specialization and enable_if problems [duplicate]
  19. SFINAE works differently in cases of type and non-type template parameters
  20. Select class constructor using enable_if
  21. using SFINAE for template class specialisation
  22. How to check if a template parameter is an iterator type or not?
  23. SFINAE tried with bool gives compiler error: “template argument ‘T::value’ involves template parameter” [duplicate]
  24. How to test whether class B is derived from template family of classes
  25. How do we use void_t for SFINAE?
  26. How to check whether operator== exists?
  27. What are Mixins (as a concept)
  28. multiple definition of template specialization when using different objects
  29. How to create a template function within a class? (C++)
  30. if / else at compile time in C++?

Leave a Comment