В чем различие полиморфизма и перегрузки?

Question

[Павел]

В чем отличие полиморфизма и перегрузки в ЯП c++? В некоторых источниках говорится что это одно и тоже.

Comments

[atosdo]

Советую прочитать тут

Answer 1

[Alexander Movchan]

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

int plus(int a, int b) {return a + b;}
float plus(float a, float b) {return a + b;}
double plus(double a, double b) {return a + b;}
unsigned long long plus(unsigned long long a, unsigned long long b) {return a + b;}
// выбьет ошибку для любого другого типа, кроме int, float, double, unsigned long long

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

template<typename T>
T plus(T a, T b) {return a + b;}
// Работает для любых типов, которые определяют opeator+

P.S. По сути, и перегрузка и шаблоны это и есть средства полиморфизма.

Comments

[Павел]

Спасибо!

Answer 2

[maaGames]

Не слушай их ^^^, они вводят тебя в заблуждение.

1. Перегрузка есть. Полиморфизмом и не пахнет.

int Sum(int a, int b)
{ return a+b; }

double Sum(double a, double b)
{ return a+b; }

2. Полиморфизм есть. Пергрузкой и не пахнет

class A
{
  virtual ~A(){}
  virtual char* Name() { return "Class A"; }
};

class B
{
 virtual char* Name() { return "Class B"; }
};

void main()
{
    A* a1 = new A;
    A * a2 = new B;

   cout << a1->Name(); // Class A
   cout << a2->Name(); // Class B
}

Comments

[werktone]

В первом примере есть статический полиморфизм.

[maaGames]

werktone: Стараюсь не называть параметрический полиморфизм полиморфизмом, чтобы ни себя, ни других не путать.

[Павел]

Не совсем понял второй пример кода maagames.ru: можете дать доступное для понимания определение? В книге c++ за 21 либерти, написано что перегрузка и полиморфизм схожи. Так в чем же различие? Извините если вопросы глупые. Просто не ясно.

[maaGames]

Павел Малышев: Во втором примере нет перегрузки, но есть полиморфный вызов метода дочернего класса, через указатель на объект базового класса. Это и есть полиморфизм в С++.
А если во втором примере убрать слово virtual из объявления методов, то не будет ни перегрузки, ни полиморфизма.

[Александр Смирнов]

maaGames: Разве перегрузка не является частным случаем полиморфизма?

[maaGames]

Александр Смирнов: Это уже риторика, так можно и макросы препроцессора причислить к полиморфизму... Если говорить конкретно о С++, то перегрузка и полиморфизм определяют конкретные реализации.

Answer 3

[nesterione]

Перегрузка это и есть одно из проявлений полиморфизма.

Всего есть различные виды полиморфизма (ответ больше для C# и Java, если для c++ что-то не так, поправьте меня):
* динамический: это когда программа во время выполнения решает какой код исполнять. Это происходит при наследовании: когда ты переопределяешь функцию в другом классе (виртуальные методы, абстрактные)
* статический: на стадии компиляции все известно, это как раз перегрузка методов. Компилятор исходя из аргументов выбирает нужный метод

Answer 4

[Сергей Протько]

дополню nesterione

Перегрузка методов дает нам как раз таки полиморфизм. Если мы говорим о перегрузке методов родительского класса то такой вид полиморфизма называют "полиморфизмом подтипов". Если речь идет о добавлении функции или метода с тем же названием но другими типами аргументов - это "специализированный полиморфизм" (или ad hoc). Если речь о обобщенном прогреммировании (шаблоны) - то "параметрический полиморфизм".

То есть перегрузка методов - частный случай полиморфизма.

Comments

[Александр Смирнов]

Получается, что в PHP у функций/методов используется параметрический полиморфизм?