Как функция return возвращает значение в оператор If?

Question

Как значение 1 передается в оператор if в основной функции и как работает функция возврата с рекурсивным вызовом?

#include <stdio.h> 
#include <stdlib.h> 
int identicalTrees(struct node* a, struct node* b) 
    { 
if (a==NULL && b==NULL) 
    return 1; 

if (a!=NULL && b!=NULL) 
{ 
    return 
    (
     a->data == b->data && 
     identicalTrees(a->left, b->left) && 
     identicalTrees(a->right, b->right) 
    ); 
} 

return 0; 
} 




int main() 
{ 
if(identicalTrees(root1, root2)) 
    printf("Both tree are identical."); 
else 
    printf("Trees are not identical."); 

getchar(); 
return 0; 
} 

Answer 1

Когда метод, который был объявлен возвращать значение называется пространство резервируется в стеке для возвращаемого значения каждый раз, когда этот метод называется. Оператор Return помещает значение в эту позицию в стек и выходит из метода, возвращаемого обратно к коду, который вызвал метод. Код, который вызвал метод, извлекает значение, помещенное в стек, с помощью инструкции Return и использует ее в операторе If.

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

См. http://en.wikipedia.org/wiki/Stack-oriented_programming_language и http://en.wikipedia.org/wiki/Recursion_(computer_science) и https://www.cs.umd.edu/class/fall2002/cmsc214/Tutorial/recursion2.html для более подробных объяснений.