Наследование шаблонов

[Дож]

Я про чисто алгоритмический аспект. Понятно - что внутренне - это всё 1 или 0. Но для человека понятнее - если видишь nil в присвоении - понимаешь, что тут явно Pointer или его производные. А если 0 - то это число (перечисляемое значение).

Чисто алгоритмически в данной ситуации мы не находим данные по заданному ключу и хотим вернуть какое-то его дефолтное значение (что-то вернуть-то нужно).

Лучше было бы, конечно, передавать это дефолтное значение в самой функции

Код: Выделить всё

function MyGetValue(key:TKey; def: TValue = Default(TValue)):TValue;inline;
...
           result := def;

[Mirage]

Еще не помешает учесть, что далеко не везде 0 и nil это одно и тоже. Указатель по нулевому адресу может быть вполне валидным и для nil придется поискать другое числовое значение.

[zub]

alexs
>>Я про чисто алгоритмический аспект. Понятно - что внутренне - это всё 1 или 0. Но для человека понятнее - если видишь nil в присвоении - понимаешь, что тут явно Pointer или его производные. А если 0 - то это число (перечисляемое значение).
Снаружи оно и выглядит как NIL, это внутренняя "проблема" генерика. Для меня возможность в пару строк получить типобезопасный контейнер важнее.

Дож
Как понадобится возможность получать различные значения в случае отсутствия ключа - так и зделаю, но пока хватает нуля, имхо лишний параметр вводить нестоит, накрайняк можно объявить классовую константу.
Кстати NIL и 0 в качестве default`а гарантируется? или это может меняться в зависимости от реализации\целевой платформы? Наврятли конечно, но вдруг?
Default особенно хорош (вернее без него никак) в случае когда в роли TValue выступает какойнибудь record

[Дож]

Кстати NIL и 0 в качестве default`а гарантируется? или это может меняться в зависимости от реализации\целевой платформы? Наврятли конечно, но вдруг?

По идее, да, он должен возвращать 0, nil, пустые строки, множества и массивы.

Без него можно через FillChar, но это кажется очень некрасивым.

[hinst]

ещё совсем недавно наследование шаблонов не работало. Когда успели починить? в 2.7.1 trunc что ли

[zub]

Да, в транке работает

[alexs]

zub
На мой взгляд, вот такое неаккуратное использование типов - первый шаг к получению скрытых ошибок и дырок.
Зачем себе создавать проблемы?

[zub]

Я проблем тут не вижу, единственное - экзотика когда nil<>0, но в этом случае можно искать через итератор, без данной обертки.
Более того, при обычных подходах использования и преведения типов еще более чудесны и опасны.