Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
 
Рейтинг 5.00/8: Рейтинг темы: голосов - 8, средняя оценка - 5.00
Заблокирован
1

Полимморфизм

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

Author24 — интернет-сервис помощи студентам
Возможность обращаться к подклассам через классс, от которого эти подкласы наследуют, - это и все на что способен полиморфизм или же есть нечто более глубокое в этом понятии?
0
86 / 81 / 28
Регистрация: 02.08.2011
Сообщений: 335
03.02.2012, 11:16 2
Перегрузка функции(операций) то же один из способов реализации полиморфизма.
0
Эксперт С++
5055 / 3115 / 271
Регистрация: 11.11.2009
Сообщений: 7,044
03.02.2012, 11:59 3
thick_int, судя по вашему "всё, на что способен полиморфизм", вы пока знаете об этом только в теории и не прощупали руками. Как только воспользуетесь этим на практике (даже в небольшой учебной программе), сразу прочувствуете всю прелесть этого механизма. Если же нет, то ООП - не ваше (поскольку не поняв, что предоставляет тот или иной механизм, не получится его полноценно использовать).
0
Заблокирован
03.02.2012, 12:49  [ТС] 4
Цитата Сообщение от silent_1991 Посмотреть сообщение
вы пока знаете об этом только в теории и не прощупали руками
Это Вы точно заметили. Я пока пробую, но вот какую первую шишку набил так это непонятно, почему я не могу делать так:
1) Определить базовый класс 1, а в нем виртуальную функцию f
2) Определить класс 2, наследуемый из класса 1 и одновременно и переопределить функцию f и сделать эту новую переопределенную фуункцию также переопределяемой.
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
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];
   }
}
0
Эксперт С++
5055 / 3115 / 271
Регистрация: 11.11.2009
Сообщений: 7,044
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/... 71a5dd7174

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

Не по теме:

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

0
Заблокирован
03.02.2012, 13:17  [ТС] 7
Хорошо бы еще понять, какая функцию в классе Derivved2 переопределяетсся, та что в Derived1 или в Base?
Я тут слегка запутался, поэтому, читая все подряд по этой теме и C++ и C# и Basic несколько не уловил пока.
0
Эксперт С++
5055 / 3115 / 271
Регистрация: 11.11.2009
Сообщений: 7,044
03.02.2012, 13:23 8
thick_int, что значит "какую"? Она в принципе определяет новое поведение для функции func. Доступа к функциям Base и Derived1 через объект Derived2 нет.
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
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();
}
Но я конечно рекомендую не стрелять себе в ногу таким образом.
0
silent_1991
03.02.2012, 13:34
  #10

Не по теме:

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

0
Заблокирован
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, а функция вызывается не из его класса, а из того класса, из которого он наследует. Тут вот и непонятно, когда какая фуункция вызывается.
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
03.02.2012, 13:37 12
silent_1991, Ну вообще этот доступ ничем не хуже, чем вызов из переопределенной функции наследника - функции базового класса. Единственная проблема - упоротый синтаксис. Ну и... Мне лично так извращаться пока не доводилось.
0
Эксперт С++
5055 / 3115 / 271
Регистрация: 11.11.2009
Сообщений: 7,044
03.02.2012, 13:38 13
Цитата Сообщение от thick_int Посмотреть сообщение
Иногда может быть так, что реально мы имеем элемент Derived2, а функция вызывается не из его класса, а из того класса, из которого он наследует
Такого быть не может. Вызываемая функция определяется по типу объекта, а не указателя. Если по конкретному указателю лежит объект типа Foo, то вызовется виртуальная функция из Foo и ниоткуда больше.

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

Не по теме:

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

0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
03.02.2012, 13:38 14
thick_int, Читайте про полиморфизм в С++ больше пожалуйста. Особенно про таблицу виртуальных функций. У компилятора есть информация о том, какая виртуальная функция должна быть вызвана для объекта определенного класса.
0
Заблокирован
03.02.2012, 13:41  [ТС] 15
Ну я в C++ пока не дошел до этой темы, но вот в C# и Visual Basic, как оказалось это возможно (ну а значит наверно и в C++/CLI тоже).
Там даже специально такая фича предусмотрена как new и Shadows соответственно.
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
03.02.2012, 13:46 16
thick_int, В С++ тоже предусмотрен override и new. В С++11 соответственно.
0
Эксперт С++
5055 / 3115 / 271
Регистрация: 11.11.2009
Сообщений: 7,044
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();
    }
}
0
Заблокирован
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()");
    }
};
чтобы ясно было видно, что чего переопределяет.
0
В астрале
Эксперт С++
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
03.02.2012, 14:05 19
thick_int, потому что virtual и override не совместимы.
0
Эксперт С++
5055 / 3115 / 271
Регистрация: 11.11.2009
Сообщений: 7,044
03.02.2012, 14:13 20
thick_int, и так видно, что чего переопределяет. В базовом классе сказали, что метод виртуальный, а в производном сказали, что переопределили метод базового.
0
03.02.2012, 14:13
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru