Передача производного объекта в качестве базового параметра базового класса

Question

В этом примере показан объект производного класса, передаваемый функции, которая ссылается на базовый класс в качестве параметра. Функция-член g(int) в производном классе скрывает g(float) в базовом классе. Я это понимаю, и мой вопрос не связан с этим.

class Base { 
public: 
    virtual void g(float x) throw() 
    { 
     cout << "Base::g(float)\n"; 
    } 
}; 

class Derived : public Base { 
public:   
    virtual void g(int x) throw() // Bad: Hides Base::g(float) 
    { 
     cout << "Derived::g(int)\n"; 
    } 
}; 


void sampleTwo(Base& b, Derived& d) 
{ 
    b.g(3.14f); 
    d.g(3.14f); // Bad: Converts 3.14 to 3 and calls Derived::g(int) 
} 

int main() 
{ 
    Derived d; 
    sampleTwo(d, d); 
    return 0; 
} 

Выход:

Base::g(float) 
Derived::g(int) 

Мой вопрос с выходом "Base :: г (поплавок)". Поскольку объект, на который ссылается «b» в sampleTwo(), является производным объектом, не должно ли динамическое связывание вызывать метод g() производного класса (преобразование float в int)?

Answer 1

Динамическая рассылка вызывает окончательный переезд. Начиная с Derived::g шкуры, а не переопределения Base::g, окончательный повод Base::g в Derived по-прежнему Base::g.

Answer 2

g(float) и g(int) - различные функции. Если вы хотите, чтобы Derived работал, вы должны использовать g(float) в обоих классах.

g() могут быть перегружены проверить перегрузку функции: https://en.wikipedia.org/wiki/Function_overloading

Пример (g(float) и g(int) в том же классе и отдельных функций):

class Derived : public Base { 
public: 

    void g(float x) throw(); 
    void g(int x) throw(); 

}; 

Answer 3

g(int) и g(float) две совершенно разные методы. Derived::g(int) не переопределяет Base::g(float). Эти методы не связаны.

С Derived не отменяет g(float), ваши ожидания относительно b.g(3.14f) являются необоснованными. Как и ожидалось, b.g(3.14f) должен позвонить Base::g(float).

Если вы переопределяете g(float) в Derived, то b.g(3.14f) действительно вызовет Derived::g(float).