Форум программистов, компьютерный форум CyberForum.ru

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
 
thick_int
Заблокирован
#1

Полимморфизм - C++

03.02.2012, 10:51. Просмотров 977. Ответов 26
Метки нет (Все метки)

Возможность обращаться к подклассам через классс, от которого эти подкласы наследуют, - это и все на что способен полиморфизм или же есть нечто более глубокое в этом понятии?
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
KATbIK
86 / 81 / 10
Регистрация: 02.08.2011
Сообщений: 335
03.02.2012, 11:16     Полимморфизм #2
Перегрузка функции(операций) то же один из способов реализации полиморфизма.
silent_1991
Эксперт С++
4951 / 3027 / 149
Регистрация: 11.11.2009
Сообщений: 7,026
Завершенные тесты: 1
03.02.2012, 11:59     Полимморфизм #3
thick_int, судя по вашему "всё, на что способен полиморфизм", вы пока знаете об этом только в теории и не прощупали руками. Как только воспользуетесь этим на практике (даже в небольшой учебной программе), сразу прочувствуете всю прелесть этого механизма. Если же нет, то ООП - не ваше (поскольку не поняв, что предоставляет тот или иной механизм, не получится его полноценно использовать).
thick_int
Заблокирован
03.02.2012, 12:49  [ТС]     Полимморфизм #4
Цитата Сообщение от silent_1991 Посмотреть сообщение
вы пока знаете об этом только в теории и не прощупали руками
Это Вы точно заметили. Я пока пробую, но вот какую первую шишку набил так это непонятно, почему я не могу делать так:
1) Определить базовый класс 1, а в нем виртуальную функцию f
2) Определить класс 2, наследуемый из класса 1 и одновременно и переопределить функцию f и сделать эту новую переопределенную фуункцию также переопределяемой.
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
03.02.2012, 12:57     Полимморфизм #5
Что простите?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#include <iostream>
 
class Cl
{
public:
   virtual void f()
   {
       std::cout << "Cl" << std::endl;
   }
   virtual ~Cl()
   {
   }
};
 
class ClDer : public Cl
{
public:
   virtual void f() 
   {
        std::cout << "ClDer" << std::endl;
   }
   virtual ~ClDer()
   {
   }
};
 
class ClDerDer : public ClDer
{
public:
    virtual void f()
    {
         std::cout << "ClDerDer" << std::endl;
    }
    virtual ~ClDerDer()
    {
    }
};
 
int main()
{
   Cl* array[] = {new Cl(), new ClDer(), new ClDerDer()};
   for (size_t i = 0; i < sizeof(array) / sizeof(*array); ++i)
   {
      array[i]->f();
   }
   for (size_t i = 0; i < sizeof(array) / sizeof(*array); ++i)
   {
      delete array[i];
   }
}
silent_1991
Эксперт С++
4951 / 3027 / 149
Регистрация: 11.11.2009
Сообщений: 7,026
Завершенные тесты: 1
03.02.2012, 13:01     Полимморфизм #6
thick_int, не понял, что вы не можете сделать? Этого?
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
#include <iostream>
 
class Base
{
public:
    virtual void func() const
    {
        std::cout << "Base::func()" << std::endl;
    }
};
 
class Derived1 : public Base
{
public:
    virtual void func() const
    {
        std::cout << "Derived1::func()" << std::endl;
    }
};
 
class Derived2 : public Derived1
{
public:
    virtual void func() const
    {
        std::cout << "Derived2::func()" << std::endl;
    }
};
 
void base_call(const Base& b)
{
    b.func();
}
 
void derived1_call(const Derived1& d1)
{
    d1.func();
}
 
int main()
{
    Base b;
    Derived1 d1;
    Derived2 d2;
    
    base_call(b);
    base_call(d1);
    base_call(d2);
    
    derived1_call(d1);
    derived1_call(d2);
    
    return 0;
}
http://liveworkspace.org/code/2b671d...952171a5dd7174

Добавлено через 31 секунду

Не по теме:

ForEveR, эх, опять я в отстающих

thick_int
Заблокирован
03.02.2012, 13:17  [ТС]     Полимморфизм #7
Хорошо бы еще понять, какая функцию в классе Derivved2 переопределяетсся, та что в Derived1 или в Base?
Я тут слегка запутался, поэтому, читая все подряд по этой теме и C++ и C# и Basic несколько не уловил пока.
silent_1991
Эксперт С++
4951 / 3027 / 149
Регистрация: 11.11.2009
Сообщений: 7,026
Завершенные тесты: 1
03.02.2012, 13:23     Полимморфизм #8
thick_int, что значит "какую"? Она в принципе определяет новое поведение для функции func. Доступа к функциям Base и Derived1 через объект Derived2 нет.
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
03.02.2012, 13:32     Полимморфизм #9
silent_1991, Таки лжешь.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
#include <iostream>
 
class Cl
{
public:
   virtual void f()
   {
       std::cout << "Cl" << std::endl;
   }
   virtual ~Cl()
   {
   }
};
 
class ClDer : public Cl
{
public:
   virtual void f() 
   {
        std::cout << "ClDer" << std::endl;
   }
   virtual ~ClDer()
   {
   }
};
 
class ClDerDer : public ClDer
{
public:
    virtual void f()
    {
         std::cout << "ClDerDer" << std::endl;
    }
    virtual ~ClDerDer()
    {
    }
};
 
int main()
{
   Cl* array[] = {new Cl(), new ClDer(), new ClDerDer()};
   for (size_t i = 0; i < sizeof(array) / sizeof(*array); ++i)
   {
      array[i]->f();
   }
   for (size_t i = 0; i < sizeof(array) / sizeof(*array); ++i)
   {
      delete array[i];
   }
   ClDer* c = reinterpret_cast<ClDer*>(array[1]);
   ClDer ob = *c;
   ob.Cl::f();
   ClDerDer* cd = reinterpret_cast<ClDerDer*>(array[2]);
   ClDerDer obd = *cd;
   obd.ClDer::f();
   obd.Cl::f();
}
Но я конечно рекомендую не стрелять себе в ногу таким образом.
silent_1991
03.02.2012, 13:34
  #10

Не по теме:

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

thick_int
Заблокирован
03.02.2012, 13:35  [ТС]     Полимморфизм #11
То есть такого примерно конструктива
C#
1
2
base.func();
base.base.func();
или

vb.net
1
2
MyBase.func()
MyBase.MyBase.func()
но только на уровне C++ не предусмотрено?


Цитата Сообщение от silent_1991 Посмотреть сообщение
Она в принципе определяет новое поведение для функции func
А что это означает? Если Вы определите массив указателей на класс Base, а затем инициализируете каждый из этих элементов либо элементом класса Derived1, либо элементом класса Derived2, то не очень понятны правила, когда вызывается func() из-какого класса. Иногда может быть так, что реально мы имеем элемент Derived2, а функция вызывается не из его класса, а из того класса, из которого он наследует. Тут вот и непонятно, когда какая фуункция вызывается.
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
03.02.2012, 13:37     Полимморфизм #12
silent_1991, Ну вообще этот доступ ничем не хуже, чем вызов из переопределенной функции наследника - функции базового класса. Единственная проблема - упоротый синтаксис. Ну и... Мне лично так извращаться пока не доводилось.
silent_1991
Эксперт С++
4951 / 3027 / 149
Регистрация: 11.11.2009
Сообщений: 7,026
Завершенные тесты: 1
03.02.2012, 13:38     Полимморфизм #13
Цитата Сообщение от thick_int Посмотреть сообщение
Иногда может быть так, что реально мы имеем элемент Derived2, а функция вызывается не из его класса, а из того класса, из которого он наследует
Такого быть не может. Вызываемая функция определяется по типу объекта, а не указателя. Если по конкретному указателю лежит объект типа Foo, то вызовется виртуальная функция из Foo и ниоткуда больше.

Добавлено через 27 секунд

Не по теме:

Цитата Сообщение от ForEveR Посмотреть сообщение
Мне лично так извращаться пока не доводилось
В том-то и дело

ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
03.02.2012, 13:38     Полимморфизм #14
thick_int, Читайте про полиморфизм в С++ больше пожалуйста. Особенно про таблицу виртуальных функций. У компилятора есть информация о том, какая виртуальная функция должна быть вызвана для объекта определенного класса.
thick_int
Заблокирован
03.02.2012, 13:41  [ТС]     Полимморфизм #15
Ну я в C++ пока не дошел до этой темы, но вот в C# и Visual Basic, как оказалось это возможно (ну а значит наверно и в C++/CLI тоже).
Там даже специально такая фича предусмотрена как new и Shadows соответственно.
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
03.02.2012, 13:46     Полимморфизм #16
thick_int, В С++ тоже предусмотрен override и new. В С++11 соответственно.
silent_1991
Эксперт С++
4951 / 3027 / 149
Регистрация: 11.11.2009
Сообщений: 7,026
Завершенные тесты: 1
03.02.2012, 13:48     Полимморфизм #17
thick_int, представленный мной выше код эквивалентен такому коду на C#:
C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
using System;
 
class Base
{
    public virtual void func()
    {
        Console.WriteLine("Base.func()");
    }
}
 
class Derived1 : Base
{
    public override void func()
    {
        Console.WriteLine("Derived1.func()");
    }
}
 
class Derived2 : Derived1
{
    public override void func()
    {
        Console.WriteLine("Derived2.func()");
    }
}
 
class MainClass
{
    static void Main()
    {
        Base[] arr = {new Base(), new Derived1(), new Derived2()};
 
        foreach (Base i in arr)
            i.func();
    }
}
thick_int
Заблокирован
03.02.2012, 13:49  [ТС]     Полимморфизм #18
Ну у меня по первости (поправьте, если ошибаюсь) сложилось такое впечатление, что руки у полиморизма очень короткие. То есть он нормально действует только на уровне:

Базовый классс --> Производный класс

и уже как бы сбоит на уровне:

Базовый классс --> Производный класс --> Более глубокий производный класс.

А почему так нельзя

C#
1
2
3
4
5
6
7
class Derived1 : Base
{
    public virtual override void func()
    {
        Console.WriteLine("Derived1.func()");
    }
};
чтобы ясно было видно, что чего переопределяет.
ForEveR
Модератор
Эксперт С++
7958 / 4720 / 319
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
03.02.2012, 14:05     Полимморфизм #19
thick_int, потому что virtual и override не совместимы.
silent_1991
Эксперт С++
4951 / 3027 / 149
Регистрация: 11.11.2009
Сообщений: 7,026
Завершенные тесты: 1
03.02.2012, 14:13     Полимморфизм #20
thick_int, и так видно, что чего переопределяет. В базовом классе сказали, что метод виртуальный, а в производном сказали, что переопределили метод базового.
Yandex
Объявления
03.02.2012, 14:13     Полимморфизм
Ответ Создать тему
Опции темы

Текущее время: 15:08. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru