抽象类与接口如何隐藏实现细节？其相较于普通类的优势是什么？

我们实现了带抽象方法的抽象类（具体逻辑在子类），同时也实现了普通类的方法重写场景，两种场景都能通过父类引用指向子类对象并调用方法。需要解答以下问题：

1. 抽象类在此如何实现细节隐藏？
2. 使用抽象类与接口能达成哪些普通类无法实现的效果？
3. ‘隐藏实现细节’具体指什么？

抽象类实现代码 #

// Code for abstract class
abstract class Bank
{  
    abstract int getRateOfInterest();  
}

class SBI extends Bank
{  
    int getRateOfInterest()
    {
        return 7;
    }  
}

class PNB extends Bank  
{  
    int getRateOfInterest()
    {
        return 8;
    }  
}

class TestBank{  
    public static void main(String args[])
    {  
        Bank b;  
        b=new SBI();  
        System.out.println("Rate of Interest is: "+b.getRateOfInterest()+" %");  
        b=new PNB();  
        System.out.println("Rate of Interest is: "+b.getRateOfInterest()+" %");  
    }
}

普通类实现代码 #

//code for non abstract class
public class Bank
{  
    public int getRateOfInterest()
    {
        return 5;
    }  
}

class SBI extends Bank
{  
    int getRateOfInterest()
    {
        return 7;
    }  
}

class PNB extends Bank  
{  
    int getRateOfInterest()
    {
        return 8;
    }  
}

class TestBank{  
    public static void main(String args[])
    {  
        Bank b;  
        b=new SBI();  
        System.out.println("Rate of Interest is: "+b.getRateOfInterest()+" %");  
        b=new PNB();  
        System.out.println("Rate of Interest is: "+b.getRateOfInterest()+" %");  
    }
}

1. 什么是“隐藏实现细节” #

隐藏实现细节是指调用者只需要知晓功能的使用方式（方法签名、输入输出规则），无需关心功能内部的执行逻辑。调用者依赖的是抽象的行为定义，而非具体的实现代码——就算后续底层实现逻辑修改，只要对外的行为契约不变，调用代码就不需要做任何调整。

2. 抽象类如何实现细节隐藏 #

在上述抽象类示例中：

• 抽象类Bank仅定义了getRateOfInterest()的方法签名，没有任何具体实现，相当于给所有子类规定了必须遵守的行为契约，但完全不限制子类的具体实现逻辑。
• 调用代码（TestBank的main方法）仅依赖抽象类Bank的引用，调用getRateOfInterest()时，不需要知道当前实例是SBI还是PNB，更不需要了解子类中返回7或8的具体逻辑——调用者只需要明确这个方法会返回合法的利率值即可。
• 抽象类无法直接实例化（不能new Bank()），强制调用者必须使用子类的具体实现，彻底避免了调用代码依赖抽象父类的实现（因为根本没有），进一步隔离了底层细节。

3. 抽象类与接口能达成哪些普通类无法实现的效果 #

强制子类实现核心行为 #

抽象类的抽象方法、接口的非默认方法（Java 8+）都要求子类必须实现对应逻辑，而普通类的方法是带有默认实现的，子类可选择不重写。这能保证所有子类都遵循统一的行为规范，避免遗漏必要的功能实现。比如抽象类版本的Bank，所有银行子类必须实现利率方法；而普通类版本中，子类可以直接继承父类的5%利率，可能不符合业务要求。

定义纯粹的行为契约 #

接口（或仅含抽象方法的抽象类）可以完全作为行为契约存在，不包含任何具体实现，让调用者完全依赖契约而非具体实现。普通类因为自带默认实现，调用者可能会无意中依赖父类的默认逻辑，导致后续修改父类实现时影响调用代码。

禁止无意义的实例化 #

抽象类和接口都不能直接实例化，避免创建没有业务意义的对象。比如Bank作为抽象概念，直接实例化一个Bank对象毫无意义，抽象类就禁止了这种操作；而普通类可以直接new Bank()，可能产生不符合预期的无效对象。

支持多行为契约组合（仅接口） #

Java中类只能单继承，但可以实现多个接口，这让一个类可以同时遵循多个独立的行为契约。比如一个类可以同时实现Bank和PaymentService接口，而普通类的单继承限制无法实现这种多行为组合。

兼顾复用与约束（抽象类独有） #

抽象类可以包含非抽象方法（即默认实现逻辑），同时强制子类实现抽象方法，既提供了代码复用的能力，又约束了子类必须实现的核心功能。普通类的方法重写是可选的，无法强制子类覆盖某些关键方法，容易出现子类逻辑缺失的问题。

内容的提问来源于stack exchange，提问作者Shivankit Aggarwal