您现在的位置：程式碼之家 >> 編程語言 > >> 更多程式語言 >> 程式設計綜合問答

C 語言函數回傳區域指標的正確性分析與記憶體管理策略

編輯：程式設計綜合問答

程式碼片段

typedef struct BiTNode {
    char data;
    struct BiTNode *lchild, *rchild;
} BiTNode, *BiTree;

BiTree CreateBiTree() {
    char ch;
    BiTree T;
    scanf("%c", &ch);
    if (ch == '#') T = NULL;
    else {
        T = (BiTree)malloc(sizeof(BiTNode));
        T->data = ch;
        T->lchild = CreateBiTree();
        T->rchild = CreateBiTree();
    }
    return T; // 回傳區域指標變數 T
}

核心問題：這是否屬於「回傳區域指標」錯誤？

不是錯誤，這是標準且安全的做法。

關鍵區別

情境	說明	是否安全
回傳區域陣列/結構體的位址	函數結束時棧框銷毀，記憶體失效	❌ 不安全
回傳 `malloc/new` 配置的堆疊記憶體位址	記憶體生命週期由呼叫者管理，函數結束不釋放	✅ 安全

在 CreateBiTree 中：

T 是區域指標變數（儲存在棧上）
malloc 在堆疊上配置 BiTNode 記憶體
T 指向該堆疊記憶體
函數回傳指標值（位址），而非區域變數本身
呼叫者接收該位址，獲得堆疊記憶體的擁有權

為什麼這在 C 語言中極常見？

工廠函數：Node* createNode()、Tree* buildTree()、List* initList()
標準庫：fopen 回傳 FILE*、malloc 回傳 void*、strdup 回傳 char*
所有「建立物件並移交擁有權」的 API 皆採此模式

必要的配套責任：呼叫者必須釋放

BiTree root = CreateBiTree();
// ... 使用樹 ...
DestroyBiTree(root); // 遞迴 free 每個節點

void DestroyBiTree(BiTree T) {
    if (T) {
        DestroyBiTree(T->lchild);
        DestroyBiTree(T->rchild);
        free(T);
    }
}

若呼叫者忘記 free，會造成記憶體洩漏；若重複 free，會導致未定義行為。

進階：以結構體回傳「指標+大小」提升安全性

typedef struct {
    BiTree root;
    size_t nodeCount;
} BiTreeResult;

BiTreeResult CreateBiTreeSafe() {
    BiTreeResult res = {0};
    res.root = CreateBiTree(); // 原函數
    // 可額外計算節點數
    return res; // 結構體由值回傳，無指標問題
}

現代 C 實務常建議：

回傳指標表示成功，NULL 表示失敗
輸出參數帶回大小/計數/錯誤碼
文件化「呼叫者擁有權，需呼叫對應 destroy 函數」

原始碼中的其他問題

中序/後序遍歷錯誤：InOrderTraverse 和 PostOrderTraverse 內部錯誤呼叫 PreOrderTraverse，應分別呼叫自己。
main 回傳型別應為 int，非 void。
BiTree *t1; t1 = &T; 多餘，未使用。

修正後的遍歷函數

void InOrderTraverse(BiTree T) {
    if (T) {
        InOrderTraverse(T->lchild);
        printf("%c", T->data);
        InOrderTraverse(T->rchild);
    }
}

void PostOrderTraverse(BiTree T) {
    if (T) {
        PostOrderTraverse(T->lchild);
        PostOrderTraverse(T->rchild);
        printf("%c", T->data);
    }
}