以基实例作为参数的派生类的构造函数

Question

我有这样的代码：

#include <stdio.h>

class A
{
public:
    A() { printf("A::A()\n"); }
    A(const A &a) { printf("A::A(A &a)\n"); }
    A &operator=(const A &a) { printf("A::operator=\n"); }
};

class B : public A
{
public:
    B() { printf("B:B()\n"); }
    B(const A &a) : A(a) { printf("B::B(A &a)\n"); }
    B &operator=(const B &b) { printf("B::operator=\n"); }
};

int
main(int argc, char *argv[])
{
    printf(">> B b1\n");
    B b1;
    printf(">> b2 = b1\n");
    B b2 = b1;
    return 0;
}

为什么行 B b2 = b1 不调用构造函数 B::B(const A &a) 而是调用 A： :A(const A &a)?我如何告诉编译器这样做？

Answer 1

因为它调用 B::B(const B &a)，而 B::B(const B &a) 又调用 A::A(const A &a)。并且您在班级中错过了 B::B(const B &a)，因此您看不到它。

Answer 2

那是因为：

This:

B(const A &a)  
{ 
    printf("B::B(A &a)\n"); 
}

不是复制构造函数！

然而， this:

B(const B &a)  
{ 
    printf("B::B(A &a)\n"); 
}

是一个复制构造函数。

使用您的复制构造函数版本，您也会破坏堆栈。

为了向您证明我关于堆栈损坏的观点，您必须尝试以下操作：

请注意，它永远不会打印
“B::Print() 内部”

class A
{
public:
    A() { printf("A::A()\n"); }
    A(const A &a) 
    { 
        printf("A::A(A &a)\n"); 
    }
    A &operator=(const A &a) { printf("A::operator=\n"); }
    void print(){printf("Inside A::Print()\n"); }
};

class B : public A
{
public:
    B() { printf("B:B()\n"); }
    B(const A &a)  
    { 
        printf("B::B(A &a)\n"); 
    }
    B &operator=(const B &b) { printf("B::operator=\n"); }

    void print(){printf("Inside B::Print()\n");}
};

int main(int argc, char *argv[])
{
    printf(">> B b1\n");
    B b1;
    b1.print();
    printf(">> b2 = b1\n");
    B b2 = b1;
    b2.print();
    return 0;
}