Question

我正在尝试调试代码 - 根据我的理解 - 等同于以下内容......

printf("outside function: %d %d\n", node->ns, node->ns[0]);
function(node->ns);
void function(int *ns) {
     printf("inside function: %d %d\n", ns, ns[0]);
}

输出：

outside function: 11532860 1
inside function: 11532860 11532872

这是预期的，还是我对代码的解释不正确？与“11532872”有点可疑。

更新

我解决了！问题在于节点结构的创建。

原始版本，其中function()（来自上面的代码段）== _contains()：

typedef struct TreeNode {
    char *word;
    int lines;
    int *line_numbers;
    struct TreeNode *left;
    struct TreeNode *right;
} TreeNode;

TreeNode *allocate_tree_node(void) {
    return (TreeNode *) malloc(sizeof(TreeNode));
}

TreeNode *create_tree_node(char *word, int line) {
    int line_numbers[MAX_LINES_PER_WORD]; // <--- the problem
    TreeNode *node = allocate_tree_node();
    node->line_numbers = line_numbers; // <--- the problem
    *node->line_numbers = line;
    node->lines = 1;
    node->word = duplicate_string(word);
    node->left = node->right = NULL;
    return node;
}

int _contains(int *ns, int n, int size) {
    int i;
    printf("contains: %d %d %d\n", ns, ns[0], *ns);
    for (i = 0; i < size; i++) {
        printf("line: %d, index: %d, val: %d\n", n, i, ns[i]);
        if (ns[i] == n) {
            return 1;
        }
    }
    return 0;
}

TreeNode *add_tree(TreeNode *node, char *word, int line) {
    int comparison;

    if (node == NULL) {
        return create_tree_node(word, line);
    }

    comparison = strcmp(word, node->word);
    if (comparison == 0 && !_contains(node->line_numbers, line, node->lines)) {
        printf("not contains: %d %d\n", node->line_numbers, node->line_numbers[0]);
        node->line_numbers[node->lines] = line;
        node->lines++;
    }
    else if (comparison < 0) {
        node->left = add_tree(node->left, word, line);
    }
    else {
        node->right = add_tree(node->right, word, line);
    }

    return node;
}

修正版，使用malloc而不是数组赋值：

TreeNode *create_tree_node(char *word, int line) {
    TreeNode *node = allocate_tree_node();
    node->line_numbers = malloc(MAX_LINES_PER_WORD * (sizeof node->line_numbers));
    *node->line_numbers = line;
    node->lines = 1;
    node->word = duplicate_string(word);
    node->left = node->right = NULL;
    return node;
}

现在输出正确。有人会介意解释发生了什么吗？

（该代码基于K＆amp; R第6章，练习3）。

Answer 1

您问题的原始形式有两个问题：

代码不完整。
您正在使用（仍然是）%d作为指针。

因此，很难确定出了什么问题。您的后续编辑，

修正版，改为使用malloc

提出了一个合理的可能性：你在其范围之外使用自动数组。这在C中被称为未定义的行为，如果发生了什么，奇怪的值并不令人惊讶。

此处有进一步的证据：

TreeNode *create_tree_node(char *word, int line) {
    int line_numbers[MAX_LINES_PER_WORD]; // <--- the problem
    TreeNode *node = allocate_tree_node();
    node->line_numbers = line_numbers; // <--- the problem
    *node->line_numbers = line;
    node->lines = 1;
    node->word = duplicate_string(word);
    node->left = node->right = NULL;
    return node;
}

node->line_numbers是一个指针，局部变量line_numbers具有所谓的automatic存储。（C程序员经常将自动变量称为＆＃34;在堆栈上＃34;它们有时是，但是＆＃34;堆栈＆＃34;不是C概念。）像所有变量一样，自动变量是仅在其范围内定义。如果你取一个地址，并尝试在变量范围之外使用该地址，则行为是未定义的，几乎总是不是你想要的。

当你这样做时，你介入的汤是这样的：

int line_numbers[MAX_LINES_PER_WORD];
node->line_numbers = line_numbers;
...
return node;

如您所知，在C中，数组的名称是其地址。您的数组是line_numbers。您将其地址分配给指针node->line_numbers create_tree_node返回后，create_tree_node的本地自动变量即line_numbers超出范围。此时编译器可以自由地重用它已分配给变量的存储。是的，你仍然在node中有它的地址，但是很快，编译器就会把这个空间用于其他东西。果然，当你打印出那个地址的价值时，你很容易找到除你放在那里之外的其他东西。

为什么同一地址返回不同的值？

更新

1 个答案: