C++Builder 實作型別安全的 TList：模板包裝器與自動記憶體管理

前言：TList 的便利與隱憂

VCL 的 TList 是指標容器，內部以 void** 陣列儲存，提供動態擴充、插入刪除、排序等功能。但 void* 犧牲了型別安全：

• 可任意加入不同型別指標，編譯器不報錯
• 取出時需手動轉型，reinterpret_cast 不做檢查，易導致存取違規
• Clear() 僅釋放指標陣列，**不呼叫物件解構函式**，造成記憶體洩漏
• delete void* 不會呼叫解構函式 (未定義行為)

本文展示如何用 **模板包裝器** 在編譯期消除型別錯誤，並整合 **自動釋放機制**，同時保持零額外開銷 (inline)。

型別安全 TList 包裝器完整實作

// TypedList.h
#ifndef TypedListH
#define TypedListH
#include <Classes.hpp>
#include <SysUtils.hpp>

template <class T>
class TTypedList : public TList
{
private:
    bool FAutoDelete;  // 是否自動刪除物件

protected:
    // 型別安全的存取器
    T* __fastcall Get(int Index) const {
        return static_cast<T*>(TList::Get(Index));
    }
    void __fastcall Put(int Index, T* Item) {
        TList::Put(Index, Item);
    }

public:
    __fastcall TTypedList(bool AutoDelete = false)
        : TList(), FAutoDelete(AutoDelete) {}

    // 無需自定解構函式，交由 Clear() 處理

    // 型別安全的介面
    int __fastcall Add(T* Item) {
        return TList::Add(Item);
    }

    void __fastcall Delete(int Index) {
        if (FAutoDelete) delete Get(Index);
        TList::Delete(Index);
    }

    void __fastcall Clear() {
        if (FAutoDelete) {
            for (int i = 0; i < Count; ++i)
                delete Get(i);  // 型別正確，呼叫正確解構函式
        }
        TList::Clear();
    }

    T* __fastcall First() const { return Get(0); }
    T* __fastcall Last() const  { return Get(Count - 1); }

    int __fastcall IndexOf(T* Item) const { return TList::IndexOf(Item); }

    void __fastcall Insert(int Index, T* Item) { TList::Insert(Index, Item); }

    int __fastcall Remove(T* Item) {
        int idx = TList::Remove(Item);
        if (FAutoDelete && idx != -1) delete Item;
        return idx;
    }

    // 型別安全的索引子屬性
    __property T* Items[int Index] = {read=Get, write=Put};
};
#endif

關鍵設計解析

使用範例

範例 1：按鈕群組管理 (不自動刪除，表單擁有權)

#include "TypedList.h"

void __fastcall TForm1::CreateButtons()
{
    typedef TTypedList<TButton> TButtonList;
    TButtonList* btnList = new TButtonList(false);  // 表單負責釋放

    for (int i = 0; i < 5; ++i) {
        TButton* btn = new TButton(this);
        btn->Caption = "Button " + IntToStr(i);
        btn->Top = 50 + i * 30;
        btn->Parent = this;
        btnList->Add(btn);
    }

    // 型別安全存取
    for (int i = 0; i < btnList->Count; ++i)
        btnList->Items[i]->Width = 120;

    // btnList->Add(Application);  // 編譯錯誤：TApplication* 不能轉 TButton*

    delete btnList;  // 僅刪除容器，不刪除按鈕
}

範例 2：資料集清單 (自動刪除，容器擁有權)

void __fastcall TForm1::OpenDataSets()
{
    typedef TTypedList<TDataSet> TDataSetList;
    TDataSetList* dsList = new TDataSetList(true);  // 容器負責釋放

    dsList->Add(new TTable(this));
    dsList->Add(new TQuery(this));
    dsList->Add(new TADOTable(this));

    for (int i = 0; i < dsList->Count; ++i)
        dsList->Items[i]->Active = true;

    delete dsList;  // 自動刪除所有 TDataSet 衍生物件
}

範例 3：異構容器 (共同基類)

void __fastcall TForm1::ManageControls()
{
    typedef TTypedList<TControl> TControlList;  // 基類指標容器
    TControlList* ctrlList = new TControlList(true);

    ctrlList->Add(new TButton(this));
    ctrlList->Add(new TEdit(this));
    ctrlList->Add(new TComboBox(this));

    for (int i = 0; i < ctrlList->Count; ++i)
        ctrlList->Items[i]->Visible = false;

    delete ctrlList;  // 正確呼叫 TControl 虛擬解構函式
}

進階議題：解構函式虛擬化的重要性

delete base_ptr 呼叫正確解構函式的前提是 **基類解構函式為 virtual**。VCL 所有類別繼承自 TObject，其解構函式為 virtual，因此安全。若自訂類別作為基類，**務必宣告 virtual 解構函式**。

為什麼不直接用 STL？

現代 C++ 改寫建議 (C++11+)

// 新專案建議：標準庫 + 智慧指標
#include <vector>
#include <memory>
#include <algorithm>

using ButtonPtr = std::unique_ptr<TButton>;
std::vector<ButtonPtr> buttons;

buttons.emplace_back(new TButton(this));  // 或 make_unique (C++14)
buttons.back()->Caption = "Safe";

// 自動釋放、例外安全、移動語意、無需手動 delete
// 存取：buttons[i]->Caption (型別安全)

結語

TTypedList<T> 以最小代價為舊專案引入 **編譯期型別安全** 與 **自動資源管理**，消除 void* 帶來的隱性 Bug。新專案請直接擁抱 std::vector<std::unique_ptr<T>>，享受現代 C++ 的完整型別系統與 RAII 保護。