Generics (Delphi)

[naxellar]

Пример:

Код:

type
    TClassExample<T> = class
        FValue: T;
    end;

Как мне внутри класса работать с FValue, в зависимости от типа? Например, преобразовать FValue в строку (Для Real и Integer - разные функции: FloatToStr, IntToStr).

[Артем]

Как вариант, можно создать внутри класса какую-нибудь переменную type, отвечающую за тип, и инициализировать ее в конструкторе с параметром. А потом просто проверять, если type=1, то значит тип Integer и юзаем IntToStr, если type=2, то Rea,l и юзаем FloatToStr и т.д.

[Sochin]

naxellar

Дельфи-дженерики о_0

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

Что можно сделать выбирай на вкус:
1. Сотворить наследников для TClassExample<Real> и TClassExample<Integer> и работать «в зависимости от типа» с полем FValue конкретного типа. Аминь.
2. Потребовать ограничений для типа параметра. Можно потребовать чтобы T имел некий базовый класс или поддерживал некий интерфейс. В таком разе поле FValue получит нужные члены уже в обобщенном дженерике.
3. Прости господи, заюзать какие-нибудь хитроумные приведения типов прямо в TClassExample<T>. Для отважных.

[naxellar]

Артем, компилятор не пропустит.

[tos]

выражение "специализация шаблонов" о чём-то говорит?

[Sochin]

tos

В отличие от шаблонов С++, .Net generics(как я понимаю, речь именно о них) не поддерживают полной либо частичной специализации.

[Артем]

Артем, компилятор не пропустит.

С чего бы это ? В Delphi, честно говоря, я не пробовал, но на С++ все работает. Помню в лабе по ООП так делал. Правда этот способ уже не будет соответствовать принципам обобщенного программирования)) Так что идея с наследниками, которую предложил Sochin, имхо, самая нормальная.

[naxellar]

tos, не говорит, поищу на эту тему.
Sochin, покопаю пункт 2.

Артем, Для переменной "типа" T не работает ни IntToStr, но StrToFloat.

[tos]

если .net то у него ж все типы - объекты, и у всех есть .toString()

[naxellar]

tos, нет-нет, обычный Delphi.

[naxellar]

Можно потребовать чтобы T имел некий базовый класс или поддерживал некий интерфейс

Почитал про интерфейсы, не понял, чем они могут тут помочь.

[tos]

вызываем объявленный у интерфейса toString() переопределённый у наследников.
ну только зачем тут шаблоны тогда?

[naxellar]

tos, вообщем получается, что generics мне тут не нужны. Жаль, с ними было бы красиво.

[tos]

красота - это когда новое решение является куда более простым, понятным и уместным.
тут же - увы=)