W jaki sposób te dwie funkcje zdefiniowane w tej samej klasie mogą nawiązywać połączenia bez przesyłania zgłoszenia?

Question

Na czas uczenia się kodu z boost/asio. Wiele próbek kodu korzysta z kombinacji async_accept i bind. W kodzie serwera, i natknąć niektóre rzeczy tak:

class Tcp_server 
{ 
public: 
    Tcp_server() 
    { 

    } 
    void start_accept(int a) 
    { 
     if(a>0) 
     { 
      cout<<a<<endl; 
      handle_accept(a-1); 
     } 

    } 

    void handle_accept(int a) 
    { 
     if(a>0) 
     { 
      cout<<a<<endl; 
      start_accept(a-1); 
     } 

    } 
}; 

Jeśli zrobię wystąpienie Tcp_server i zadzwonić albo handle_accept lub zacząć akceptować, to działa. Ale jeśli upuszczę enkapsulację klasy Tcp_server, kompilator będzie narzekał, że "handle_accept nie jest zadeklarowane". Zastanawiam się tylko, czy kompilator automatycznie przesyła dalej deklaruje wszystkie funkcje zdefiniowane w tej samej klasie. Czy ktoś może wyjaśnić, dlaczego?

Answer 1

Funkcje zdefiniowane w definicji klasy mają dokładnie taką samą semantykę, jak gdyby były zadeklarowane tylko w definicji klasy, a następnie zdefiniowane bezpośrednio po definicji klasy. Jedyna różnica polega na tym, że takie funkcje składowe są niejawnie deklarowane w linii, podczas gdy definicja funkcji nie jest wbudowana lub bezpośrednio wbudowana. Oznacza to, że z punktu widzenia kompilatora funkcje są zadeklarowane, a klasa jest zdefiniowana przed uwzględnieniem definicji funkcji.

Powód definiowania funkcji po definicji klasy jest prosty: bez tego klasa byłaby niekompletna i przeglądy elementów zakończyłyby się niepowodzeniem, co jest wyraźnie niepożądane dla definicji funkcji składowych. Jako efekt uboczny, funkcje mogą się łatwo odnieść do siebie. Ponieważ definiowanie funkcji składowych w definicji klasy jest przede wszystkim dla wygody, byłoby również niewygodnie wymagać deklaracji dla funkcji składowych używanych później.