Contract.Requires 方法
定义
重要
一些信息与预发行产品相关,相应产品在发行之前可能会进行重大修改。 对于此处提供的信息,Microsoft 不作任何明示或暗示的担保。
为封闭方法或属性指定一个前置条件协定。
重载
Requires(Boolean) |
为封闭方法或属性指定一个前置条件协定。 |
Requires(Boolean, String) |
为封闭方法或属性指定一个前置条件协定,并在该协定的条件失败时显示一条消息。 |
Requires<TException>(Boolean) |
为封闭方法或属性指定一个前置条件协定,并在该协定的条件失败时引发异常。 |
Requires<TException>(Boolean, String) |
为封闭方法或属性指定一个前置条件协定,并在该协定的条件失败时引发包含提供的消息的异常。 |
Requires(Boolean)
为封闭方法或属性指定一个前置条件协定。
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 -> unit
Public Shared Sub Requires (condition As Boolean)
参数
- condition
- Boolean
要测试的条件表达式。
- 属性
注解
此方法调用必须在方法或属性的开头,在任何其他代码之前。
此合同向客户端公开;因此,它只能引用至少与封闭方法一样可见的成员。
当向后兼容性不强制引发特定异常时, Contract.Requires<TException>(Boolean) 请使用此方法而不是 方法。
适用于
Requires(Boolean, String)
为封闭方法或属性指定一个前置条件协定,并在该协定的条件失败时显示一条消息。
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 -> unit
Public Shared Sub Requires (condition As Boolean, userMessage As String)
参数
- condition
- Boolean
要测试的条件表达式。
- userMessage
- String
条件为 false
时要显示的消息。
- 属性
注解
此方法调用必须在方法或属性的开头,在任何其他代码之前。
此合同向客户端公开;因此,它只能引用至少与封闭方法一样可见的成员。
当向后兼容性不强制引发特定异常时, Contract.Requires<TException>(Boolean, String) 请使用此方法而不是 方法。
适用于
Requires<TException>(Boolean)
为封闭方法或属性指定一个前置条件协定,并在该协定的条件失败时引发异常。
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
要测试的条件表达式。
注解
重要
必须启用运行时检查才能使用 Requires 方法。 如果运行时检查已关闭,进程将终止。 若要获取用于运行时检查的工具,请参阅 Visual Studio Marketplace 上的 代码协定 。
此方法调用必须在方法或属性的开头,在任何其他代码之前。
此合同向客户端公开;因此,它只能引用至少与封闭方法一样可见的成员。
如果要在前置条件失败时引发异常, Contract.Requires(Boolean) 请使用此方法而不是 方法。
适用于
Requires<TException>(Boolean, String)
为封闭方法或属性指定一个前置条件协定,并在该协定的条件失败时引发包含提供的消息的异常。
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
时要显示的消息。
注解
-
重要
必须启用运行时检查才能使用 Requires 方法。 如果运行时检查已关闭,进程将终止。 若要获取用于运行时检查的工具,请参阅 Visual Studio Marketplace 上的 代码协定 。
此方法调用必须在方法或属性的开头,在任何其他代码之前。
此合同向客户端公开;因此,它只能引用至少与封闭方法一样可见的成员。
如果要在前置条件失败时引发异常, Contract.Requires(Boolean, String) 请使用此方法而不是 方法。
适用于
反馈
https://aka.ms/ContentUserFeedback。
即将推出:在整个 2024 年,我们将逐步取消以“GitHub 问题”作为内容的反馈机制,并将其替换为新的反馈系统。 有关详细信息,请参阅:提交和查看相关反馈