使用断言添加前后条件

Question

这是我正在做的一个任务。其中一个要求是向某个类添加前置条件和后置条件。我仍在学习什么是前置条件和后置条件，但更重要的是，我如何实现它们？

原始赋值问题在这里：“编写一个程序，显示一个构造函数将构造函数故障的信息传递给异常处理程序。定义一个类，它会在构造函数中抛出一个异常。您的程序应该尝试创建一个对象类型为某个类，并捕获从构造函数抛出的异常。

import java.util.Scanner;

public class Demo3 {
    public static void main(String[] args) {
        Scanner scan=new Scanner(System.in);
        System.out.println("Enter a number between 0 and 10:");
        int a=scan.nextInt();
        System.out.println("Enter another number between 0 and 10:");
        int b=scan.nextInt();
        SomeClass testException;
        try
        {
            testException = new SomeClass(a,b);
        }
        catch(Exception e)
        {
           System.out.println("Exception occurred: "+e.getMessage());
        }
    }
}

public class SomeClass {
    int a;
    int b;
    public SomeClass (int a, int b) throws Exception {
        assert (a >= 0 && a <= 10) : "bad number: " + a;
        if(a<0 || a > 10){System.out.println("Try again!");}
        assert (b >= 0 && b <= 10) : "bad number: " + b;
        if(b<0 || b > 10){System.out.println("Try again again!");}
        throw new Exception("You've got an error!");
    } 
}

Answer 1

断言语句将在失败时抛出断言错误。但是，断言语句必须使用 JVM 参数手动启用，因为它们在生产代码中默认处于关闭状态。这不适合您的作业。

如果您的要求是抛出＜code＞AssertionError＜/code＞，那么可以显式抛出：

public SomeClass (int a, int b) { 
    if (a < 0 || a > 10) {
        throw new AssertionError("the first param is out of valid range: " + a);
    }
    if (b < 0 || b > 10) {
        throw new AssertionError("the second param is out of valid range: " + b);
    }

    // at this point the pre-conditions have been validated
    this.a = a;
    this.b = b;
}

我省略了抛出子句，因为 AssertionError 不是经过检查的异常，不需要声明它。

最后，在您的代码中，< code >抛出新的异常(“您有一个错误！”); at作为构造函数的最后一条语句将始终运行，即使参数是正确的。所以这种说法没有任何意义。