“断言”是什么？关键字做什么？

发布于 2024-09-05 04:24:59 字数 227 浏览 10 评论 0原文

assert 的作用是什么？例如在函数中：

private static int charAt(String s, int d) {
    assert d >= 0 && d <= s.length();
    if (d == s.length()) return -1;
    return s.charAt(d);
}

原文

What does assert do?
For example in the function:

private static int charAt(String s, int d) {
    assert d >= 0 && d <= s.length();
    if (d == s.length()) return -1;
    return s.charAt(d);
}

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

夏末 2024-09-12 04:24:59

如果您使用 -enableassertions （或简称 -ea）启动程序，那么此语句

assert cond;

相当于

if (!cond)
    throw new AssertionError();

如果您在没有此选项的情况下启动程序，则断言语句将没有影响。

例如，断言 d >= 0 && d <= s.length();，正如您的问题中所发布的，相当于

if (!(d >= 0 && d <= s.length()))
    throw new AssertionError();

（如果您使用 -enableassertions 启动。）

正式地， Java 语言规范：14.10。 assert 语句的内容如下：

14.10。 assert 语句
断言是包含布尔表达式的 assert 语句。断言可以启用或禁用。如果启用断言，则断言的执行会导致布尔表达式的计算，并且如果表达式计算结果为 false，则报告错误。如果断言被禁用，则断言的执行不会产生任何影响。

其中“启用或禁用”由-ea开关和控制“报告错误”意味着抛出AssertionError。

最后，`assert` 的一个鲜为人知的功能：

您可以像这样附加 : "Error message"：

assert d != null : "d is null";

指定抛出的 AssertionError 的错误消息应该是什么。

If you launch your program with -enableassertions (or -ea for short) then this statement

assert cond;

is equivalent to

if (!cond)
    throw new AssertionError();

If you launch your program without this option, the assert statement will have no effect.

For example, assert d >= 0 && d <= s.length();, as posted in your question, is equivalent to

if (!(d >= 0 && d <= s.length()))
    throw new AssertionError();

(If you launched with -enableassertions that is.)

Formally, the Java Language Specification: 14.10. The assert Statement says the following:

14.10. The assert Statement
An assertion is an assert statement containing a boolean expression. An assertion is either enabled or disabled. If the assertion is enabled, execution of the assertion causes evaluation of the boolean expression and an error is reported if the expression evaluates to false. If the assertion is disabled, execution of the assertion has no effect whatsoever.

Where "enabled or disabled" is controlled with the -ea switch and "An error is reported" means that an AssertionError is thrown.

And finally, a lesser known feature of `assert`:

You can append : "Error message" like this:

assert d != null : "d is null";

to specify what the error message of the thrown AssertionError should be.

回复收藏 0 原文

記憶穿過時間隧道 2024-09-12 04:24:59

如果不满足条件，将抛出AssertionError。

不过，必须启用断言；否则，assert 表达式不会执行任何操作。请参阅：

http://java.sun .com/j2se/1.5.0/docs/guide/language/assert.html#enable-disable

回复收藏 0 原文

决绝 2024-09-12 04:24:59

assert 是一个调试工具，如果条件不成立，它会导致程序抛出 AssertionFailed 异常。在这种情况下，如果程序后面的两个条件中的任何一个计算结果为 false，则程序将引发异常。 ~~一般来说，assert 不应该在生产代码中使用~~

回复收藏 0 原文

画中仙 2024-09-12 04:24:59

尽管我已经阅读了很多有关此的文档，但我仍然对如何、何时以及在何处使用它感到困惑。

使其非常容易理解：

当您遇到类似的情况时，如下所示：

    String strA = null;
    String strB = null;
    if (2 > 1){
        strA = "Hello World";
    }

    strB = strA.toLowerCase();

您可能会收到警告（在 strB = strA.toLowerCase(); 上显示黄线），strA 可能会向 strB 生成 NULL 值。虽然你知道 strB 最终绝对不会为 null，但为了以防万一，你对

1 使用了断言。禁用警告。

2.如果发生最坏的情况（当您运行应用程序时），则抛出异常错误。

有时，当您编译代码时，您不会得到结果，这是一个错误。但应用程序不会崩溃，并且您会花费非常困难的时间来查找导致此错误的位置。

因此，如果你像这样放置断言：

    assert strA != null; //Adding here
    strB = strA .toLowerCase();

你告诉编译器 strA 绝对不是空值，它就可以“和平地”关闭警告。如果它是 NULL（最坏的情况发生），它将停止应用程序并向您抛出一个错误来定位它。

Although I have read a lot documentation about this one, I'm still confusing on how, when, and where to use it.

Make it very simple to understand:

When you have a similar situation like this:

    String strA = null;
    String strB = null;
    if (2 > 1){
        strA = "Hello World";
    }

    strB = strA.toLowerCase();

You might receive warning (displaying yellow line on strB = strA.toLowerCase(); ) that strA might produce a NULL value to strB. Although you know that strB is absolutely won't be null in the end, just in case, you use assert to

1. Disable the warning.

2. Throw Exception error IF worst thing happens (when you run your application).

Sometime, when you compile your code, you don't get your result and it's a bug. But the application won't crash, and you spend a very hard time to find where is causing this bug.

So, if you put assert, like this:

    assert strA != null; //Adding here
    strB = strA .toLowerCase();

you tell the compiler that strA is absolutely not a null value, it can 'peacefully' turn off the warning. IF it is NULL (worst case happens), it will stop the application and throw a bug to you to locate it.

回复收藏 0 原文

街角迷惘 2024-09-12 04:24:59

使用此版本的断言语句来提供 AssertionError 的详细消息。系统将 Expression2 的值传递给相应的 AssertionError 构造函数，该构造函数使用该值的字符串表示形式作为错误的详细消息。
详细消息的目的是捕获和传达断言失败的详细信息。该消息应该允许您诊断并最终修复导致断言失败的错误。请注意，详细消息不是用户级错误消息，因此通常没有必要单独使这些消息易于理解或将其国际化。详细消息应在完整堆栈跟踪的上下文中结合包含失败断言的源代码进行解释。

JavaDoc

回复收藏 0 原文