0 votes
in D Programming by
Can't A Sufficiently Smart Compiler Figure Out That A Function Is Pure Automatically?

1 Answer

0 votes
by

The compiler infers purity (and safety, and nothrow) for delegate and function literals. It doesn't do this for normal functions for several reasons:

most functions call other functions, which call other functions, until one of them calls a library routine whose source is not available to the compiler. So it will have to assume it is not pure. With a pure function attribute, external library functions that are pure can be marked as pure, and then the analysis can work for enough cases to be useful.

Since virtual functions (and by extension delegates and function pointers) can be extended by the user at times the compiler won't see it, they have to be assumed to be impure.

If the programmer intends for a particular function to be pure and the compiler detects it is not, this may go unnoticed by the programmer. Even worse, if the programmer does notice it, it may be arbitrarily difficult to determine why the compiler thinks it is impure - is it a programming mistake or a compiler bug?

Related questions

0 votes
asked Mar 5, 2021 in D Programming by SakshiSharma
+2 votes
asked Jun 19, 2019 in C Plus Plus by anonymous
...