Strict 模块
Assert 包的 Strict 模块提供断言，其比较值的方式如同比较直接写在 twinBASIC 代码中一样，但有两个例外：字符串比较区分大小写（无论项目的 Option Compare 设置如何），且不评估对象默认成员。Strict 匹配语言对数字和基元的正常相等语义，并保证区分大小写的字符串比较和引用式对象相等。
比较语义
此模块中的四个相等性断言---AreEqual、AreNotEqual、SequenceEquals 和 NotSequenceEquals---应用以下规则。其余断言不受影响。
- 字符串比较区分大小写（无论项目的
Option Compare设置如何）。 - 对象引用按标识（Is 运算符）比较；不检索默认成员值。
- 所有其他比较按操作数直接写在 twinBASIC 代码的
=两侧的方式评估---数值提升适用（5等于5.0），vbNullString和""都是空字符串，以此类推。 Null永远不等于任何值，甚至不等于自身---使用 IsNull / IsNotNull 来测试它。
' 在 Strict 下通过（在 Exact 下会失败）：
Strict.AreEqual 5, 5.0 ' twinBASIC 在比较前将 5 提升为 5.0
Strict.AreEqual vbNullString, "" ' 在 twinBASIC 相等性下都是空字符串
' 仍然失败——Strict 比较区分大小写：
Strict.AreEqual "Hello", "hello"诊断结果
Succeed
记录测试已到达此点而未失败。
语法：Strict.Succeed
返回时没有任何断言失败的测试过程隐式报告为通过，因此显式调用 Succeed 很少有必要。偶尔用于结果看起来可能模糊的分支---例如，应该到达末尾的循环体。
Fail
无条件记录测试失败。
语法：Strict.Fail [ Message ]
- Message
- 可选 一个 String，描述失败，与调用的源位置一起记录。
Fail 标记在通过测试中不应可达的代码路径---最常见的是在预期引发错误的调用之后，在调用正常返回时运行的分支中。
On Error Resume Next
target.SomethingThatShouldRaise
If Err.Number = 0 Then Strict.Fail "expected an error, got success"Inconclusive
将测试记录为不确定---既非通过也非失败。
语法：Strict.Inconclusive [ Message ]
- Message
- 可选 一个 String，描述结果不确定的原因。
Inconclusive 记录测试的前提条件无法建立，后续的断言逻辑将没有意义。常见情况是设置步骤未能找到所需的外部资源---测试数据库、已配置的网络端点---此时测试本身既非凭自身优点通过也非失败。
相等性
AreEqual
断言 Actual 等于 Expected。
语法：Strict.AreEqual Expected, Actual [, Message ]
- Expected
- 必需 一个 Variant，持有预期值。
- Actual
- 必需 一个 Variant，持有被测代码产生的值。
- Message
- 可选 一个 String，在比较失败时包含在失败记录中。
比较遵循此模块的比较语义---字符串区分大小写比较，对象引用按标识比较，其他所有内容使用正常 twinBASIC 相等性（因此数值提升适用且 vbNullString 匹配 ""）。如果任一操作数为 Null，断言失败---Null 永远不等于任何值；使用 IsNull 显式测试 Null。
AreNotEqual
断言 Actual 不等于 Expected。
语法：Strict.AreNotEqual Expected, Actual [, Message ]
- Expected
- 必需 一个 Variant，持有 Actual 必须与之不同的值。
- Actual
- 必需 一个 Variant，持有被测代码产生的值。
- Message
- 可选 一个 String，在值相等时包含在失败记录中。
比较使用此模块的比较语义。如果任一操作数为 Null，断言通过---Null 永远不等于任何值。
AreSame
断言 Actual 和 Expected 引用同一对象---等同于 Expected Is Actual。
语法：Strict.AreSame Expected, Actual [, Message ]
- Expected
- 必需 一个 Variant，持有预期的对象引用。
- Actual
- 必需 一个 Variant，持有被测代码产生的引用。
- Message
- 可选 一个 String，在引用不同时包含在失败记录中。
引用标识与模块的其他比较规则无关---AreSame 始终使用 Is 运算符，从不使用默认成员相等性。要比较值而非引用，请使用 AreEqual。
AreNotSame
断言 Actual 和 Expected 引用不同的对象---等同于 Expected IsNot Actual。
语法：Strict.AreNotSame Expected, Actual [, Message ]
- Expected
- 必需 一个 Variant，持有 Actual 必须与之不同的引用。
- Actual
- 必需 一个 Variant，持有被测代码产生的引用。
- Message
- 可选 一个 String，在引用相同时包含在失败记录中。
布尔
IsTrue
断言 Condition 求值为 True。
语法：Strict.IsTrue Condition [, Message ]
- Condition
- 必需 一个 Variant，持有要测试的条件。值被解释为 Boolean---零为 False，任何非零值为 True。
- Message
- 可选 一个 String，在条件为 False 时包含在失败记录中。
如果 Condition 为 Null，断言失败。
IsFalse
断言 Condition 求值为 False。
语法：Strict.IsFalse Condition [, Message ]
- Condition
- 必需 一个 Variant，持有要测试的条件。零为 False，任何非零值为 True。
- Message
- 可选 一个 String，在条件为 True 时包含在失败记录中。
如果 Condition 为 Null，断言失败---Null 既非 True 也非 False。
引用和值状态
IsNothing
断言 Value 是 Nothing 对象引用。
语法：Strict.IsNothing Value [, Message ]
- Value
- 必需 一个 Variant，持有要测试的对象引用。
- Message
- 可选 一个 String，在 Value 引用对象时包含在失败记录中。
这是对象引用测试，等同于 Value Is Nothing。要改为检查 Variant 的 Null 值，请使用 IsNull。
IsNotNothing
断言 Value 引用对象---即不是 Nothing 引用。
语法：Strict.IsNotNothing Value [, Message ]
- Value
- 必需 一个 Variant，持有要测试的对象引用。
- Message
- 可选 一个 String，在 Value 为 Nothing 时包含在失败记录中。
IsNull
断言 Value 是 Variant 的 Null 值。
语法：Strict.IsNull Value [, Message ]
- Value
- 必需 一个 Variant，持有要测试的值。
- Message
- 可选 一个 String，在 Value 不是 Null 时包含在失败记录中。
等同于检查 IsNull(Value) = True。要改为检查 Nothing 对象引用，请使用 IsNothing。
IsNotNull
断言 Value 不是 Variant 的 Null 值。
语法：Strict.IsNotNull Value [, Message ]
- Value
- 必需 一个 Variant，持有要测试的值。
- Message
- 可选 一个 String，在 Value 为 Null 时包含在失败记录中。
序列
SequenceEquals
断言 Actual 和 Expected 包含相同数量的元素，顺序相同，且每对元素在此模块的比较语义下相等。
语法：Strict.SequenceEquals Expected, Actual [, FailMessage ]
- Expected
- 必需 一个 Variant，持有数组、Collection 或其他可枚举值。
- Actual
- 必需 一个 Variant，持有被测代码产生的序列。
- FailMessage
- 可选 一个 String，在序列不同时包含在失败记录中。
两个参数都必须支持通过 For Each 迭代。断言在第一对不匹配时、长度不同时或一方为空而另一方不为空时失败。元素比较使用与 AreEqual 相同的逐对规则，因此字符串元素区分大小写比较，数字在正常 twinBASIC 相等性下比较。
NotSequenceEquals
断言 Actual 和 Expected 不同---它们包含不同数量的元素，或至少有一对对应元素在此模块的比较语义下不同。
语法：Strict.NotSequenceEquals Expected, Actual [, FailMessage ]
- Expected
- 必需 一个 Variant，持有数组、Collection 或其他可枚举值。
- Actual
- 必需 一个 Variant，持有被测代码产生的序列。
- FailMessage
- 可选 一个 String，在序列相等时包含在失败记录中。
另见
- Exact -- 最严格的比较风格：数据类型必须匹配且不会发生转换
- Permissive -- 类似 Strict，但不区分大小写字符串比较和默认成员对象相等性
- Assert 包 -- 所有三个模块的概述和比较语义表