Czy mogę zadeklarować funkcję, która może przyjmować wskaźnik do siebie jako argument?

Najwyraźniej nie-zobacz Ten wątek . Typ wymagany tutaj zawsze byłby nieskończony.

Kolejna brudna sztuczka.

void Foo( ... )
{
}

int main()
{
 Foo( Foo );
}

Powyĺźszy program bÄ ™ dzie kompilowany bez bĹ ' Ä ™ du. Ale nie jest rekurencyjny. Po zmodyfikowanej funkcji jest wersja rekurencyjna z ogranicznikiem.

#define RECURSIVE_DEPTH (5)

typedef void ( *FooType )( int, ... );

void Foo( int Depth, ... )
{
 void ( *This )( int, ... );

 va_list Arguments;

 va_start( Arguments, Depth );

 if( Depth )
 {
  This = va_arg( Arguments, FooType );

  This( Depth - 1, This );
 }

 va_end ( Arguments );  
}

int main()
{
 Foo( RECURSIVE_DEPTH, Foo );
}

Pokrewnym problemem jest zwrócenie wskaźnika funkcji tego samego typu. Pojawia się przy implementacji maszyn państwowych, więc ma swój własny wpis W C FAQ.

Te same obejścia można zastosować do problemu.

Tak

Jest to wariant " Czy możesz napisać funkcję, która zwraca wskaźnik do siebie?", z tą różnicą, że w Twoim przypadku typ funkcji pojawia się rekurencyjnie jako argument, a nie jako typ zwracany. Odpowiedź Herb Sutters jest wielokrotnego użytku, choć: zawiń wskaźnik w Forward-deklarowanej klasy proxy.

Nie wierzę, że możesz mieć funkcję, która może przyjmować samą siebie jako argument w C++ bez jakichś sztuczek, takich jak umieszczenie swojej funkcji w klasie, a funkcja przyjmuje tę klasę jako argument.

Innym sposobem, który będzie możliwy po trafieniu nowego standardu C++, jest użycie lambda i posiadanie samego przechwytywania lambda. Myślę, że pójdzie coś takiego:

auto recursive_lambda = [&recursive_lambda] { recursive_lambda(); };

Należy pamiętać, że takie stwierdzenie jest całkowicie niesprawdzone w każdym kompilatorze, który obsługuje lambda. Przebieg może się różnić.

Jest to całkowicie poprawne użycie void *.

typedef void T(void *);

void f(T *probably_me)
{
  (*probably_me)(f);
}

Jeśli funkcja może przyjąć samą siebie jako argument, to może wykonać anonimową rekurencję przez wywołanie samej siebie. Ale rekurencja jest niemożliwa w rachunku lambda (który jest w zasadzie tym, co masz tutaj, z typami funkcji). Musisz zaimplementować kombinator punktów stałych używając funkcji rekurencyjnych lub typów rekurencyjnych w celu wykonania rekurencji anonimowej.