Contract.Requires 方法
定义
重要
一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。 对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。
为封闭方法或属性指定一个前置条件协定。
重载
| Requires(Boolean) |
为封闭方法或属性指定一个前置条件协定。 |
| Requires(Boolean, String) |
为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时显示一条消息。 |
| Requires<TException>(Boolean) |
为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发异常。 |
| Requires<TException>(Boolean, String) |
为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发包含提供的消息的异常。 |
Requires(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
为封闭方法或属性指定一个前置条件协定。
public:
static void Requires(bool condition);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition);[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool -> unitPublic Shared Sub Requires (condition As Boolean)参数
- condition
- Boolean
要测试的条件表达式。
- 属性
注解
此方法调用必须在方法或属性的开头，然后再调用任何其他代码。
此合同向客户端公开：因此，它必须仅引用至少与封闭方法一样可见的成员。
当向后兼容性不强制引发特定异常时，请使用此方法而不是 Contract.Requires<TException>(Boolean) 方法。
适用于
Requires(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时显示一条消息。
public:
static void Requires(bool condition, System::String ^ userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string userMessage);[System.Diagnostics.Conditional("CONTRACTS_FULL")]
public static void Requires (bool condition, string? userMessage);[<System.Diagnostics.Conditional("CONTRACTS_FULL")>]
static member Requires : bool * string -> unitPublic Shared Sub Requires (condition As Boolean, userMessage As String)参数
- condition
- Boolean
要测试的条件表达式。
- userMessage
- String
条件为 false 时要显示的消息。
- 属性
注解
此方法调用必须在方法或属性的开头，然后再调用任何其他代码。
此合同向客户端公开：因此，它必须仅引用至少与封闭方法一样可见的成员。
当向后兼容性不强制引发特定异常时，请使用此方法而不是 Contract.Requires<TException>(Boolean, String) 方法。
适用于
Requires<TException>(Boolean)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发异常。
public:
generic <typename TException>
where TException : Exception static void Requires(bool condition);public static void Requires<TException> (bool condition) where TException : Exception;static member Requires : bool -> unit (requires 'Exception :> Exception)Public Shared Sub Requires(Of TException As Exception) (condition As Boolean)类型参数
- TException
条件为 false 时要引发的异常。
参数
- condition
- Boolean
要测试的条件表达式。
注解
此方法调用必须在方法或属性的开头，然后再调用任何其他代码。
此合同向客户端公开：因此，它必须仅引用至少与封闭方法一样可见的成员。
如果要在前提条件失败时引发异常， Contract.Requires(Boolean) 请使用此方法而不是 方法。
适用于
Requires<TException>(Boolean, String)
- Source:
- Contracts.cs
- Source:
- Contracts.cs
- Source:
- Contracts.cs
为封闭方法或属性指定一个前置条件协定，并在该协定的条件失败时引发包含提供的消息的异常。
public:
generic <typename TException>
where TException : Exception static void Requires(bool condition, System::String ^ userMessage);public static void Requires<TException> (bool condition, string userMessage) where TException : Exception;public static void Requires<TException> (bool condition, string? userMessage) where TException : Exception;static member Requires : bool * string -> unit (requires 'Exception :> Exception)Public Shared Sub Requires(Of TException As Exception) (condition As Boolean, userMessage As String)类型参数
- TException
条件为 false 时要引发的异常。
参数
- condition
- Boolean
要测试的条件表达式。
- userMessage
- String
条件为 false 时要显示的消息。
注解
-
此方法调用必须在方法或属性的开头，然后再调用任何其他代码。
此合同向客户端公开：因此，它必须仅引用至少与封闭方法一样可见的成员。
如果要在前提条件失败时引发异常， Contract.Requires(Boolean, String) 请使用此方法而不是 方法。
