Странности с полиморфизмом

[_Bers]

Что вообще происходит с этим кодом?

Почему полиморфизм срабатывает (действительно срабатывает!) невзирая на то, что функция потомка отличается по сигнатуре?

struct Base {  virtual Base* clone() const = 0; };

struct Derived : public Base
{
    Derived* clone() const    {     std::cout<<"Создаю Derived\n";      Test();      return new Derived(*this);       }
    void Test() { std::cout<<"Test\n"; }
};

int main()
{  
 Base* ptr = new Derived;   ptr->clone(); //вывод: Создаю Derived  
}

И ещё такой вопрос: Если я действительно могу из базового класса запустить данный метод предка, то почему тогда я не могу сделать вот так:

struct Base {  virtual Base* clone() = 0; };

struct Derived : public Base
{
    Derived* clone() 
    {
        std::cout<<"Создаю Derived\n"; Test(); 
        Derived* ptr = new Derived;  return ptr;
    }
    void Test() const { std::cout<<"Test\n"; }
};

int main()
{
  Base* ptr = new Derived;
  (ptr->clone())->Test();      //: error C2039: Test: не является членом "Base"
}

Ведь результатом ptr->clone() должен быть реальный объект типа Derived!
То есть, метод Test() я уже запускаю для Derived, а не для базы!

[Пепел Феникса]

http://programmersforum.ru/showthrea...=129110&page=2

[_Bers]

ррррр спасибо)

[Сыроежка]

Сообщение от _Bers

Что вообще происходит с этим кодом?

Почему полиморфизм срабатывает (действительно срабатывает!) невзирая на то, что функция потомка отличается по сигнатуре?

struct Base {  virtual Base* clone() const = 0; };

struct Derived : public Base
{
    Derived* clone() const    {     std::cout<<"Создаю Derived\n";      Test();      return new Derived(*this);       }
    void Test() { std::cout<<"Test\n"; }
};

int main()
{  
 Base* ptr = new Derived;   ptr->clone(); //вывод: Создаю Derived  
}

И ещё такой вопрос: Если я действительно могу из базового класса запустить данный метод предка, то почему тогда я не могу сделать вот так:

struct Base {  virtual Base* clone() = 0; };

struct Derived : public Base
{
    Derived* clone() 
    {
        std::cout<<"Создаю Derived\n"; Test(); 
        Derived* ptr = new Derived;  return ptr;
    }
    void Test() const { std::cout<<"Test\n"; }
};

int main()
{
  Base* ptr = new Derived;
  (ptr->clone())->Test();      //: error C2039: Test: не является членом "Base"
}

Ведь результатом ptr->clone() должен быть реальный объект типа Derived!
То есть, метод Test() я уже запускаю для Derived, а не для базы!

Имя функции выбирается в соответствии со статическим типом указателя. В классе Base, указатель на тип которого имеет переменная ptr, не имеет такой функции с именем Test, а потому будет выдана соответствующая ошибка, что имя не найдено.
В первом же случае, так как функция clone объявлена в базовом классе и при этом виртуальна , то происходит динамическое связываниие за счет таблицы виртуальных функций.

[_Bers]

я уже разобрался. Спасиб, Сыроежка)