c - C中的递归函数返回值而不返回

Question

所以我正在用 C 编写一些二叉搜索树函数(这里是完美运行的节点结构和插入函数):

typedef struct searchTreeNode {
    int data;
    struct searchTreeNode *left;
    struct searchTreeNode *right;
} STNode;


void insert(STNode **proot, int data) {

    STNode *node = *proot;
    if (!node) {
        *proot = newNode(data);
        return ;
    }
    if (data <= node -> data) insert(&(node -> left), data);
    else insert(&(node -> right), data);
}

而且我发现以下用于查找树的最大值的递归函数工作得很好，即使最后一个递归调用实际上返回了一个整数:

int max(STNode *node) {

    if (!node) return 0;
    if (!(node -> right)) return node -> data;
    max(node -> right);
}

这意味着，如果我没记错的话，它的作用与此完全相同:

int max(STNode *node) {

    if (!node) return 0;
    if (!(node -> right)) return node -> data;
    return max(node -> right);
}

函数现在返回它从下一个递归调用中获得的值。

这是函数返回最后返回值的已知行为还是我遗漏了什么？

这是我的主要函数，带有一些随机数:

int main() {

    STNode *root = NULL;
    insert(&root, 10);
    insert(&root, 13);
    insert(&root, 14);
    insert(&root, 124);
    insert(&root, 1);
    insert(&root, 8);
    insert(&root, 3);

    printf("Max value: %d\n", max(root));

    return 0;
}

Answer 1

由于 max 的第一个版本不会在所有路径上返回 值，因此当调用者尝试读取该值时会导致未定义的行为。由编译器决定如何处理。不能保证编译器会在某处插入 return。在那种情况下你不能依赖任何东西。

在您的特定平台上实际上可能发生的是路径

if (!node) return 0;
if (!(node -> right)) return node -> data;

写入返回值的寄存器。递归调用 max(node -> right); 意味着在最后两个 return 之一将发生并且返回值将在正确的寄存器中。因此，当 max 在没有显式 return ...; 的情况下静默返回时，编译器可能只会发出返回机器码并保持返回寄存器不变。这当然只会发生，因为对 max 的递归调用是函数中的最后一条语句(修改返回寄存器)。

但是如前所述，请不要那样做，这是未定义的行为，将来很可能会给您带来麻烦。