When should I use C++14 automatic return type deduction?

by

[*]

C++11 raises similar questions: when to use return type deduction in lambdas, and when to use auto variables.

The traditional answer to the question in C and C++03 has been “across statement boundaries we make types explicit, within expressions they are usually implicit but we can make them explicit with casts”. C++11 and C++1y introduce type deduction tools so that you can leave out the type in new places.

Sorry, but you’re not going to solve this up front by making general rules. You need to look at particular code, and decide for yourself whether or not it aids readability to specify types all over the place: is it better for your code to say, “the type of this thing is X”, or is it better for your code to say, “the type of this thing is irrelevant to understanding this part of the code: the compiler needs to know and we could probably work it out but we don’t need to say it here”?

Since “readability” is not objectively defined[*], and furthermore it varies by reader, you have a responsibility as the author/editor of a piece of code that cannot be wholly satisfied by a style guide. Even to the extent that a style guide does specify norms, different people will prefer different norms and will tend to find anything unfamiliar to be “less readable”. So the readability of a particular proposed style rule can often only be judged in the context of the other style rules in place.

All of your scenarios (even the first) will find use for somebody’s coding style. Personally I find the second to be the most compelling use case, but even so I anticipate that it will depend on your documentation tools. It’s not very helpful to see documented that the return type of a function template is auto, whereas seeing it documented as decltype(t+u) creates a published interface you can (hopefully) rely on.

[*] Occasionally someone tries to make some objective measurements. To the small extent that anyone ever comes up with any statistically significant and generally-applicable results, they are completely ignored by working programmers, in favour of the author’s instincts of what is “readable”.

More Related Contents:

  1. What are some uses of decltype(auto)?
  2. what is the concept of evaluation of expression z = (y = 30) + (y = 10) + (y = 20); [closed]
  3. Has C++ standard changed with respect to the use of indeterminate values and undefined behavior in C++14?
  4. What are transparent comparators?
  5. How does generic lambda work in C++14?
  6. C++11 aggregate initialization for classes with non-static member initializers
  7. Advantages of using std::make_unique over new operator [duplicate]
  8. Is auto as a parameter in a regular function a GCC 4.9 extension?
  9. Is a pointer with the right address and type still always a valid pointer since C++17?
  10. Deleted default constructor. Objects can still be created… sometimes
  11. Try to understand compiler error message: default member initializer required before the end of its enclosing class
  12. Constant expression initializer for static class member of type double
  13. c++ lambdas how to capture variadic parameter pack from the upper scope
  14. Can I obtain C++ type names in a constexpr way?
  15. Are compound literals Standard C++?
  16. Understanding the example on lvalue-to-rvalue conversion
  17. Lambda capture as const reference?
  18. Self-initialization of a static constexpr variable, is it well-formed?
  19. Is there an automatic noexcept specifier?
  20. Optimization of raw new[]/delete[] vs std::vector
  21. Which headers in the C++ standard library are guaranteed to include another header?
  22. Why was the space character not chosen for C++14 digit separators?
  23. error::make_unique is not a member of ‘std’
  24. Why isn’t `std::initializer_list` defined as a literal type?
  25. Can I legally reinterpret_cast between layout-compatible standard-layout types?
  26. Is C++20 ‘char8_t’ the same as our old ‘char’?
  27. Directly write into char* buffer of std::string
  28. What is the status on dynarrays?
  29. Reference invalidation after applying reverse_iterator on a custom made iterator
  30. How do we use void_t for SFINAE?

Leave a Comment