Может мне кто-нибудь объяснить почему данный код работает.

 

а почему он не должен работать?
здесь у тебя явное приведение типа

ptr - тип указателя на функцию-эллипсис (неизвестное число параметров)
при вызове ф-ии через f можно указывать произвольное число параметров
все будет нормально если это количество (и качество   ) будет таким же, как у функции, на которую в действительности указывает f

Добавлено @ 10:33 
у тебя сигнатуры вызовов ф-ии через f совпадают с фактическими сигнатурами ф-ий f1, f2, f3 

Не понял, а для чего тогда это свойство- указывать на произвольное число параметров, когда все будет нормально, только если это кол-во будет таким же, как и в функции на которую в действительности указывет f ?

Еще вопросик. Интересно, для чего нужно приводить функцию f1() в тип ptr?
Для того чтобы f могла нормально ссылатся на f1()? 

Потому, что это разные типы
"Указатель на функцию, принимающую один инт и ничего не возвращаю" и "Указатель на функцию с переменным числом параметров" 

Мне вообще давно мучает вопрос о типах-функций, т.е. что есть тип-функция? Тип построен на том что имеет эта функция (т.е. например данные которые она хранит и с которыми она оперирует), или тип как то связан с возвращаемыми (или не возвращаемыми) значениями, может есть какая-то связь с формальными параметрами? 
 

Все, кажется понял. Значит изначально (когда создается указатель) тип ptr нужен для того, чтобы у указателя была возможность ссылатся на функцию имеющую любое кол-во параметров. Т.е. после присвоения указателю ссылки на функцию, этот  указатель уже имеет свойство ссылатся на любую функцию имеющую такое же число агрументов, что и функция на которую перед этим присвоили указатель. В следствие этого возникает мысль, о том что тип в данном случае исходит из кол-ва аргументов используемых в функции. А вот как на счет качества, т.е. типа аргументов, пока вопрос, но по словам MAKCim качество тоже должно совпадать. 

Это сообщение отредактировал(а) AlanG - 27.5.2006, 15:51

вообщем да

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

Это сообщение отредактировал(а) MAKCim - 27.5.2006, 16:40