struct my
{
my(){ std::cout<<"Default";}
my(const my& m){ std::cout<<"Copy";}
~my(){ std::cout<<"Destructor";}
};
int main()
{
my m(); //1
my n(my()); //2
}
Expected output :
1 ) Default
2 ) Copy
Actual output :
What's wrong with my understanding of the constructor invoking mechanism?
Note I have omitted header files for brevity.
Case 1)
m is interpreted as a function return my and taking no arguments.
To see the expected output remove () i.e use my m;
Case 2)
This is something better known as the "Most vexing parse".
n is interpreted as a function returning my that takes an argument of type pointer to function returning my taking no arguments.
To see the expected output in this case try my n((my())); [Instead of treating as an argument specification as in the former case the compiler would now interpret it as an expression because of the extra ()]
My interpretation:
my n((my())) is equivalent to my n = my(). Now the rvalue expression my() creates a temporary[i.e a call to the default constructor] and n is copy initialized to that temporary object[no call to the copy-ctor because of some compiler optimization]
P.S: I am not 100% sure about the last part of my answer. Correct me if I am wrong.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With