[SOLVED] There's one constructor, but two destructors

Issue

It took me some time to get the error but still can't know how to solve it

As it appears at the code there's only one constructor call but it calls the destructor twice

Code:

struct A
{
  A()
  {
      std::cout << "C'tor" << std::endl;
  }

  A(A&&)
  {
      std::cout << "M'tor" << std::endl;
  }

  A(const A&) = delete;
  A& operator=(const A&) = delete;
  A& operator=(A&&) = delete;

  ~A()
  {
      std::cout << "D'tor" << std::endl;
  }
};

int main()
{
    auto lambda = [](int i){
        A a;
        if (i == 0)
            return std::move(a);
    };

    lambda(1);
    return 0;
}

Output:

C'tor                                                                                                                                                                        
D'tor                                                                                                                                                                        
D'tor

How can that happen? should the compiler could at the very least generate a warning for me? What do you think?

Solution

The return type of lambda is deduced to be A, but nothing is returned as long as i != 0, like in your example.

Returning nothing from a non-void function is Undefined Behavior, i.e., anything can happen.

Answered By - pasbi