динамический полиморфизм в C++ и перегрузка функций

Question

Выполняет ли перегрузка функций с помощью объекта polyorph в C++. Я хочу достичь поведения, подобного приведенному ниже коду.

Редактировать: Я хочу, чтобы setInput имел разную функциональность для каждого производного класса. Это task.setInput(derived2) звонки setInput(BaseClass* object), уничтожает его для меня. Это позволяет пропустить использование api. Поэтому я думаю, что мне нужно переключить функциональность в методе. Думаю, используя dynamic_cast это сделает? Большое спасибо. :-)

class BaseClass { virtual void xy() .. } 
class Derived1Class : BaseClass { .. } 
class Derived2Class : BaseClass { .. } 
class Derived3Class : Derived2Class { .. } 

class Task { 
    void setInput(BaseClass* object); 
    void setInput(Derived1Class* object); 
    void setInput(Derived2Class* object); 
    void setInput(Derived3Class* object); 
} 

main() { 
    BaseClass* base = new BaseClass(); 
    Derived1Class* derived1 = new Derived1Class(); 
    BaseClass* derived2 = new Derived2Class(); 
    Derived2Class* derived3 = new Derived3Class(); 
    Task* task = new Task(); 
    task.setInput(base); 
    task.setInput(derived1); 
    task.setInput(derived2); 
    task.setInput(derived3); 
} 

Answer 1

Как говорят другие ответы, вызовы функций будут:

void setInput(BaseClass* object);   // F0 
void setInput(Derived1Class* object);  // F1 
void setInput(Derived2Class* object);  // F2 
void setInput(Derived3Class* object);  // F3 

task.setInput(base);      // calls F0   
task.setInput(derived1);     // calls F1 
task.setInput(derived2);     // calls F0 
task.setInput(derived3);     // calls F2 

Так функция называется зависит от типа указателя, а не тип объекта он указывает на (не наиважнейшей полиморфизма на функцию аргументы).

Доступен полиморфизм, который мы не видим в этом примере, потому что для каждого типа указателя существует определение setInput(). Это функция перегрузка, которая позволит получены указателям быть согласовано с базовыми указателями, например , если только функция, заданная была

недействительного setInput (BaseClass * объект); // F0

тогда все последующие вызовы будут компилироваться и назвать FO:

task.setInput(base);      // would call F0   
task.setInput(derived1);     // would call F0 
task.setInput(derived2);     // would call F0 
task.setInput(derived3);     // would call F0 

Компилятора будет способствовать соответствию точных типов до преобразования от dervied к базовому типу, при разработке которой функция для вызова.

Answer 2

По существу, что вы спрашиваете, является ли параметр функции подчиненным полиморфизму. Это действительно так. Указатель производного класса может быть неявно преобразован в указатель базового класса. Поэтому достаточно иметь один setInput.

class Task { 
    void setInput(BaseClass* object); 
} 

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

Но если вам нужно перегрузить setInput таким образом, я бы сначала попытался сделать setInput членом класса Base/Derived.

Answer 3

Перегрузка функции выполняется во время компиляции, основанная на статическом типе аргумента, а не на динамическом типе времени выполнения. Так что-то вроде:

BaseClass* derived2 = new Derived2Class(); 
task.setInput(derived2); 

будет вызывать перегрузку setInput принимая BaseClass*неDerived2Class*.

Так что ответ зависит от того, какое поведение вы ожидали, но я предполагаю, что ответ нет.