Why should I avoid std::enable_if in function signatures

by

Put the hack in the template parameters.

The enable_if on template parameter approach has at least two advantages over the others:

  • readability: the enable_if use and the return/argument types are not merged together into one messy chunk of typename disambiguators and nested type accesses; even though the clutter of the disambiguator and nested type can be mitigated with alias templates, that would still merge two unrelated things together. The enable_if use is related to the template parameters not to the return types. Having them in the template parameters means they are closer to what matters;

  • universal applicability: constructors don’t have return types, and some operators cannot have extra arguments, so neither of the other two options can be applied everywhere. Putting enable_if in a template parameter works everywhere since you can only use SFINAE on templates anyway.

For me, the readability aspect is the big motivating factor in this choice.

More Related Contents:

  1. Template specialization and enable_if problems [duplicate]
  2. Check if a class has a member function of a given signature
  3. SFINAE working in return type but not as template parameter
  4. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  5. What is “Expression SFINAE”?
  6. Selecting a member function using different enable_if conditions
  7. Why doesn’t SFINAE (enable_if) work for member functions of a class template?
  8. How to write a type trait `is_container` or `is_vector`?
  9. Detecting constexpr with SFINAE
  10. SFINAE works differently in cases of type and non-type template parameters
  11. How Does std::enable_if work?
  12. Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?
  13. using SFINAE for template class specialisation
  14. std::enable_if to conditionally compile a member function
  15. Variadic template pack expansion
  16. std::function vs template
  17. initializer_list and template type deduction
  18. Metaprograming: Failure of Function Definition Defines a Separate Function
  19. What is the partial ordering procedure in template deduction
  20. C++ SFINAE examples?
  21. Disambiguate class-member in multiple inheritance
  22. When to use std::forward to forward arguments?
  23. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  24. How to detect existence of a class using SFINAE?
  25. What does this variadic template code do?
  26. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  27. Returning a void?
  28. How to check if a template parameter is an iterator type or not?
  29. Partial specialization of function templates
  30. How do we use void_t for SFINAE?

Leave a Comment