按值返回结构每次都会给出相同的错误答案

Question

我正在尝试按值返回结构以查找树中节点的位置。但是使用包装器来简化函数调用会返回不正确的值。

相关代码：

typedef struct {
    uint16_t x;
    uint16_t y;
} coordinate_t;

coordinate_t node_pos_(uint16_t x, uint16_t y, node_t *node, node_t *find) {
    printf("%u, %u\n", x, y);

    if (node == find) {
        printf("found node at %u, %u\n", x, y);
        coordinate_t coords;
        coords.x = x;
        coords.y = y;
        return coords;
    }

    for (uint16_t i = 0; i < node->child_count; i++) {
        node_pos_(x + i, y + 1, node->children[i], find);
    }
}

coordinate_t node_pos(node_t *root, node_t *node) { 
    return node_pos_(0, 0, root, node);
}

int main() {
    coordinate_t coords = node_pos(root, child2);

    printf("coordinates of %s: %u, %u\n", child2->name, coords.x, coords.y);

    return 0;
}

输出：

0, 0
0, 1
0, 2
1, 2
1, 1
found node at 1, 1
coordinates of child2: 2, 0

Answer 1

目前，您的node_pos_ 函数不会在所有执行路径中返回值，并且无法向调用者指示是否找到了节点。这两者对于在树中搜索节点的递归算法都是必不可少的。

本着按值返回coordinate_t 的精神，我保留了坐标对（UINT16_MAX、UINT16_MAX）来表示“未找到”条件。

修改后的功能如下：

coordinate_t node_pos_(uint16_t x, uint16_t y, node_t *node, node_t *find) {
    coordinate_t coords;

    printf("%u, %u\n", x, y);

    if (node == find) {
        printf("found node at %u, %u\n", x, y);
        coords.x = x;
        coords.y = y;
        return coords;
    }

    // look for node in children
    for (uint16_t i = 0; i < node->child_count; i++) {
        coords = node_pos_(x + i, y + 1, node->children[i], find);
        if (!(coords.x == UINT16_MAX && coords.y == UINT16_MAX)) {
            // found
            return coords;
        }
    }

    // not found
    coords.x = UINT16_MAX;
    coords.y = UINT16_MAX;
    return coords;
}

---

正如@yano 所指出的，使用%u printf 格式说明符来打印uint16_t 值是不可移植的。一个简单的解决方法是将值转换为 unsigned int，如下所示：

        printf("found node at %u, %u\n", (unsigned)x, (unsigned)y);

修复它的“正确”方法，避免类型转换，是使用来自#include <inttypes.h> 的 printf 格式说明符宏，如下所示：

        printf("found node at %" PRIu16 " , %" PRIu16 "\n", x, y);