i m trying to make a simple program ( & yes , it is a homework ) that can generate Dates , & like most of normal people : i made my Class attributes private , i tried to send the same type that i m working on to the constructor but the complier have not accept it , i did some research & i found out that in cases like that people generously send a const “type” reference to the constructor witch meant to me that have not understand OOP well
so why do we have to send the const ” type ” reference instead of just the types name to the constructor ? & please give me some links or websites for beginners
here is a peace of my Code :
class Date {
int d ;
int m ;
int y ;
public :
Date();
Date(int , int , int);
Date(const Date &);// my question is : why do we have to write this instead of Date( Date )
};
PS : sorry for my English
To paraphrase our question:
I’m going to split this into two parts, the first answering why a copy constructor needs to take its argument per reference, the second why this needs to be a const reference.
The reason a copy constructor needs to take its argument per reference is that, for a function that’s taking an argument per copy
void f(T arg), when you call itf(obj),objis copied intoargusingT‘s copy constructor. So if you want to implement the copy constructor, you’d better not take the argument by copy, because this would call the copy constructor while invoking it, leading to an endless recursion. You can easily try this yourself:That program should only ever write one line and then blow the stack.
Note: As Dennis points out in his comment, actually this program is not guaranteed to compile, so, depending on your compiler, you might not really be able to try it.
Bottom line: A copy constructor should take its argument by reference, because taking it per copy would require the copy constructor.
That leaves the question of why it is
const T&and not simplyT&? In fact, there are two reasons for that.The logical reason is that, when you invoke the copy constructor, you do not expect the object copied from to change. In C++, if you want to express that something is immutable, you use
const. This tells users that they can safely pass their precious objects to your copy constructor, because it won’t do anything with it except read from it. As a nice side effect, if you implement the copy constructor and accidentally try to write to the object, the compiler throws an error message at you, reminding you of the promise made to the caller.The other reason is that you cannot bind temporary objects to non-
constreferences, you can only bind them toconstreferences. A temporary object is, for example, what a function might return:When
f()is called, atesterobject is created inside, and a copy of it is then returned to the caller, which might then put it into another copy:The problem is that
f()returns a temporary object, and in order to call the copy constructor, this temporary would need to bind to therhsargument oftester‘s copy constructor, which is a non-constreference. But you cannot bind a temporary object to a non-constreference, so that code won’t compile.While you can work around this if you want (just don’t copy the temporary, but bind it to a
constreference instead, which extends the temporary’s lifetime to the end of the reference’s lifetime:const tester& my_t = f()), people expect to be able to copy temporaries of your type.Bottom line: A copy constructor should take its argument by const reference, because otherwise users might not be willing or able to use it.
Here’s one more fact: In the next C++ standard, you can overload functions for temporary objects, so-called
rvalues. So you can have a special copy constructor that takes temporary objects overloading the “normal” copy constructor. If you have a compiler that already supports this new feature, you can try it out:When you use the above code to invoke our
f()the new copy constructor for rvalues should be called when the temporary object returned by the call to
f()is copied tomy_tand the regular copy constructor might be called in order to copy thetobject from inside off()to the returned temporary. (Note: you might have to disable your compiler’s optimization in order to see this, as the compiler is allowed to optimize away all the copying.)So what can you with this? Well, when you copy an rvalue, you know that the object copied from is going to be destroyed after the call to the copy constructor, so the copy constructor taking an rvalue (
T&&) could just steal the values from the argument instead of copying them. Since the object is going to be destroyed anyway, nobody is going to notice.For some classes (for example, for string classes), moving the value from one object to another could be much cheaper than copying them.