C++ SFINAE examples?

by

I like using SFINAE to check boolean conditions.

template<int I> void div(char(*)[I % 2 == 0] = 0) {
    /* this is taken when I is even */
}

template<int I> void div(char(*)[I % 2 == 1] = 0) {
    /* this is taken when I is odd */
}

It can be quite useful. For example, i used it to check whether an initializer list collected using operator comma is no longer than a fixed size

template<int N>
struct Vector {
    template<int M> 
    Vector(MyInitList<M> const& i, char(*)[M <= N] = 0) { /* ... */ }
}

The list is only accepted when M is smaller than N, which means that the initializer list has not too many elements.

The syntax char(*)[C] means: Pointer to an array with element type char and size C. If C is false (0 here), then we get the invalid type char(*)[0], pointer to a zero sized array: SFINAE makes it so that the template will be ignored then.

Expressed with boost::enable_if, that looks like this

template<int N>
struct Vector {
    template<int M> 
    Vector(MyInitList<M> const& i, 
           typename enable_if_c<(M <= N)>::type* = 0) { /* ... */ }
}

In practice, i often find the ability to check conditions a useful ability.

More Related Contents:

  1. SFINAE to check for inherited member functions
  2. Templated check for the existence of a class member function?
  3. How can I add reflection to a C++ application?
  4. Check if a class has a member function of a given signature
  5. How does `void_t` work
  6. Does C++ support compile-time counters?
  7. SFINAE working in return type but not as template parameter
  8. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  9. What is “Expression SFINAE”?
  10. Metaprograming: Failure of Function Definition Defines a Separate Function
  11. How to write a type trait `is_container` or `is_vector`?
  12. Detecting constexpr with SFINAE
  13. How to detect existence of a class using SFINAE?
  14. Can you make custom operators in C++?
  15. Template specialization and enable_if problems [duplicate]
  16. SFINAE works differently in cases of type and non-type template parameters
  17. Select class constructor using enable_if
  18. C++: How to require that one template type is derived from the other
  19. How to know if a type is a specialization of std::vector?
  20. Using SFINAE to check for global operator
  21. How can I expand call to variadic template base classes?
  22. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  23. using SFINAE for template class specialisation
  24. calculating factorial using template meta-programming
  25. How to check if a template parameter is an iterator type or not?
  26. Obtain container type from (its) iterator type in C++ (STL)
  27. SFINAE tried with bool gives compiler error: “template argument ‘T::value’ involves template parameter” [duplicate]
  28. Template metaprogram converting type to unique number
  29. How to test whether class B is derived from template family of classes
  30. How do we use void_t for SFINAE?

Leave a Comment