Follow

Keep Up to Date with the Most Important News

By pressing the Subscribe button, you confirm that you have read and are agreeing to our Privacy Policy and Terms of Use
Contact

Why doesn't the optimizer optimize this code?

Compiling and running this code with the maximum optimization settings seems to give the same result.

#include <stdio.h>

class A
{
public:
    A() { }
    const int* begin() const { return a; };
    const int* end() const { printf("end\n"); return a + 3; };
    bool isTrue() const { return true; }
    int a[4];
};

const A a{};

class B
{
public:
  const A& operator[](size_t) const { printf("B called\n"); return a; }
};


int main()
{
    const B b{};
    if (!b[0].isTrue()) return -1;
    for (const auto& x : b[0]) printf("%d\n", x);
}

I call b[0] twice on a constant object of type B which operator[] returns a constant object of type A.

Why does "B called" get printed twice? Why can’t the code save b[0] on the side and run on it different functionality? (Since the functions are const functions, they will return the same result…)

MEDevel.com: Open-source for Healthcare and Education

Collecting and validating open-source software for healthcare, education, enterprise, development, medical imaging, medical records, and digital pathology.

Visit Medevel

>Solution :

Why does "B called" get printed twice?

For starters, because you reference b[0] twice in main. And because the printf statement inside the operator function dictates that there’s a side effect for accessing b[0]. So the compiler can’t assume that your printf is just for debugging – it has to invoke it once for each call.

Using godbolt, if we remove the printf statements and evaluate, we can see the code is heavily optimized to print 0 three times without any calls whatsoever.

Optimized: https://godbolt.org/z/E8czPdr5W

Add a comment

Leave a Reply

Keep Up to Date with the Most Important News

By pressing the Subscribe button, you confirm that you have read and are agreeing to our Privacy Policy and Terms of Use

Discover more from Dev solutions

Subscribe now to keep reading and get access to the full archive.

Continue reading