check if member exists using enable_if

by

This has become way easier with C++11. 

template <typename T> struct Model
{
    vector<T> vertices;

    void transform( Matrix m )
    {
        for(auto &&vertex : vertices)
        {
          vertex.pos = m * vertex.pos;
          modifyNormal(vertex, m, special_());
        }
    }

private:

    struct general_ {};
    struct special_ : general_ {};
    template<typename> struct int_ { typedef int type; };

    template<typename Lhs, typename Rhs,
             typename int_<decltype(Lhs::normal)>::type = 0>
    void modifyNormal(Lhs &&lhs, Rhs &&rhs, special_) {
       lhs.normal = rhs * lhs.normal;
    }

    template<typename Lhs, typename Rhs>
    void modifyNormal(Lhs &&lhs, Rhs &&rhs, general_) {
       // do nothing
    }
};

Things to note:

  • You can name non-static data members in decltype and sizeof without needing an object.
  • You can apply extended SFINAE. Basically any expression can be checked and if it is not valid when the arguments are substituted, the template is ignored.

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. Template specialization and enable_if problems [duplicate]
  18. SFINAE works differently in cases of type and non-type template parameters
  19. Select class constructor using enable_if
  20. Using SFINAE to check for global operator
  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. Why not infer template parameter from constructor?
  27. C++ type registration at compile time trick
  28. When instantiating a template, should members of its incomplete argument types be visible?
  29. calculating factorial using template meta-programming
  30. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?

Leave a Comment