>> // default constructor, right?
Actually, no. The default constructor for a class takes no arguments. Besides, that code works like a copy constructor, but it is still not considered a constructor call.