Use of ‘auto func(int)’ before deduction of ‘auto’ in C++14

by

This is [dcl.spec.auto/11]:

If the type of an entity with an undeduced placeholder type is needed
to determine the type of an expression, the program is ill-formed.
Once a non-discarded return statement has been seen in a function,
however, the return type deduced from that statement can be used in
the rest of the function, including in other return statements.
[ Example:

auto n = n;                     // error, n's type is unknown
auto f();
void g() { &f; }                // error, f's return type is unknown
auto sum(int i) {
  if (i == 1)
    return i;                   // sum's return type is int
  else
    return sum(i-1)+i;          // OK, sum's return type has been deduced
}

 — end example ]

To translate this into English: the compiler needs to know the return type before you can use the function. In case of auto used like this, this is typically achieved by moving the definition before the point of use. If you don’t actually need to use return type deduction, you can keep the definition after the use if you provide a signature, including the return type, in the declaration.

More Related Contents:

  1. Is auto as a parameter in a regular function a GCC 4.9 extension?
  2. Implementation C++14 make_integer_sequence
  3. What are some uses of decltype(auto)?
  4. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  5. How does generic lambda work in C++14?
  6. C++11 aggregate initialization for classes with non-static member initializers
  7. Is there a way to pass auto as an argument in C++?
  8. Throw in constexpr function
  9. Why do lambda functions drop deduced return type reference by default?
  10. Injected class name compiler discrepancy
  11. Purpose of perfect forwarding for Callable argument in invocation expression?
  12. ThreadSanitizer only prints 2 frames
  13. What are transparent comparators?
  14. Why pass by const reference instead of by value?
  15. c++ virtual inheritance
  16. How do I best silence a warning about unused variables?
  17. GCC and Precompiled Headers
  18. Explicit specialization in non-namespace scope [duplicate]
  19. Overload a C++ function according to the return value
  20. Efficient 128-bit addition using carry flag
  21. Is there a compiler hint for GCC to force branch prediction to always go a certain way?
  22. Compilation fails with “relocation R_X86_64_32 against `.rodata.str1.8′ can not be used when making a shared object”
  23. Is it possible to create a function dynamically, during runtime in C++?
  24. Where does gcc look for C and C++ header files?
  25. How to make std::make_unique a friend of my class
  26. switch “transfer of control bypasses initialization of:” when calling a function
  27. Why does constexpr static member (of type class) require a definition?
  28. Is C++20 ‘char8_t’ the same as our old ‘char’?
  29. Reference invalidation after applying reverse_iterator on a custom made iterator
  30. What information does GCC Profile Guided Optimization (PGO) collect and which optimizations use it?

Leave a Comment