C ++ Виртуальное наследование и приведение типов / путаница в конструкторе копирования - PullRequest
Новая
       30

C ++ Виртуальное наследование и приведение типов / путаница в конструкторе копирования

3 голосов
/ 21 сентября 2010

У меня есть код ниже: 

class A
{
};

class B: public virtual A
{
public:
    B()
    {
        cerr << "B()";
    }
    B(const A& a)
    {
        cerr << "B(const A&)";
    }
};

class C: public B
{

};

int main(int argc, char **argv)
{
    B *b = new B(C());
}

К моему удивлению, B (const A & a) не называется. Почему это так?

Ответы [ 2 ]

8 голосов
/ 21 сентября 2010

B также имеет неявно объявленный конструктор копирования, который объявлен как 

B(const B&);

Эта неявно объявленная функция-член вызывается, поскольку она лучше соответствует аргументу типа C, чем ваш объявленный пользователем конструктор, B(const A&).

1 голос
/ 21 сентября 2010

Это то, что я получил, когда попробовал clang++ -cc1 -ast-dump в вашем коде 

class B : virtual public A {
    class B;
public:
    B() : A() (CompoundStmt 0xb85950 <a.cpp:9:5, line:11:5>)


    B(A const &a) : A() (CompoundStmt 0xb859c0 <a.cpp:13:5, line:15:5>)


    inline B &operator=(B const &) throw();
    inline void ~B() throw();
    inline B(B const &) throw() : A((ImplicitCastExpr 0xb86a10 <a.cpp:5:7> 'clas
s A const' <UncheckedDerivedToBase (virtual A)> lvalue
  (DeclRefExpr 0xb869ec <col:7> 'class B const' ParmVar='' 0xb86170))
) (CompoundStmt 0xb86ab0 <a.cpp:5:7>)

Как вы видите, у вашего класса B есть неявно объявленная (синтезированная компилятором) копия ctor.

inline B(B const &) throw():, что лучше соответствует аргументу типа C, как Джеймс МакНеллис сказал в свой ответ .Вот почему вы не видите вызов B(const A& a), потому что он никогда не вызывается на самом деле.

...