C# 內存管理深度解析（五）：值類型與引用類型的拷貝語義

核心現象

當結構體 Shoe 作為類 Dude 的字段時：

• 值類型：拷貝 Dude 會完整複製 Shoe 數據，修改副本不影響原對象。
• 引用類型：拷貝 Dude 僅複製引用，副本與原對象共享同一 Shoe 實例，修改會相互影響。

代碼對比

值類型版本（結構體）

public struct Shoe { public string Color; }

public class Dude
{
    public string Name;
    public Shoe LeftShoe, RightShoe;

    public Dude CopyDude()
    {
        return new Dude
        {
            Name = this.Name,
            LeftShoe = this.LeftShoe,   // 值拷貝
            RightShoe = this.RightShoe
        };
    }
}

// 測試
Dude bill = new Dude { Name = "Bill", LeftShoe = new Shoe { Color = "Blue" }, RightShoe = new Shoe { Color = "Blue" } };
Dude ted = bill.CopyDude();
ted.Name = "Ted";
ted.LeftShoe.Color = ted.RightShoe.Color = "Red";

// 輸出：
// Bill : Blue / Blue
// Ted  : Red  / Red   ← 互不影響

引用類型版本（類）

public class Shoe { public string Color; } // 改為 class

// 相同測試代碼
// 輸出：
// Bill : Red / Red   ← 被意外修改！
// Ted  : Red / Red

根因分析

解決方案：實現 ICloneable

public class Shoe : ICloneable
{
    public string Color;
    public object Clone() => new Shoe { Color = (string)this.Color.Clone() };
}

public class Dude : ICloneable
{
    public string Name;
    public Shoe LeftShoe, RightShoe;

    public object Clone()
    {
        return new Dude
        {
            Name = (string)this.Name.Clone(),
            LeftShoe = (Shoe)this.LeftShoe.Clone(),
            RightShoe = (Shoe)this.RightShoe.Clone()
        };
    }
}

最佳實踐

1. 值類型首選 struct：小型、不可變、邏輯上為值（如 Point、DateTime、Money）。
2. 引用類型需深拷貝：實現 ICloneable 或提供 Copy 方法，明確語義。
3. 字符串特例：string 是引用類型但不可變，表現如值類型，無需手動 Clone。
4. 避免可變結構體：會導致難以預期的拷貝行為（如 List.Enumerator）。

1. 上一篇文章： C# 數字金額轉中文大寫（一）：主流程與邊界處理
2. 下一篇文章： C# 實現 PDF 文件完整性驗證：基於 MD5 的簡易數字水印

關於C語言

生命遊戲 C 語言實現：基於 EasyX 圖形庫的細胞自動機模擬

生命遊戲規則 二維矩形世界，每個方格住著活或死的細胞。下一時

C語言 CGI 開發實戰：Apache 配置與首個 CGI 程序構建

C語言 CGI 開發實戰：Apache 配置與首個 CGI

C# 檔案分割合併工具（七）：合併程式完整實作與專案總結

合併程式核心程式碼 命名空間引入 using System

C 語言指針數組冒泡排序優化：字符串排序實戰

C 語言指針數組冒泡排序優化：字符串排序實戰 對字符串陣列排