[eru]

D actually has a better model for pure functions than C++. See http://dlang.org/function.html#pure-functions

[luikore]

Modern C/C++ compilers can detect a sub set of pure functions and do possible aggressive optimisations. There's even an `__attribute__ ((pure))` in GCC for explicit pureness.