перегрузки виртуальной функции и вызов функции, полученной с помощью указателя базового класса

Question

#include <bits/stdc++.h> 
using namespace std; 

class Base { 
    public: 
    virtual int function() const { 
    cout << "Base::function()\n"; 
    return 1; 
    } 
    virtual void function(string) const {} 
}; 


class Derived : public Base { 
    public: 
     // overloading function() of base 
     int function(int) const { 
     cout << "Derived::function()\n"; 
     return 4; 
    } 
}; 


int main() 
{ 
    string s("StackOverflow"); 
    Derived d; 
    Base* b = &d; 
    //calling derived::function() and function(s)  
    b->function(); 
    b->function(s); 
} 

Из-за перегрузки, имя скрывается в производном происходить подавление класса.
Из-за ключевого слова виртуальный во время исполнения Derived :: function() должен вызываться.

Но код успешно компилируется. ссылка: http://ideone.com/fbVm0P
В чем причина этого странного поведения?
EDIT 1:

d.function(); 
d.function(s); 

не обобщать, как и ожидалось.

Answer 1

разрешения перегрузки использует статические типы (не то, что он будет делать разницы здесь). Таким образом, оба b->function() и b->function(s) разрешают Base::function, без ошибок. Наконец, поскольку эти функции были объявлены virtual, окончательное разрешение будет принимать во внимание любые перегрузки в производном классе. Но их нет, поэтому будет вызываться функция в базовом классе.

Скрытие имени происходит во время поиска имени, которое находится перед перегрузкой , а также относится только к статическому типу; в выражении , например b->function() или b->function(s), компилятор полностью игнорирует Derived; он выполняет поиск имени по статическому типу. Название скрыть будет только статический тип: Derived; после того, как компилятор нашел function в Derived, это было бы .

глобальных нормы достаточно прост: поиск имени (с использованием статического типа), затем перегружает разрешение (используя статический тип), и, наконец, если разрешенного имя представляет собой виртуальная функция, динамическое определение фактической функции в зависимости по динамическому типу.

Answer 2

В производном классе нет int function() const.

Используйте override ключевое слово, чтобы избежать сюрпризов, как это, то есть,

class Derived 
    : public Base 
{ 
public: 
    // not overriding function() of base 
    auto function(int) const 
     -> int override // This won't compile, because it doesn't override. 
    { 
     cout << "Derived::function()\n"; 
     return 4; 
    } 
};