16

Do we have to explicitly define a default constructor when we define a copy constructor for a class?? Please give reasons.

eg:

class A 
{
    int i;

    public:
           A(A& a)
           {
               i = a.i; //Ok this is corrected....
           }

           A() { } //Is this required if we write the above copy constructor??
};      

Also, if we define any other parameterized constructor for a class other than the copy constructor, do we also have to define the default constructor?? Consider the above code without the copy constructor and replace it with

A(int z)
{
    z.i = 10;
}

Alrite....After seeing the answers I wrote the following program.

#include <iostream>

using namespace std;

class X
{
    int i;

    public:
            //X();
            X(int ii);
            void print();
};

//X::X() { }

X::X(int ii)
{
    i = ii;
}


void X::print()
{
    cout<<"i = "<<i<<endl;
}

int main(void)
{
    X x(10);
  //X x1;
    x.print();
  //x1.print();
}

ANd this program seems to be working fine without the default constructor. Please explain why is this the case?? I am really confused with the concept.....

4
  • 2
    I'm confused. Although the answer below is correct, that's not a copy constructor. Where are you copying i, exactly? You're modifying the right-hand side, which is generally the wrong thing to do. You should be doing A(const A& rhs) : i(rhs.i) {}, that is copy the right-hand side's i into this instance of A's i. Note the parameters is passed by constant, because when you say something like x = 3, 3 shouldn't change. Also, usually numeric types are passed by value, not reference, because references can be slower for small data types.
    – GManNickG
    Oct 18, 2009 at 19:03
  • Wow....Thanks for your comment...it cleared the confusion about the ":i(rhs.i)" part of the constructor which has been confusing me since I started studying constructors this morning.... Oct 18, 2009 at 19:26
  • 1
    Your latest program does not use the default constructor anywhere at all. For this reason, you don't need to define it. That's all there's to it. Oct 18, 2009 at 19:54
  • 1
    Indeed, by default the compiler will do a per-member copy automatically, so if you're going to do the same might as well let the compiler do it. Of course, this is a learning exercise, therefore it is exempt.
    – GManNickG
    Oct 18, 2009 at 20:56

4 Answers 4

34

Yes. Once you explicitly declare absolutely any constructor for a class, the compiler stops providing the implicit default constructor. If you still need the default constructor, you have to explicitly declare and define it yourself.

P.S. It is possible to write a copy constructor (or conversion constructor, or any other constructor) that is also default constructor. If your new constructor falls into that category, there's no need to provide an additional default constructor anymore :)

For example:

// Just a sketch of one possible technique    
struct S {
  S(const S&);
  S(int) {}
};

S dummy(0);

S::S(const S& = dummy) {
}

In the above example the copy constructor is at the same time the default constructor.

9
  • "It is possible to write a copy constructor that is also default constructor." How?
    – dalle
    Oct 18, 2009 at 19:36
  • By adding a default argument to a copy construtor, for example. See the example I added to my response. Oct 18, 2009 at 19:48
  • Can you please clear my edited question? The code works fine without defining the default constructor.. Oct 18, 2009 at 19:49
  • 2
    You can also get away with only the copy constructor, providing at the same time the default constructor: struct X { static X x; X(X const& = x) { } }; X X::x; :) Oct 18, 2009 at 23:24
  • 1
    @litb: That's quite extreme, since x itself also has to be default-constructed. So, basically, it will receive a reference to itself when it own constructor gets called. I was a bit scared of this Moebius-like situation, so I decided to chicken out and provide a safe alternative constructor for the dummy :) Oct 18, 2009 at 23:29
3

You don't have to define both. However, once you define any constructors for a class, all the default ones become unavailable. So - if you want to both copy-construct and to construct without copying, you need to define an non-default (ie explicit) default (ie no parameters) constructor too.

If you define a copy constructor, you should normally override the assignment operator too.

0
1

As AndreyT said, if you explicitly declare any constructor, including a copy constructor, the compiler will not implicitly declare or define a default constructor.

This is not always a problem.

If you do not want your class to be default-constructible, then it's perfectly fine not to declare a default constructor. But if you want it to be default-constructible (for instance, if you want to uncomment the X x1; line in your example), then you must declare and define a default constructor.

Also note that a default constructor is any constructor that can be called with no arguments, not just one with no arguments. X::X(int = 5) is a perfectly fine default constructor.

0

1) Constructor with no argument is called 'default Constructor'. 2) If user have not provided any of the following constructor, then the compiler declares the default constructor for you.

  2a) Copy Constructor
  2b) Non-default constructor
  2C) default constructor. 

3) If compilers declares the 'default constructor', then it is said to be 'implicitly declared default constructor',

4) The 'implicitly declared default constructor' are of two types

   4a) **trivial** Constructor
   4b) **non-trivial** Constructor. 

5) Implictly declared default constructor is said to be 'trivial', when there is 5a) No reference variable 5b) No Virtual Function 5c) No Virtual Base Class. 5d) Parent class has 'trivial' constructor,

Else, it is said to be 'non-trivial'.

Hope this helps.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.