调试断言条件逻辑和语言特性

Question

我的母语不是英语，所以对我来说 Debug.Assert 方法有点奇怪，对我来说，它验证一个条件，实际上验证与此条件相反的条件。

断言 = 提前、确认、 争论、证明、主张、主张、 宣告、宣称、宣布、提出、说、 压力等

我期望，表现

Debug.Assert(Me.Member Is Nothing, "Member Is Nothing!")

得像

Affirm(condition, "Message") ' conditional message

但是，实际上我应该做

Debug.Assert(Me.Member Is Nothing, "Member Is NOT Nothing!")

Affirm(NOT condition, "Message") ' counter-conditional message

我错过了什么吗？

你是否直观地看到了这一点？

Answer 1

您的语法是正确的，但请这样想。

Debug.Assert(Me.Member Is Nothing, "Member assert.")

这将断言 Me.Member is Nothing，并且只会在事实并非如此时提醒您。
有点像如果你在争论中说“地球的 75% 是水”。没有太多人会在这一点上与你争论。但如果你说“地球主要是由巧克力蛋糕组成的”。人们会争论。

对于断言也是如此，如果断言为真，则调试器不需要说话。如果它是假的，它需要让你知道。

顺便说一句，我的母语是英语，前几次我写断言语句时，我是倒着写的:)

Answer 2

Debug.Assert 的 API 确实有点违反直觉。我花了很长时间才习惯这一点。在我的脑海中，Assert 翻译为：

if (condition)
{
    Fail(message);
}

但事实上，它翻译为：

if (condition)
{
    // Success
}
else
{
    Fail(message);
}

或简而言之：

if (!condition)
{
    Fail(message);
}

诀窍是布尔表达式应该为 true，而不 才能断言。我认为无论如何选择这个设计，是因为这个 API 已经为 C++ 开发人员提供了很长一段时间，并且交换它会让他们眼花缭乱。

Answer 3

关键是您对 Assert 方法的假设有点偏离目标。

我的意思是，该函数检查条件是否有效，即 TRUE。所以它断言条件。

如果不满足条件，即 FALSE，则显示该消息。

Answer 4

使用 Assert，您可以验证代码中的逻辑。或者，您可以添加一条消息，以帮助在断言失败时进行调试。

int i = 3;
i *= 3;
assert(i == 9, "Strange arithmetic failure");

（抱歉，C++ 代码。）

Answer 5

你没有错过任何东西。也许设计者应该将该方法称为“IfNot”而不是“Assert”。我想他们并不意味着将 Assert 调用理解为“if”语句。 “Assert”作为检查值的方法名称在 C/C++ 中也有很长的历史，所以我猜他们想在 C# 中使用相同的名称。