受控程式碼中的判斷提示
判斷提示 (或 Assert 陳述式) 會測試條件，您對 Assert 陳述式將該條件指定為引數。 如果條件評估為 True，則不會發生動作。 如果條件評估為 False，則判斷提示會失敗。 如果您是使用偵錯組建執行，您的程式會進入中斷模式。
在 Visual Basic 和 Visual C# 中，您可以從位於 Assert 命名空間中的 Debug 或 Trace 使用 System.Diagnostics 方法。 Debug 類別方法未包含在程式的發行版本中，因此不會增加發行程式碼的大小或減緩其速度。
C++ 不支援 Debug 類別方法。 您可以使用 Trace 類別搭配條件式編譯得到相同的效果，例如 #ifdef DEBUG... #endif。
您可以隨意使用 System.Diagnostics.Debug.Assert 方法測試程式碼正確時應為 true 的條件。 例如，假設您撰寫了整數除法函式。 根據數學的規則，除數不得為零。 您可以使用判斷提示測試這項條件：
int IntegerDivide ( int dividend , int divisor )
{
Debug.Assert ( divisor != 0 );
return ( dividend / divisor );
}
您在偵錯工具下執行此程式碼時，將會評估判斷提示陳述式，但是在發行版本中則不會進行比較，因此不會有額外的負荷。
以下是另一個範例。 您擁有實作檢查帳戶的類別，如下所示：
float balance = savingsAccount.Balance;
Debug.Assert ( amount <= balance );
savingsAccount.Withdraw ( amount );
在您從帳戶中提領現金之前，要先確定帳戶餘額足夠供應您預備提領的金額。 您可以撰寫判斷提示檢查餘額：
float balance = savingsAccount.Balance;
Trace.Assert ( amount <= balance );
savingsAccount.Withdraw ( amount );
請注意，當您建立程式碼的發行版本時，對 System.Diagnostics.Debug.Assert 方法的呼叫就會消失。 這表示，在發行版本內，檢查餘額的呼叫將會消失。 若要解決這個問題，您應該將 System.Diagnostics.Debug.Assert 取代為 System.Diagnostics.Trace.Assert，後者不會在發行版本中消失：
呼叫 System.Diagnostics.Trace.Assert 與呼叫 System.Diagnostics.Debug.Assert 不同，前者會增加發行版本的額外負荷。
當您使用 System.Diagnostics.Debug.Assert 時，確定 Assert 內的任何程式碼都不會在 Assert 移除後變更程式的結果。 否則，您可能意外引入只會出現在程式發行版本中的 Bug。 處理包含函式或程序呼叫的判斷提示時要特別小心，例如下面的範例：
這個 System.Diagnostics.Debug.Assert 用法乍看之下好像很安全，但假設每次呼叫 meas 函式時都會更新計數器。 當您建置發行版本時，將會去除這個 meas 呼叫，如此計數器就不會更新。 這是具有副作用的函式範例。 去除具有副作用的函式呼叫將導致只出現在發行版本中的 Bug。 若要避免此類問題，請不要在 System.Diagnostics.Debug.Assert 陳述式中放置函式呼叫。 請改用暫存變數：
即使是使用 System.Diagnostics.Trace.Assert 時，您仍然會想要避免將函式呼叫放入 Assert 陳述式中。 此類呼叫應該是安全的，因為發行組建中不會去除 System.Diagnostics.Trace.Assert 陳述式。 但是，如果您養成不使用此類建構的習慣，使用 System.Diagnostics.Debug.Assert 時就比較不會犯錯。
如果您使用 Visual Studio 精靈建立專案，根據預設，TRACE 符號會同時在發行和偵錯組態中定義。 根據預設，DEBUG 符號只會在偵錯組建中定義。
否則為了要讓 Trace 方法運作，您程式的原始程式檔頂端就必須要有下列其中一個項目：
#Const TRACE = True(在 Visual Basic 中)Visual C# 及 C++ 中的
#define TRACE或者，您的程式必須是使用 TRACE 選項所建置：
/d:TRACE=True(在 Visual Basic 中)Visual C# 及 C++ 中的
/d:TRACE如果您需要在 C# 或 Visual Basic 的發行組建中使用 Debug 方法，則必須在發行組態中定義 DEBUG 符號。
C++ 不支援 Debug 類別方法。 您可以使用 Trace 類別搭配條件式編譯得到相同的效果，例如
#ifdef DEBUG...#endif。 您可以在 [<專案> 屬性頁] 對話方塊中定義這些符號。 如需詳細資訊，請參閱變更 Visual Basic 偵錯組態的專案設定或變更 C 或 C++ 偵錯組態的專案設定。
System.Diagnostics.Trace.Assert 和 System.Diagnostics.Debug.Assert 最多可接受三個引數。 第一個引數是強制性的，代表您要檢查的條件。 如果您只使用一個引數呼叫 System.Diagnostics.Trace.Assert(Boolean) 或 System.Diagnostics.Debug.Assert(Boolean)，Assert 方法將會檢查該條件，而如果結果為 false，則會將呼叫堆疊的內容輸出至 [輸出] 視窗。 下列範例將示範 System.Diagnostics.Trace.Assert(Boolean) 和 System.Diagnostics.Debug.Assert(Boolean)：
若出現第二個和第三個引數，這兩個引數必須為字串。 如果您使用兩個或三個引數呼叫 System.Diagnostics.Trace.Assert 或 System.Diagnostics.Debug.Assert，第一個引數就是條件。 方法會檢查條件，如果結果是 false，就會輸出第二個和第三個字串。 下列範例將示範搭配兩個引數使用的 System.Diagnostics.Debug.Assert(Boolean, String) 和 System.Diagnostics.Trace.Assert(Boolean, String)：
Debug.Assert ( stacksize > 0, "Out of stack space" );
Trace.Assert ( stacksize > 0, "Out of stack space" );
下列範例將示範搭配三個引數使用的 System.Diagnostics.Debug.Assert(Boolean, String, String) 和 System.Diagnostics.Trace.Assert(Boolean, String, String)：
Debug.Assert ( stacksize > 100, "Out of stack space" , "Failed in inctemp" );
Trace.Assert ( stacksize > 0, "Out of stack space", "Failed in inctemp" );
如果您以使用者介面模式執行應用程式，Assert 方法將在條件失敗時顯示 [判斷提示失敗] 對話框。 判斷提示失敗時發生的動作是由 Listeners 或 Listeners 屬性所控制。
自訂輸出行為的方法包括將 TraceListener 物件加入至 Listeners 集合內、從 TraceListener 集合內移除 Listeners，或覆寫現有 System.Diagnostics.TraceListener.Fail 的 TraceListener 方法，讓它擁有不同的行為。
例如，您可以覆寫 System.Diagnostics.TraceListener.Fail 方法以寫入事件記錄檔，而非顯示 [判斷提示失敗] 對話方塊。
若要以這種方式自訂輸出，您的程式必須包含接聽程式，而且必須繼承自 TraceListener，並覆寫其 System.Diagnostics.TraceListener.Fail 方法。
如需詳細資訊，請參閱追蹤接聽項。
您可以在程式組態檔中設定判斷提示，就像在程式碼中一樣。 如需詳細資訊，請參閱 System.Diagnostics.Trace.Assert或 System.Diagnostics.Debug.Assert。