C++ Brain Teasers: Exercise Your Mind/

...

/

Discussion: What’s the Time of Death?

Discussion: What’s the Time of Death?

Execute the code to understand the output and gain insights into the concept of temporary materialization and lifetime extension.

We'll cover the following...

Run the code

Now, it’s time to execute the code and observe the output.

Press + to interact
#include <iostream>
struct MemoryArea
{
    MemoryArea(int number) : number_(number) {}
    ~MemoryArea() { std::cout << "Freed memory area " << number_ << "\n"; }
    int number_;
};
MemoryArea getMemory(int number) { return MemoryArea{number}; }
struct DataSource
{
    DataSource(const MemoryArea &memoryArea)
    : memoryArea_(memoryArea) {}
    const MemoryArea &memoryArea_;
};
int main()
{
    const auto &reference1 = getMemory(1);
    std::cout << "Bound reference 1\n";
    const auto &reference2 = getMemory(2).number_;
    std::cout << "Bound reference 2\n";
    const auto &reference3 = DataSource(getMemory(3));
    std::cout << "Bound reference 3\n";
}

As we’ve seen a few times by now, a function call is a prvalue, and no object exists until that prvalue is used to initialize one. In the A Strange Assignment puzzle, we also saw an exception to this rule: when we didn’t use the prvalue to initialize an object, we called that a discarded-value expression and learned that a temporary is then materialized.

Understanding the output

In this puzzle, the results of the function call expressions aren’t assigned to objects as in the Counting Copies puzzle, but neither are they discarded as in the “A Strange Assignment” puzzle. Instead, we’re binding references to them in various ways. What happens then?

  • For the first call, we bind the reference reference1 directly to the prvalue. A temporary is materialized, as we briefly touched upon in the “A Strange Assignment” puzzle.

  • For the second call, we access the member number_ on a class prvalue. This is another case where a temporary needs to be materialized. Otherwise, no object would be there for us to access the member of.

  • For the third call, we pass the prvalue to ...