Функция, принимающая указатель на себе подобную

Самый простой вариант - сделать функтор(объект с operator()), который бы принимал указатель/ссылку на объект того же типа.

Ну вот мысль с функтором и forward declaration мне тоже уже пришла в голову. Но хочется странного^W обойтись без написания классов. По возможности.

Это не то? http://stackoverflow.com/questions/23737449/recursive-typedef-function-defini...

Какие есть еще варианты кроме грязных кастований указателей?

А ещё на темплейтах можно попробовать записать комбинатор. Это весело!

Поздравляю тебя, Шарик, ты напоролся на врождённую слабость системы типов в C++.

Попробуй обернуть в класс.

class FUNCA {
  std::function<void(int, FUNCA)> call;
};

В крестах разве есть рекурсивные типы? Это довольно нетривиально сказывается на проверке типов.

Какие есть еще варианты кроме грязных кастований указателей?

Сделать свой тип указателя в виде класса с конструктором и оператором (), который будет «прозрачно» отрабатывать при передаче и использовании параметров.

Если второй аргумент определить через шаблонный тип, все должно получиться, но мне в конечном счете хочется получить синоним (typedef или еще как) типа такой функции, а там шаблоны вроде как не сработают.

Ты хочешь генерить тип этой функции? Он должен когда-то заканчиваться, или функции должны генериться в зависимости от переданных аргументов?

Это норм?

template <typename S, typename R, typename... Args>
struct get_rec {
	using type = std::function<R(Args..., S)>;
	using next = get_rec<type, R, Args...>;
};

template <typename R, typename... Args>
struct rec_start {
	using type = std::function<R(Args...)>;
	using next = get_rec<type, R, Args...>;
};

-> rec_start<void, int>::type
std::function<void (int)>

-> rec_start<void, int>::next::type
std::function<void (int, std::function<void (int)>)>

-> rec_start<void, int>::next::next::type
std::function<void (int, std::function<void (int, std::function<void (int)>)>)>

-> rec_start<void, int>::next::next::next::type
std::function<void (int, std::function<void (int, std::function<void (int, std::function<void (int)>)>)>)>

с++, с++11
Но хочется странного^W обойтись без написания классов.

Убирай тогда теги C++, C++11, странный ты наш.

Всем спасибо за участие. В общем даже чисто на шаблонах эта штука не работает.

template<typename T>
void foo(T f, int a){}

template<typename T>
void bar(T f, int a){
    return foo(f, a);
}

Извне попытка вызова bar опять заканчивается бесконечным описанием нужного типа шаблона foo. Попытка прикрутить decltype также ни к чему не привела. Как тут правильно заметили, Шарик упоролся в рекурсивный тип, который С++ не умеет.

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

Очень хотелось бы ознакомится со случаями, когда такие конструкции нужны.