// 就像現(xiàn)實(shí)生活中的質(zhì)量檢查：
// "如果產(chǎn)品有缺陷，就立即報(bào)警"

Trace.Assert(產(chǎn)品沒(méi)有缺陷, "發(fā)現(xiàn)缺陷產(chǎn)品！");

// 三種重載形式
Trace.Assert(condition);                          // 只檢查條件
Trace.Assert(condition, message);                // 條件 + 簡(jiǎn)單消息
Trace.Assert(condition, message, detailMessage); // 條件 + 詳細(xì)消息

bool condition = 檢查某個(gè)重要條件();

Trace.Assert(condition, "重要條件不滿足！");

// 執(zhí)行過(guò)程：
// 1. 計(jì)算 condition 的值
// 2. 如果 condition == false
// 3. 顯示斷言失敗消息
// 4. 可以選擇繼續(xù)執(zhí)行或中斷調(diào)試

public class Calculator
{
    public double Divide(double numerator, double denominator)
    {
        // 檢查除數(shù)不能為零
        Trace.Assert(denominator != 0, "除數(shù)不能為零", 
                    $"分子: {numerator}, 分母: {denominator}");
        
        return numerator / denominator;
    }
}

// 使用
var calc = new Calculator();
double result = calc.Divide(10, 2);  // 正常執(zhí)行
double badResult = calc.Divide(10, 0); // 觸發(fā)斷言！

public class BankAccount
{
    private decimal _balance;
    private bool _isOpen;
    
    public void Withdraw(decimal amount)
    {
        // 檢查賬戶狀態(tài)
        Trace.Assert(_isOpen, "賬戶未開(kāi)啟，不能取款");
        
        // 檢查余額是否足夠
        Trace.Assert(_balance >= amount, "余額不足", 
                    $"當(dāng)前余額: {_balance}, 請(qǐng)求金額: {amount}");
        
        // 檢查金額是否合法
        Trace.Assert(amount > 0, "取款金額必須大于0");
        
        _balance -= amount;
        Console.WriteLine($"取款成功: {amount}, 剩余余額: {_balance}");
    }
    
    public void CloseAccount()
    {
        Trace.Assert(_balance == 0, "賬戶關(guān)閉前余額必須為零", 
                    $"當(dāng)前余額: {_balance}");
        _isOpen = false;
    }
}

public class DataProcessor
{
    private List<int> _data = new List<int>();
    
    public void ProcessData()
    {
        // 檢查數(shù)據(jù)是否已加載
        Trace.Assert(_data != null, "數(shù)據(jù)列表未初始化");
        Trace.Assert(_data.Count > 0, "數(shù)據(jù)列表為空");
        
        // 處理數(shù)據(jù)...
        foreach (var item in _data)
        {
            Trace.Assert(item >= 0, "數(shù)據(jù)包含負(fù)值", $"非法值: {item}");
            // 處理邏輯...
        }
    }
    
    public int GetItemAt(int index)
    {
        // 檢查索引范圍
        Trace.Assert(index >= 0, "索引不能為負(fù)數(shù)", $"索引: {index}");
        Trace.Assert(index < _data.Count, "索引越界", 
                    $"索引: {index}, 數(shù)據(jù)長(zhǎng)度: {_data.Count}");
        
        return _data[index];
    }
}

// Debug.Assert - 只在調(diào)試版本中有效
#if DEBUG
    Debug.Assert(condition, "調(diào)試斷言");
#endif

// Trace.Assert - 在發(fā)布版本中也有效（如果啟用了跟蹤）
Trace.Assert(condition, "跟蹤斷言");

// 使用場(chǎng)景對(duì)比：
public void ProcessOrder(Order order)
{
    // Debug.Assert - 開(kāi)發(fā)階段的內(nèi)部檢查
    Debug.Assert(order != null, "訂單對(duì)象不應(yīng)為null");
    
    // Trace.Assert - 生產(chǎn)環(huán)境也需要檢查的重要條件
    Trace.Assert(order.TotalAmount >= 0, "訂單金額不能為負(fù)");
    Trace.Assert(order.Items.Count > 0, "訂單必須包含商品");
}

<!-- 在 App.config 或 Web.config 中 -->
<configuration>
  <system.diagnostics>
    <trace autoflush="true" indentsize="4">
      <listeners>
        <add name="myListener" 
             type="System.Diagnostics.TextWriterTraceListener" 
             initializeData="trace.log" />
        <add name="consoleListener"
             type="System.Diagnostics.ConsoleTraceListener" />
      </listeners>
    </trace>
  </system.diagnostics>
</configuration>

public class CustomTraceListener : TraceListener
{
    public override void Write(string message)
    {
        Console.Write($"[自定義跟蹤] {DateTime.Now:HH:mm:ss} - {message}");
        
        // 同時(shí)寫(xiě)入文件
        File.AppendAllText("custom_trace.log", message);
    }
    
    public override void WriteLine(string message)
    {
        Write(message + Environment.NewLine);
    }
    
    public override void Fail(string message)
    {
        WriteLine($"? 斷言失敗: {message}");
        
        // 可以發(fā)送郵件、記錄到數(shù)據(jù)庫(kù)等
        SendAlertEmail($"斷言失敗: {message}");
    }
    
    public override void Fail(string message, string detailMessage)
    {
        WriteLine($"? 斷言失敗: {message}");
        WriteLine($"?? 詳細(xì)信息: {detailMessage}");
        
        SendAlertEmail($"斷言失敗: {message}\n詳細(xì)信息: {detailMessage}");
    }
    
    private void SendAlertEmail(string content)
    {
        // 發(fā)送警報(bào)郵件的邏輯
        Console.WriteLine($"?? 發(fā)送警報(bào): {content}");
    }
}

// 注冊(cè)自定義監(jiān)聽(tīng)器
Trace.Listeners.Add(new CustomTraceListener());

[ApiController]
public class UserController : ControllerBase
{
    [HttpPost]
    public IActionResult CreateUser(UserDto user)
    {
        // 使用 Trace.Assert 進(jìn)行重要驗(yàn)證
        Trace.Assert(user != null, "用戶數(shù)據(jù)不能為空");
        Trace.Assert(!string.IsNullOrWhiteSpace(user.Email), "郵箱不能為空");
        Trace.Assert(IsValidEmail(user.Email), "郵箱格式不正確");
        
        try
        {
            // 業(yè)務(wù)邏輯...
            return Ok(new { success = true });
        }
        catch (Exception ex)
        {
            Trace.Assert(false, "創(chuàng)建用戶時(shí)發(fā)生異常", ex.Message);
            return StatusCode(500);
        }
    }
    
    private bool IsValidEmail(string email)
    {
        return email.Contains("@") && email.Contains(".");
    }
}

public class GameCharacter
{
    private int _health;
    private Vector3 _position;
    
    public void TakeDamage(int damage)
    {
        Trace.Assert(damage >= 0, "傷害值不能為負(fù)", $"傷害值: {damage}");
        Trace.Assert(_health > 0, "角色已死亡，不能再受傷害");
        
        _health -= damage;
        
        Trace.Assert(_health >= 0, "生命值不能為負(fù)", $"計(jì)算后生命值: {_health}");
        
        if (_health <= 0)
        {
            Die();
        }
    }
    
    public void MoveTo(Vector3 newPosition)
    {
        Trace.Assert(!float.IsNaN(newPosition.X), "位置X坐標(biāo)非法");
        Trace.Assert(!float.IsNaN(newPosition.Y), "位置Y坐標(biāo)非法");
        Trace.Assert(!float.IsNaN(newPosition.Z), "位置Z坐標(biāo)非法");
        
        _position = newPosition;
    }
    
    private void Die()
    {
        Trace.Assert(_health <= 0, "只有生命值<=0時(shí)才能死亡");
        // 死亡邏輯...
    }
}

public class DatabaseService
{
    private SqlConnection _connection;
    
    public void ExecuteQuery(string sql, params SqlParameter[] parameters)
    {
        Trace.Assert(_connection != null, "數(shù)據(jù)庫(kù)連接未初始化");
        Trace.Assert(_connection.State == ConnectionState.Open, "數(shù)據(jù)庫(kù)連接未打開(kāi)");
        Trace.Assert(!string.IsNullOrWhiteSpace(sql), "SQL語(yǔ)句不能為空");
        
        // 檢查SQL注入風(fēng)險(xiǎn)（簡(jiǎn)單示例）
        Trace.Assert(!sql.ToUpper().Contains("DROP"), "檢測(cè)到危險(xiǎn)SQL操作");
        Trace.Assert(!sql.ToUpper().Contains("DELETE"), "請(qǐng)使用參數(shù)化查詢");
        
        using (var command = new SqlCommand(sql, _connection))
        {
            if (parameters != null)
            {
                command.Parameters.AddRange(parameters);
            }
            
            try
            {
                command.ExecuteNonQuery();
            }
            catch (Exception ex)
            {
                Trace.Assert(false, "執(zhí)行SQL失敗", $"SQL: {sql}, 錯(cuò)誤: {ex.Message}");
                throw;
            }
        }
    }
}

// ? 錯(cuò)誤用法 - 用戶輸入應(yīng)該用異常處理
public void ValidateUserInput(string input)
{
    Trace.Assert(!string.IsNullOrEmpty(input), "輸入不能為空"); // 不好！
    
    // ? 正確用法 - 使用條件檢查 + 異常
    if (string.IsNullOrEmpty(input))
    {
        throw new ArgumentException("輸入不能為空");
    }
}

// Trace.Assert 適合用于：
// - 內(nèi)部狀態(tài)檢查
// - 開(kāi)發(fā)階段的假設(shè)驗(yàn)證
// - 不應(yīng)該發(fā)生的條件檢查

public class PerformanceSensitiveClass
{
    private ExpensiveObject _expensiveObject;
    
    public void HighFrequencyMethod()
    {
        // ? 在頻繁調(diào)用的方法中避免昂貴的斷言檢查
        Trace.Assert(_expensiveObject.IsValid(), "對(duì)象狀態(tài)無(wú)效"); // 可能很慢！
        
        // ? 使用簡(jiǎn)單的檢查
        Trace.Assert(_expensiveObject != null, "對(duì)象未初始化");
        
        // 或者在調(diào)試版本中使用
        #if DEBUG
        Trace.Assert(_expensiveObject.IsValid(), "對(duì)象狀態(tài)無(wú)效");
        #endif
    }
}

// 使用條件編譯來(lái)控制斷言行為
#define TRACE  // 啟用跟蹤
// #define DEBUG // 啟用調(diào)試

public class ConfigurableAssertions
{
    public void MethodWithConfigurableChecks()
    {
        // 基本的、重要的檢查 - 總是執(zhí)行
        Trace.Assert(ImportantCondition, "重要條件失敗");
        
        // 詳細(xì)的、性能影響大的檢查 - 只在調(diào)試時(shí)執(zhí)行
        #if DEBUG
        Trace.Assert(ExpensiveCondition, "詳細(xì)檢查失敗");
        #endif
        
        // 額外的跟蹤信息 - 只在跟蹤啟用時(shí)執(zhí)行
        #if TRACE
        Trace.Assert(AdditionalCondition, "額外跟蹤檢查");
        #endif
    }
}

// 添加多個(gè)輸出目標(biāo)
Trace.Listeners.Add(new ConsoleTraceListener());
Trace.Listeners.Add(new TextWriterTraceListener("trace.log"));
Trace.Listeners.Add(new EventLogTraceListener("Application"));

// 現(xiàn)在所有的 Trace.Assert 都會(huì)輸出到：
// - 控制臺(tái)
// - trace.log 文件
// - Windows 事件日志

public class ConditionalAssertions
{
    private bool _enableDetailedChecks = false;
    
    public void ProcessData(Data data)
    {
        // 基本檢查 - 總是執(zhí)行
        Trace.Assert(data != null, "數(shù)據(jù)不能為空");
        
        // 詳細(xì)檢查 - 根據(jù)條件執(zhí)行
        if (_enableDetailedChecks)
        {
            Trace.Assert(data.IsValid(), "數(shù)據(jù)驗(yàn)證失敗");
            Trace.Assert(data.Timestamp > DateTime.MinValue, "時(shí)間戳無(wú)效");
        }
        
        // 或者使用條件方法
        ConditionalAssert(data);
    }
    
    [Conditional("DEBUG")]
    private void ConditionalAssert(Data data)
    {
        Trace.Assert(data.QualityScore > 0.5, "數(shù)據(jù)質(zhì)量分?jǐn)?shù)太低");
    }
}

// Trace.Assert 就像是代碼中的"安全網(wǎng)"
// 它捕捉那些"理論上不應(yīng)該發(fā)生，但萬(wàn)一發(fā)生會(huì)很糟糕"的情況

Trace.Assert(飛機(jī)引擎正常運(yùn)轉(zhuǎn), "引擎故障！");  // 安全關(guān)鍵檢查
Trace.Assert(數(shù)據(jù)庫(kù)連接正常, "數(shù)據(jù)庫(kù)連接失敗"); // 基礎(chǔ)設(shè)施檢查  
Trace.Assert(計(jì)算結(jié)果合理, "計(jì)算邏輯錯(cuò)誤");     // 業(yè)務(wù)邏輯檢查