SavingsAccount.java

/**
 * 儲蓄帳戶：繼承 BankAccount，補上 withdraw 的實作。
 *
 * SavingsAccount 的契約（比 BankAccount 更明確）：
 *   withdraw(amount)：若 amount <= balance 則扣款並回傳 true；
 *                     否則不改變狀態並回傳 false。
 *   資料不變量：balance >= 0（繼承自父類別，且永遠成立）
 */
public class SavingsAccount extends BankAccount {

    public SavingsAccount() {
        super();            // 呼叫父類別的建構子（建構子「不會」被繼承，要自己寫）
    }

    @Override
    public boolean withdraw(int amount) {
        if (amount < 0) {
            throw new IllegalArgumentException("提款金額不可為負數：" + amount);
        }
        if (this.balance < amount) {
            return false;                            // 餘額不足：拒絕，狀態不變
        }
        this.balance = this.balance - amount;        // protected 欄位：子類別可直接存取
        return true;
    }
}