Пишу курсовой, и будет у меня там много стеков работающих с разными типами. Можно конечно каждый отдельно описать, но за такое "по головке никто не погладит". Вот я и думаю, как это грамотно организовать. Помогите пожалста с примерчиком и проясните как это называеться: полиморфизм или абстракция?

У меня вот есть одна догадка:



Но мне кажеться что это не совсем грамотно... хочу полиморфизм...   

saneea, а почему это не является грамотным то ?=) Вроде бы всё нормально, и не прийдётся ни классы описывать, ни методы, и при этом для разных типов разные.

Хотя бы потому, что
будет пропущено, а грамотная реализация стека должна работать только с однотипными данными...

volvo877, мне почему то кажется, что в этом предложении именно говориться, что будет несколько стэков, которые и будут хранить разные типы данных, т.е. один для строк, другой для чисел, третий ещё для чего-нибудь там. А в вашем примере о том, что либо стэк, либо о том, что кривой код, либо о том, что стэк должен сам из '10' преобразовать в 10.
Т.е. мы ведь знаем, какой стэк используем(т.е. для каких данных он создан), таким и пользуемся:

А если ты соизволишь прочитать внимательно, то увидишь, что я имел в виду: грамотно построенный стек должен выдать ошибку на том примере, который я привел, а не выполнять его, поскольку стек должен хранить ИЛИ строки, ИЛИ целые, но никак не одно и другое вместе! 

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

Помогите пожааалста...

Это сообщение отредактировал(а) saneea - 22.4.2008, 15:38

saneea, тогда в базовом классе стека храни указатели на данные, а в наследниках только приводи к нужному тебе типу. 

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

Это возможности простого стека, а не ГРАМОТНОГО, пойми ты это!!! Вообще-то Стек должен в Compile-Time предотвращать попытки занесения "чужого" типа. Почему ты не описываешь всегда у процедур/функций, которыми пользуешься, бестиповые параметры? Ты ж и так знаешь, что передавать, а? И не ошибаешься никогда, верно? Так передавай в бестиповый, а внутри уже приводи к тому типу, что тебе нужен. Ан нет, тебе, как видно,  удобнее, чтобы происходила доп. проверка на совместимость типа, что ж ты тут-то советуешь неизвестно что?

А можно пример? А то я не совсем понимаю как привести к нужному типу...

saneea, ты PM читал?

Что такое РМ?

Личное сообщение, у тебя есть ссылка вверху страницы "... новых писем"

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

Я, в принципе соглашусь с volvo877, незачем в стек пихать все подрят. Но раз тебе именно этого хочется, то грамотно будет сделать интерфейс, который должен будет реализовывать каждый элемент, который может быть добавлен в стек, а стек уже должен работать с каждым элементом через этот интерфейс. В этом случае для простых типов придется делать обертки (классы).
Но это позволит тебе избежать сложного дерева наследования, если вдруг у тебя действительно с сильно разными элементами надо работать.

Ого... Чесно говоря я думал всё это по проще... Есть ещё одна идея, но для этого мне нужно знать, можно ли объявить тип, который будет виден только в этом классе. Тогда можно будет создать класс, в котором объявить тип TType=variant (к примеру), сделать все операции с этим относительно этого типа(относительно TType), а в классах предках просто переопределять этот тип (к примеру TType=integer или TType=string). Можно определить тип в классе?

saneea, ну вроде бы как можно, скорее всего так:

А обратно из Variant ты как будешь переводить? Как ты определишь в рантайме, какой именно у тебя тип на самом деле?


Так ты проще хотел или грамотно? 


Относительно типа не получится. Отностиельно базового класса или интерфеса - можно. В предках ничего переопределить нельзя, можно только в потомках переопределить что-то.

Да, я об этом уже подумал...


Я хотел и то и другое 

Я помню мы ещё на первом курсе проходили C++, и было там такая вещь как шаблоны. Только это кажется далеко не полиморфизм.

Можно сделать стек, содержащий Variant'ы, при создании конструктору передавать желаемый тип (например vtInteger), а потом запрещать процедуре Push принимать любой другой тип Variant'а.