Параметризированная перегрузка: продолжение

P.S. Забыл )

http://www.linux.org.ru/view-message.jsp?msgid=3643777&lastmod=1240239571217

Как ты намерен сравнивать float-ы если их равенство нельзя проверять через == ?

PS: И что ты изобретаешь? Диспетчеризацию оконных сообщений такую чтобы идентификатору сообщения соответствовал метод класса?

А вы можете по пунктам объяснить - зачем, если вам нужна подобная функциональность, вы используете C++?

> Как ты намерен сравнивать float-ы если их равенство нельзя проверять через == ?

А зачем мне их сравнивать ? не понял... Уточню, полиморфный параметр а предназначен только для внутреннего использования функцией, выбор ф-ции осуществляется по целочисленному индексу из массива указателей.

> вы используете C++?

Прозреваю lisp хочеш предложить ты ). Скорость исполнения очень важна. > А вы можете по пунктам объяснить - зачем

Задача описана выше по ссылке.

В общем-то задачу я решил тупо - f1(void *a); Но хочется как-то гламурно, через шаблоны )

>Уточню, полиморфный параметр а предназначен только для внутреннего использования функцией, выбор ф-ции осуществляется по целочисленному индексу из массива указателей.

А можно хотя бы приблизительный сценарий работы того что ты пытаешься реализовать?

>В общем-то задачу я решил тупо - f1(void *a);

Вообще-то f(Param a) можно привести к f() если забиндить к первому параметру инстанс Param. Это расширяется на произвольное количество аргументов если биндить несколько раз.

>Но хочется как-то гламурно, через шаблоны )

Не смешно. Шаблоны имеют плюс в том что они type-safe, и кучу минусов сводящихся к тому что они в отличие от (внешнего) препроцессора не позволяют сформировать *произвольный* код в статике и при этом не имеют никакого интерфейса с динамикой.

Бин. данные достаю из файла. Они могут быть разного типа (int, float, double и т.д.), причем и организацмя хранения может быть разной. Для автоматизации обработки в файле введен признак типа данных (целое число), который является индексом массива указателей ф-ций-членов. По индексу (из файла) выбирается из массива ф-ция, реализующая алгоритм для данного типа данных. Так же мне посоветовали фабрику. Как я понял, почитав Александреску, это массив указателей абстрактного класса,каждый элемент которого инициализирован указателем производного класса с переопределенной виртуальной ф-цией. Но, если мне надо, чтоб эти ф-ции имели и аргументы разных типов, т.е. прототипы у ф-ций разные, то с методом массива указателей у меня не получается. Конечно, требование полиморфизма здесь избыточно, но просто стало интересно как такое можно реализовать )

Фабрика какбе подразумевает чтение целых объектов из файла. То есть при записи в файл объект записывает в файл идентификатор типа и следом за ним все поля, рекурсивно вызывая то же самое для вложенных объектов. При чтении объекты инстанциируются из фабрики по метке типа записанного пишущим методом, читают из потока свои поля и рекурсивно инстанциируют вложенные объекты с помощью той же фабрики. Делать метку типа для примитивных полей вроде int/float это слишком мелко.

> Делать метку типа для примитивных полей вроде int/float это слишком мелко.

Понятно, но для моей задачи достаточно )

>> Делать метку типа для примитивных полей вроде int/float это слишком мелко.

>Понятно, но для моей задачи достаточно )

Обычно примитивы читают и пишут большими блоками по нескольку килобайт. По паре виртуальных вызовов на каждый int это слишком жирно.

> В общем-то задачу я решил тупо - f1(void *a); Но хочется как-то гламурно, через шаблоны )

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