使用斷言添加前置和後置條件

Question

這是用於我正在處理的任務。其中一個要求是向SomeClass添加前置和後置條件。我仍然在學習什麼樣的條件，但更重要的是，我該如何實現它們？

原始的賦值問題在這裏：「編寫一個程序，顯示一個構造函數將有關構造函數失敗的信息傳遞給異常處理函數定義類SomeClass，它在構造函數中引發一個異常，程序應該嘗試創建一個類型的對象SomeClass的，趕上這是一個從構造函數拋出的異常。

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

的assert語句將失敗拋出AssertionError。 然而，assert語句必須手動使用JVM參數， 啓用，因爲它們是默認關閉的生產代碼 這不適合你的任務。

如果您的要求是拋出AssertionError，那麼你就可以拋出明確：

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; 
} 

我省略了throws條款，因爲AssertionError不是checked異常，沒有必要申報。

最後，在您的代碼中，作爲構造函數的最後一個語句的throw new Exception("You've got an error!");將始終運行，即使參數是正確的。所以那個陳述在那裏沒有任何意義。