Полиморфизм своими словами

@rar14 · Регистрация: 14.04.2009

Author24 — интернет-сервис помощи студентам

Дайте определения полиморфизма своими слова. А так же примерчик, который ярко выражает полиморфизм.
Спасибо.

Tulosba · 06.05.2013, 13:43

programina, что-то интерфейса-то у Вас и нет.
Хотя бы такого:

C++

class sphere
{
public:
    virtual int getRadius() = 0;
};

Да и классы ничем не отличаются кроме имени.

@programina · 06.05.2013, 14:01

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

programina, что-то интерфейса-то у Вас и нет.
Хотя бы такого:

C++

class sphere
{
public:
    virtual int getRadius() = 0;
};

Да и классы ничем не отличаются кроме имени.

Зачем?
Здесь getRadius() и есть тот самый единый интерфейс.

Добавлено через 1 минуту
Про RTTI ничего не сказано.

Добавлено через 2 минуты
Ой!

Добавлено через 3 минуты
Про наследование ничего не сказано

Tulosba · 06.05.2013, 14:14

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

Зачем?

Затем чтобы можно было использовать разнотипные объекты, реализующие интерфейс. В Вашем, например, случае нельзя SUN и EARTH добавить в единый контейнер (не прибегая к каким-нибудь хакам с void*).

C++

#include <iostream>
 
using namespace std;
 
 
class sphere
{
public:
    virtual int getRadius() = 0;
};
 
class Sun : public sphere
{
public:
    int getRadius() { return 1000; }
};
 
class Earth : public sphere
{
public:
    int getRadius() { return 1; }
};
 
int main() {
 
    
    sphere* sp[] = { new Sun(), new Earth() };
    
    for( int i=0; i<sizeof(sp)/sizeof(*sp); ++i )
    {
        cout << sp[i]->getRadius() << endl;
        
    }
    return 0;
}

https://ideone.com/Ah4jfV

Пример кривоват, но суть показывает.

@ForEveR · 06.05.2013, 14:20

Tulosba, Это динамический полиморфизм, да.
Есть так же статический

C++

#include <iostream>
 
template<typename Strategy>
struct Interface
{
public:
   void call()
   {
      Strategy().call();
   }
};
 
struct Flyable
{
public:
   void call()
   {
      std::cout << "flyable" << std::endl;
   }
};
 
struct Reachable
{
public:
   void call()
   {
      std::cout << "reachable" << std::endl;
   }
};
 
int main()
{
   Interface<Flyable>().call();
   Interface<Reachable>().call();
}

http://ideone.com/VbaSoY

Tulosba · 06.05.2013, 14:25

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

Есть так же статический

Согласен.

@programina · 06.05.2013, 14:25

ForEveR, struct это тот же class, только c public-внутреннестями?

Tulosba · 06.05.2013, 14:26

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

struct это тот же class, только c public-внутреннестями?

да. Так что можно было упростить

и не только внутренностями. При наследовании тоже по умолчанию используется public.

@programina · 06.05.2013, 14:31

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

да. Так что можно было упростить

и не только внутренностями. При наследовании тоже по умолчанию используется public.

То есть public можно убрать из примера Forever ?

@ForEveR · 06.05.2013, 14:32

programina, Можно. А это столь критично?)

@programina · 06.05.2013, 14:37

для меня все критично

потому что я ООП учу

silent_1991 · 06.05.2013, 14:39

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

Перегрузка - это функции с одним именем которые принимают разные аргументы, это никак не полиморфизм, тут спорить не о чем.

Тут упомянули про статический полиморфизм и привели пример с шаблонами (т.е. определение реализации на основании типа шаблонного аргумента). Так вот, перегрузка - это тоже статический полиморфизм, и спорить тут действительно не о чем, потому что это тоже полиморфизм. "Интерфейсом" в данном случае выступает не совокупность методов, имеющих разные реализации, а совокупность имён методов или функций, имеющих разные наборы или типы формальных параметров (и, соответственно, реализации). Т.е. если в динамическом полиморфизме вы вызываете метод и не задумываетесь, какая реализация будет вызвана, то в статическом полиморфизме вы изначально не задумываетесь, что это за метод/функция, достаточно помнить единое имя и какой интерфейс она имеет (какие параметры принимает).

@_SOKOL_ · 06.05.2013, 15:15

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

Тут упомянули про статический полиморфизм и привели пример с шаблонами (т.е. определение реализации на основании типа шаблонного аргумента). Так вот, перегрузка - это тоже статический полиморфизм, и спорить тут действительно не о чем, потому что это тоже полиморфизм. "Интерфейсом" в данном случае выступает не совокупность методов, имеющих разные реализации, а совокупность имён методов или функций, имеющих разные наборы или типы формальных параметров (и, соответственно, реализации). Т.е. если в динамическом полиморфизме вы вызываете метод и не задумываетесь, какая реализация будет вызвана, то в статическом полиморфизме вы изначально не задумываетесь, что это за метод/функция, достаточно помнить единое имя и какой интерфейс она имеет (какие параметры принимает).

Перегрузка - это перегрузка.
Полиморфизм - это полиморфизм.
Эти два слова никак не синонимы, и даже не похожи по значению. Полиморфизм не может быть статическим или динамическим, это просто полиморфизм. Я конечно не профи с++, но такое вообще впервые слышу и даже не логично, ведь полиморфизм это часть ООП, а перегрузка может использоваться везде.
Когда кто-то говорит слово полиморфизм, лично у меня мысли только о методах с одним именем и разными реализациями.
Я считаю что это бред начинать предавать какие-то левые значения этим двум понятиям.
Ты говорил про примеры с шаблонами, но какая разница что шаблон или нет, полиморфизм выглядит одинаково везде.

Перегрузка выглядит так и только так:

C++

1 2	void show(char str[]) { cout << str; } void show(int value) { cout << value; }

Я не вижу тут никаких полиморфизмов.

Если я не правильно понимаю, то наведи мне пример.

@programina · 06.05.2013, 15:22

_SOKOL_, полиморфизм - это развитие перегрузки в ООП

@ForEveR · 06.05.2013, 15:38

_SOKOL_,

Полиморфизм не может быть статическим или динамическим, это просто полиморфизм.

http://stackoverflow.com/quest... phism-in-c шикарный ответ, доказывающий обратное.

@_SOKOL_ · 10.05.2013, 12:34

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

_SOKOL_,
http://stackoverflow.com/quest... phism-in-c шикарный ответ, доказывающий обратное.

http://ru.wikipedia.org/wiki/C... 0.B7.D0.BC

Английский понимаю, но лень читать было, вот на русском.

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

silent_1991 · 10.05.2013, 12:59

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

буду пожизненно отрицать что перегрузка функций это частичный случай полиморфизма

Ага, осталось только отринуть истинность теоремы Пифагора - и в путь.

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

не написано там что это полиморфизм

Где "там"? В убогой статье по плюсам в русской вики, ссылку на которую вы привели? Да, там не говорится. Но довольно странно изучать термин по статье, написанной по конкретному языку программирования. Например, в (достаточно посредственной) статье по полиморфизму, на которую есть ссылка и в разделе "Полиморфизм" приведённой вами статьи, говорится о том, что перегрузка - тоже полиморфизм. Правда, начальное определение термина в статье отбивает всё желание читать её дальше, поскольку складывается впечатление, что автор в своей жизни читал только "С++ для чайников", откуда и почерпнул данное определение.

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

Сегодня решил разузнать о полиморфизме.

Не думаю, что правильно утолять свою жажду знаний посредством статей из русской вики, там встречаются ошибки и неточности, которые зачастую сокрыты за заумно и витиевато написанным текстом.

Не по теме:

Хм, интересно, а слово "витиевато" не делает мой пост витиевато написанным?..

IGPIGP · 10.05.2013, 23:58

Оговоюсь сразу, что С++ знаю очень поверхностно и рискую высказаться, т.к. сам не уверен в том, что правильно понимаю вопрос. Полиморфизм, это конечно "один интерфейс - много методов", но как указывают многие авторы, нет возможностей ООП, воплощённых в виде классов, которые нельзя было бы реализовать в модульном, процедурном коде.
μορφή — форма, то есть полиморфизм - способность менять форму.
Мои наблюдения говорят о том, что полиморфизм в С++, реализуется за счет полиморфизма, заложенного в природу указателя как такового, и/или за счёт возможности контроля типов во время выполнения. При этом выяснение фактического типа, позволяет выяснить поведение кода, без явного применения логических операторов и операторов ветвления в точке изменчивости.
Можно изменить поведение кода, явно применив логическую операцию к значению переменной:

C++

#include <iostream>
using namespace std;
int main(){
int a=1, b=1;
cout<<"enter a ";cin>>a;
if(a!=b)goto two;
one:
cout<<"one\n";system("pause");exit(0);
two:
cout<<"two\n"; 
system("pause");
return 0;   
}

Однако требуется явное применения операторов ветвления.
Возможность создавать сложные пользовательские типы, позволяет ветвить код не применяя такие операторы явно, но при этом тип используется как переменная для принятия решения:

C++

class Abase a{/**/};
class inhAb  b:Abase{/**/};
class inhAc  c:Abase{/**/};
//где-то в коде, тем не менее, логически предопределено, как проинициализируется указатель базового класса:
Abase *a=inhAb();
//или
Abase *a=inhAс();

Зато далее, достаточно сложная, различная логика, реализуемая наследниками никак не отразится в коде. Можно создавать коллекции базового типа, смешивая в них экземпляры наследников и итерировать указателем на базовый класс, вызывая лексически одни и те же методы.
Перегрузка функций, за счёт применения разнотипных аргументов, может вызывать изменчивость, проявляемую на стадии выполнения в точке вызова. При этом, переадресация происходит за счёт использования того или иного значения указателя на функцию, в зависимости от типов аргументов. То есть идея та же, вроде.
Я рискну сказать, что полиморфизм это способность программы изменять поведения в зависимости от того, на что конкретно указывает определённый указатель во время выполнения. Тем не менее, отсутствие опыта не даёт мне примеров, когда сама инициализация такого указателя не задана явной логикой.
Напоследок шутка, демонстрирующая факт, что указатель на тип не является законченным типом и поведение кода зависит от того, на что он в действительности указывает.
"Чары С" в С++:

C++

char a='a';
char* pa=&a;//указатель на char
char* pb="abcdef";//и это указатель на char
cout<<*pa<<endl;//а
cout<<*pb<<endl;//а
if(*pa==*pb)cout<<"*pa = *pb"<<endl;//эта операция определена для char
//cout<<pa<<endl;//не определено для любого указателя на char
cout<<pb<<endl;//нормально для указателя на С-строку

Не бесспорное резюме. Полиморфизм, это возможность кода менять поведение, без явного применения операторов ветвления в данной точке. Баги, тоже подходят под это определение.

Под классическое тоже, - наиболее эффективные, реализуют один и тот же интерфейс, что и правильный код.

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	06.05.2013, 14:26	27
	Сообщение от programina struct это тот же class, только c public-внутреннестями? да. Так что можно было упростить и не только внутренностями. При наследовании тоже по умолчанию используется public. 1

@programina 2062 / 618 / 41 Регистрация: 23.10.2011 Сообщений: 4,468 Записей в блоге: 2
	06.05.2013, 14:31	28
	Сообщение от Tulosba да. Так что можно было упростить и не только внутренностями. При наследовании тоже по умолчанию используется public. То есть public можно убрать из примера Forever ? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	06.05.2013, 14:32	29
	programina, Можно. А это столь критично?) 0

@programina 2062 / 618 / 41 Регистрация: 23.10.2011 Сообщений: 4,468 Записей в блоге: 2
	06.05.2013, 14:37	30
	для меня все критично потому что я ООП учу 0

@programina 2062 / 618 / 41 Регистрация: 23.10.2011 Сообщений: 4,468 Записей в блоге: 2
	06.05.2013, 15:22	33
	_SOKOL_, полиморфизм - это развитие перегрузки в ООП 0

@rar14 29 / 23 / 2 Регистрация: 14.04.2009 Сообщений: 448
		1
	Полиморфизм своими словами 02.06.2009, 14:04. Показов 13396. Ответов 36 Метки нет (Все метки) Дайте определения полиморфизма своими слова. А так же примерчик, который ярко выражает полиморфизм. Спасибо. 0

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	06.05.2013, 14:25	25
	Сообщение от ForEveR Есть так же статический Согласен. 0

silent_1991 5055 / 3115 / 271 Регистрация: 11.11.2009 Сообщений: 7,044
	06.05.2013, 14:39	31
	Сообщение от _SOKOL_ Перегрузка - это функции с одним именем которые принимают разные аргументы, это никак не полиморфизм, тут спорить не о чем. Тут упомянули про статический полиморфизм и привели пример с шаблонами (т.е. определение реализации на основании типа шаблонного аргумента). Так вот, перегрузка - это тоже статический полиморфизм, и спорить тут действительно не о чем, потому что это тоже полиморфизм. "Интерфейсом" в данном случае выступает не совокупность методов, имеющих разные реализации, а совокупность имён методов или функций, имеющих разные наборы или типы формальных параметров (и, соответственно, реализации). Т.е. если в динамическом полиморфизме вы вызываете метод и не задумываетесь, какая реализация будет вызвана, то в статическом полиморфизме вы изначально не задумываетесь, что это за метод/функция, достаточно помнить единое имя и какой интерфейс она имеет (какие параметры принимает). 1

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	06.05.2013, 15:38	34
	_SOKOL_, Полиморфизм не может быть статическим или динамическим, это просто полиморфизм. http://stackoverflow.com/quest... phism-in-c шикарный ответ, доказывающий обратное. 1

@_SOKOL_ 1 / 1 / 0 Регистрация: 09.02.2013 Сообщений: 15
	10.05.2013, 12:34	35
	Сообщение от ForEveR _SOKOL_, http://stackoverflow.com/quest... phism-in-c шикарный ответ, доказывающий обратное. http://ru.wikipedia.org/wiki/C... 0.B7.D0.BC Английский понимаю, но лень читать было, вот на русском. Сегодня решил разузнать о полиморфизме. Получается я уже пользовался статическим и динамическим, но всё равно буду пожизненно отрицать что перегрузка функций это частичный случай полиморфизма, никак не может быть перегрузка даже похожей на полиморфизм. 0

silent_1991 5055 / 3115 / 271 Регистрация: 11.11.2009 Сообщений: 7,044
	10.05.2013, 12:59	36
	Сообщение от _SOKOL_ буду пожизненно отрицать что перегрузка функций это частичный случай полиморфизма Ага, осталось только отринуть истинность теоремы Пифагора - и в путь. Сообщение от _SOKOL_ не написано там что это полиморфизм Где "там"? В убогой статье по плюсам в русской вики, ссылку на которую вы привели? Да, там не говорится. Но довольно странно изучать термин по статье, написанной по конкретному языку программирования. Например, в (достаточно посредственной) статье по полиморфизму, на которую есть ссылка и в разделе "Полиморфизм" приведённой вами статьи, говорится о том, что перегрузка - тоже полиморфизм. Правда, начальное определение термина в статье отбивает всё желание читать её дальше, поскольку складывается впечатление, что автор в своей жизни читал только "С++ для чайников", откуда и почерпнул данное определение. Сообщение от _SOKOL_ Сегодня решил разузнать о полиморфизме. Не думаю, что правильно утолять свою жажду знаний посредством статей из русской вики, там встречаются ошибки и неточности, которые зачастую сокрыты за заумно и витиевато написанным текстом. Не по теме: Хм, интересно, а слово "витиевато" не делает мой пост витиевато написанным?.. 0

Полиморфизм своими словами

Решение