Помогите, пожалуйста!. Нужно написать функцию с заранее неизвестным количеством аргументов. Типы аргументов заранее неизвестны(как в printf). Но это не самое сложное. Заранее неизвестны даже те типы аргументов, которые могут быть в функции, поэтому методика как в том же printf'e не пройдет.(там строка в которой перечислены типы ожидаемых переменных) В то же время мне нужно привести аргументы функции к их собственному типу. То есть чтобы функция которая получает два аргумента типов вектор и матрица(и возможно какие-то допюуказания о типах) могла понять то что это именно вектор и матрица, а не, скажем два числа типа float, - и применять к ним некие операции.

понимаешь, если ничего не известно, как можно что-то определить

Прошу прощения. Я неверно объяснил. В функцию передаются параметры и, возможно, какая-то информация специфицирующая тип к которому нужно привести аргументы. Далее мне нужно эту информацию расшифровать и сделать присваивание type a=va_arg(ap,type); no я не могу в функции написать  Просто возможно будут добавлены новые классы которые будут являтся аргументами некоторой функции.
А вообще суть проблемы. Мне нужно написать класс функций(в математическом смысле). Класс должен содержать указатель на функцию которая вычисляет значение по данным аргументам. Кроме того для построения скажем производной функции необходимо создать объект этого же класса тоже с указателем на функцию определенных типов аргументов.
Я посмотрел как реализована функция va_arg. Фактически, это параметризированный define в котором тип подставляется в программу как текст. А можно ли подобную концепцию реализовать для функций-членов - то есть создавать "define-члены"? Или хранить, например, в массиве неким образом названия типов и преобразовывать тип к неообходимому.
Вот еще один вопрос могу ли я написать функцию содержащую в себе какое-то заранее неизвестное define-выражение и потребовать от пользователя чтобы он его определял перед вызовом функции. Скажем, так 

Есть несколько вариантов, например можно использовать шаблоны. А можно делать аналогично функции printf.

шаблоны?