断言不起作用

Question

我正在尝试编写一个断言来检查用户给出的大小是否为正值，如果不是，则将其设为正值，此语句位于类构造函数内部，该构造函数获取大小值，然后创建一个数组[size]。我写了下面的代码，我相信它是正确的。

    public Grid(int size) {


    try{
        assert size > 0 ;
    }
    catch(AssertionError e){
        size = Math.abs(size);
    }

    setLayout(new GridLayout(size, size));
    grid = new JButton[size][size];
}

虽然我似乎从未评估过我的断言并继续程序，然后导致 NegativeArraySize 错误（我试图避免），但

我也尝试过，

assert size>0;

并且程序因负值而无法停止。

我在运行 java 时遇到了一些问题最近使用 mac，所以我不知道我的代码是否正确，或者它是否只是那些奇怪的 mac 怪癖之一！并且应该使用

size=Math.abs(size);

谢谢山姆，

Answer 1

您需要使用 -ea 开关（启用断言）运行程序，否则 JVM 根本不会运行 assert 指令。依赖断言有点危险。我建议您这样做：

public Grid(int size) {
    size = Math.max(0, size) 
    setLayout(new GridLayout(size, size));
    grid = new JButton[size][size];
}

或者甚至像这样：

public Grid(int size) {
    if(size < 0) {
        throw new IllegalArgumentException("cannot create a grid with a negative size");
    } 
    setLayout(new GridLayout(size, size));
    grid = new JButton[size][size];
}

第二个建议的好处是向您显示代码其他部分中潜在的编程错误，而第一个建议则默默地忽略它们。这取决于您的用例。

Answer 2

断言可以在程序启动时启用或禁用，默认情况下是禁用的。

请参阅启用和禁用断言

简而言之，在除系统类之外的所有类中启用断言，请在运行类时使用 -enableassertions 或 -ea 进行切换。

Answer 3

由于assert是JDK 1.4中引入的新Java关键字，因此您必须使用JDK 1.4编译器来编译程序。此外，您还需要在编译命令中包含开关 –source 1.4，如下所示：

javac –source 1.4 AssertionDemo.java

注意：如果您使用 JDK 1.5 或更高版本，则无需在命令中使用 –source 1.4 选项。

默认情况下，断言在运行时被禁用。要启用它，请使用开关 –enableassertions，或简称为 –ea，如下所示：

java –ea AssertionDemo

可以在类级别或包级别有选择地启用或禁用断言。禁用开关是 –disableassertions 或简称为 –da。

例如，以下命令启用包 package1 中的断言并禁用类 Class1 中的断言。

java –ea:package1 –da:Class1 AssertionDemo

断言不应该用来代替异常处理。异常处理处理程序执行过程中的异常情况。断言是为了保证程序的正确性。异常处理解决健壮性问题，断言解决正确性问题。与异常处理一样，断言不用于正常测试，而是用于内部一致性和有效性检查。

所以在这种情况下，最好的答案是异常处理。

不要在公共方法中使用断言进行参数检查。可以传递给公共方法的有效参数被视为该方法契约的一部分。无论断言是启用还是禁用，都必须始终遵守合同。例如，上面的代码应该使用异常处理来重写