我正在尝试调试代码 - 根据我的理解 - 等同于以下内容......
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)。
答案 0 :(得分: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
中有它的地址,但是很快,编译器就会把这个空间用于其他东西。果然,当你打印出那个地址的价值时,你很容易找到除你放在那里之外的其他东西。