StackOverflow 文件 Visual Studio 教程 程式碼契約 丟擲特定異常的前提條件 丟擲特定異常的前提條件 Created: November-22, 2018 using System.Diagnostics.Contracts; public int DivideNumbers(int numerator, int denominator) { Contract.Requires<ArgumentOutOfRangeException>(denominator != 0); return numerator / denominator; } 前後條件標準前提條件