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

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

Войти
Регистрация
Восстановить пароль
 
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
#1

Полиморфизм аргумента - C++

23.08.2016, 17:27. Просмотров 242. Ответов 13
Метки нет (Все метки)

Люди, здравствуйте.

Вот, прошло много времени и расстояния. И я пересоздаю тему в другом году и другом разделе.

Итак.
Есть ли в С++ к 2016 году возможность определять тип аргумента, который передается в функцию?
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
class Father {
    public virtual void test(Father a){
        cout << "Father with Father";
    }
    public virtual void test(Son a){
        cout << "Father with Son";
    }
    public virtual void test(Daughter a){
        cout << "Father with Daughter";
    }
}
 
public class Son : Father {
    public virtual void test(Father a){
        cout << "Son with Father";
    }
    public virtual void test(Son a){
        cout << "Son with Son";
    }
    public virtual void test(Daughter a){
        cout << "Son with Daughter";
    }
}
 
public class Daughter : Father {
    public virtual void test(Father a){
        cout << "Daughter with Father";
    }
    public virtual void test(Son a){
        cout << "Daughter with Son";
    }
    public virtual void test(Daughter a){
        cout << "Daughter with Daughter";
    }
}
 
Father *d = new Daughter();
Father *s = new Son();
s->test(d); // выведет: "Son with Father";
Вот.
Как можно видеть из создания классов - хочется, чтобы вывелось "Сын с Дочерью". Но выведется-то "Сын с Отцом". Потому что не может он преобразовать аргумент.
Так происходит в Яве. И мне это очень не нравится.

Может быть хоть Цпэпэ сможет удовлетворить мои запросы?

PS:

Не по теме:

Уже давно не писал на си, поэтому могу и ошибаться с синтаксисом.


Не по теме:

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


Не по теме:

Линк на предыдущую тему.

0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
23.08.2016, 17:27
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Полиморфизм аргумента (C++):

Создать функцию, имеющую два аргумента и возвращающую в качестве аргумента число из отрезка [a,b] - C++
Создать функцию, которая будет иметь два целочисленных параметра a и b, и в качестве своего значения возвращать случайное целое число из...

Напишите функцию, принимающую два аргумента, изменяющую значение второго аргумента и возвращающую void - C++
Помогите, пожалуйста:( Напишите функцию add_tax типа void. У нее два формальных параметра: taxRate, значение которого представляет налог...

Полиморфизм - C++
Прочитал в Википедии что такое полиморфизм: Кратко смысл полиморфизма можно выразить фразой: «Один интерфейс, множество реализаций». ...

Полиморфизм в с++ - C++
Вообщем я делал программу,изначально в ней было реализовано наследование.Затем дали задание реализовать полиморфзим для функции Scale для...

Полиморфизм - C++
Сколько я не читал книг и уроков по С++-программированию, я так и не смог понять что такое полиморфизм. Можно ли как-то просто и...

Полиморфизм - C++
Здравствуйте :) Я пытался читать про полиморфизм. Читал-читал, но не очень дошло. Понял, что можно переопределить виртуальную функцию...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
DrOffset
7138 / 4279 / 964
Регистрация: 30.01.2014
Сообщений: 7,067
23.08.2016, 17:36 #2
Цитата Сообщение от Vhodnoylogin Посмотреть сообщение
хочется, чтобы вывелось "Сын с Дочерью"
В поиске "двойная диспетчеризация".
Как-то так:
Кликните здесь для просмотра всего текста
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
class Son;
class Daughter;
 
class Father {
 
public:
    virtual void test(Father * a){
        cout << "Father with Father";
    }
    virtual void test(Son * a){
        cout << "Father with Son";
    }
    virtual void test(Daughter * a) {
        cout << "Father with Daughter";
    }
};
 
class Son
    : public Father
{
public:
    virtual void test(Father * a){
        a->test(this);
    }
 
    virtual void test(Son * a){
        cout << "Son with Son";
    }
    virtual void test(Daughter * a){
        cout << "Son with Daughter";
    }
};
 
class Daughter
    : public Father
{
public:
    virtual void test(Father * a){
        a->test(this);
    }
    virtual void test(Son * a){
        cout << "Daughter with Son";
    }
    virtual void test(Daughter * a){
        cout << "Daughter with Daughter";
    }
};
 
 
int main()
{
    Father *d = new Daughter();
    Father *s = new Son();
    s->test(d); // выведет: "Daughter with Son";
}
0
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
23.08.2016, 20:13  [ТС] #3
Кто пометил сообщение выше как верный ответ? Пусть он мне решит задачу для двух аргументов. Или для аргументов не коммутативного типа.

Не по теме:

По моей ссылке, если кто не переходил, я сам предложил это костыльное решение.

0
DrOffset
7138 / 4279 / 964
Регистрация: 30.01.2014
Сообщений: 7,067
23.08.2016, 20:32 #4
Vhodnoylogin, когда я начал писать ответ, правки со ссылкой еще не было.
А вообще, то, что ты хочешь, в С++ реализуется практически точно так же, как в Java. Разве что шаблонами можно присыпать, чтобы поменьше писанины было.
Т.е. из коробки, так, как ты хочешь, не будет работать - здесь ситуация аналогичная с темой по ссылке.
А реализация из коробки, даже если бы она была, все равно внутри использовала бы это "костыльное" решение.
0
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
23.08.2016, 20:34  [ТС] #5
То есть за N лет существования программирования на Си-подобных языках НИКОМУ не понадобился честная множественная диспетчеризация? Не поверю.
0
DrOffset
7138 / 4279 / 964
Регистрация: 30.01.2014
Сообщений: 7,067
23.08.2016, 20:36 #6
Ограничение некоммутативности, впрочем, добавить можно.
Так же, как и расширить это на несколько аргументов.
Только нормальный reusable код лично мне писать лень.

Добавлено через 1 минуту
Цитата Сообщение от Vhodnoylogin Посмотреть сообщение
То есть за N лет существования программирования на Си-подобных языках НИКОМУ не понадобился честная множественная диспетчеризация?
Нужна - делаешь руками сообразно задаче.
Внедрять в ядро языка такого монстра - это против философии си-подобных языков.
0
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
23.08.2016, 20:42  [ТС] #7
Цитата Сообщение от DrOffset Посмотреть сообщение
Внедрять в ядро языка такого монстра
а зачем тогда вообще полиморфизм нужен? Ибо динамическое понимания аргумента - это прямое продолжение динамического понимания вызываемого метода.
0
DrOffset
7138 / 4279 / 964
Регистрация: 30.01.2014
Сообщений: 7,067
23.08.2016, 20:52 #8
Vhodnoylogin, С++ статически типизированный язык. Основная проблема кроется в этом. В языках, в которых это возможно, есть продвинутый RTTI, на основании которого можно составить "динамическое понимание аргумента". В С++ нет продвинутого RTTI, и если он нужен, то его необходимо сделать самостоятельно.

А вообще, ты бы лучше задачу свою описал. Больше вероятность, что решение найдется с другой стороны.
0
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
23.08.2016, 20:53  [ТС] #9
Цитата Сообщение от DrOffset Посмотреть сообщение
Нужна - делаешь руками сообразно задаче
и плодишь быдлокод. Ибо там будут тонны никому не нужных вызовов и перевызовов только ради "расшифровки" аргументов...

Каков будет код, если у меня 20 классов, и все они могут между собой взаимодействовать?
0
DrOffset
7138 / 4279 / 964
Регистрация: 30.01.2014
Сообщений: 7,067
23.08.2016, 20:58 #10
Цитата Сообщение от Vhodnoylogin Посмотреть сообщение
Каков будет код, если у меня 20 классов, и все они могут между собой взаимодействовать?
По поводу возможных подходов, рекомендую посмотреть книжку "Современное проектирование на С++", главы 10 и 11.
Книжка для С++03, с использованием С++11 некоторые вещи можно будет еще упростить.
Засчет шаблонов в С++ можно значительно сократить количество однообразного кода.
0
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
23.08.2016, 21:02  [ТС] #11
Цитата Сообщение от DrOffset Посмотреть сообщение
Засчет шаблонов в С++ можно значительно сократить количество однообразного кода
вот. Даже читал об этом, что какой-то там чувак реализовал динамику на Си через шаблоны. Вот только кода я так и не увидел. Однако знаю, что именно так и надо решать задачу - в поле шаблонов.

Но при этом сам я не вижу этого решения.

Не по теме:

Ну вы поняли, что я подразумеваю под "вижу".

0
DrOffset
7138 / 4279 / 964
Регистрация: 30.01.2014
Сообщений: 7,067
23.08.2016, 21:10 #12
Цитата Сообщение от Vhodnoylogin Посмотреть сообщение
Вот только кода я так и не увидел.
Ну в книге есть код, также идеи из книги вошли в библиотеку Loki.
Опять же отмечу, библиотека старая и в современном C++ (11-14) многие вещи делаются проще, и код будет лаконичнее.

Добавлено через 3 минуты
Вот докину еще такую статью (в соавторах создатель С++). Внутри много информации по теме (в том числе о гипотетических вариантах внедрения в язык) и ссылки на готовые реализации в С++.
0
Voivoid
675 / 278 / 12
Регистрация: 31.03.2013
Сообщений: 1,339
23.08.2016, 21:16 #13
Цитата Сообщение от Vhodnoylogin Посмотреть сообщение
То есть за N лет существования программирования на Си-подобных языках НИКОМУ не понадобился честная множественная диспетчеризация? Не поверю.
https://github.com/jll63/yomm11/blob.../asteroids.cpp

Есть в общем-то даже почти полноценный паттернг-матчинг - https://github.com/solodon4/Mach7
2
Vhodnoylogin
-13 / 2 / 0
Регистрация: 02.04.2012
Сообщений: 295
24.08.2016, 17:31  [ТС] #14
Цитата Сообщение от DrOffset Посмотреть сообщение
А вообще, ты бы лучше задачу свою описал. Больше вероятность, что решение найдется с другой стороны.
Мне уже просто интересно. Возможно, и тебе станет интересно.

Надо написать программу, которая упрощает выражение. Вводится строка "a*b+a*c" и выводится строка "a*(b+c)".

Реализация программы такова, что создаются классы Число, Символ (переменная), а так же классы операций - Сложение, Умножение, Минус_один... В общем создаются.
А потом создаются экземпляры и раскидываются в дерево при парсинге строки-выражения.

И вот теперь в игру вступает необходимость полиморфизма аргумента.
Ибо упрощения для Умножение.упрощение(Сложение, Цифра) и Умножение.упрощение(Символ, Символ) - это разные упрощения. Однако все передается как Узел.упрощение(Узел, Узел) - и без полиморфизма программа не может расшифровать типы.
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
24.08.2016, 17:31
Привет! Вот еще темы с ответами:

Полиморфизм :( - C++
Всем здравствуйте. Ребят помогите пожалуйста с полиморфизмом. Я читал некоторые статьи и чем больше их читаю, тем больше возникает...

Полиморфизм c++ - C++
Построить массив из указателей (базового типа) на объекты обоих классов. Выбрать объекты производного класса, отсортировать их и сложить...

Полиморфизм. - C++
Доброго времени суток. Помогите решить следующую задачку: Создать класс периодическое издание (название, стоимость экземпляра и...

Полиморфизм - C++
Хай :senor: class MyPrint//производный класс { public: MyPrint() { cout &lt;&lt; &quot;Constructor MyPrint&quot; &lt;&lt; endl; } virtual...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Yandex
Объявления
24.08.2016, 17:31
Ответ Создать тему
Опции темы

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