Summary
If you want fast compile times, be careful with functions using auto as a return type in header files.
C++
The center for all discussion and news regarding C++.
Rules
- Respect instance rules.
- Don't be a jerk.
- Please keep all posts related to C++.
Why the fuck do people do this to themselves.
From my discussion with C++ folk, auto is just part of the "modern" way of doing c++. Paired with the -> return type. Perhaps including that -> return type negates this problem? It's still strange to me. Feels more like Rust
One day the use of auto will grow so extensive that modern Python code will have more type annotations than modern C++ code!
Clean code, and compile-time is irrelevant for most projects.
This is interesting, but drawing conclusions from only two measurements is not reasonable. Especially so when the time-span measured is in the order of a few ms. For example, the two instances of clang might not be running at the same clock frequency, which could easily explain away the observed difference.
Plus, you could easily generate a very large number of functions, to increase the amount of work the compiler has to do. So I did just that (N = 10,000), using the function from the article, and used hyperfine to perform the actual benchmarking.
- With
intBenchmark 1: clang -o /dev/null test.cpp -c Time (mean ± σ): 1.243 s ± 0.018 s [User: 1.192 s, System: 0.050 s] Range (min … max): 1.221 s … 1.284 s 10 runs - With
autoBenchmark 1: clang -o /dev/null test.cpp -c Time (mean ± σ): 1.291 s ± 0.015 s [User: 1.238 s, System: 0.051 s] Range (min … max): 1.274 s … 1.320 s 10 runs
So if you have a file with 10'000 simple functions with/without auto, then it increases your compile time by ~4%.
I'd worry more about the readability of auto, than about the compile time cost at that point
If a function body is expensive to parse, isn't it then a complex function body that shouldn't go into the header anyways?
If it's templated / generic, which IIRC is one of the reasons to try and use auto, then it has to go in the header anyway.
technically it doesn't have to (you can always create a .tpp (which is still technically a header, i know, but it isn't a header header)), but i get what you mean
I mean it has to functionally be a header. Could even be a .c file, filename extensions stopped mattering before we even had C++03 and that's saying something!