返回类型与所属接口同名的接口方法的应用场景及实现咨询

Great question! I’ve run into this pattern plenty of times when reviewing or writing code—it’s a clever way to build flexible, readable APIs that align with common design patterns. Let’s break down where it shines and how to implement it effectively.

核心应用场景 #

• Fluent Interfaces（流畅接口）：这是最常见的使用场景。通过让方法返回接口类型，你可以实现链式调用，让代码读起来像自然语言。比如如果你的Feature接口还有其他方法，就能写出feature.A().B().C()这样的代码，替代一次次单独调用方法的写法。这种模式让代码简洁直观——类似Java的Stream或者Spring的查询构建器都用到了这个思路。
• Prototype Pattern（原型模式）：当你需要创建对象副本但不想耦合到具体类时，返回接口类型的方法就非常合适。比如一个CloneableFeature接口，它的clone()方法返回CloneableFeature，这样每个实现类可以自行处理克隆逻辑，而调用方只需要和接口交互即可。
• Builder Pattern：构建器通常用这个模式来保持构建过程的抽象性。假设你有一个CarBuilder接口，setEngine()或setWheels()这类方法返回CarBuilder——这能让你链式调用配置方法，而且可以随时替换不同的构建器实现，不用修改客户端代码。
• 动态策略组合：如果用策略模式，让策略方法返回接口类型可以让你动态修改或扩展策略。比如一个EncryptionStrategy接口，它的withSalt()方法返回EncryptionStrategy，调用方可以创建策略的修改版本，同时不破坏接口契约。

实现建议 #

1. 按需选择返回自身或新实例 #

在实现类中，你可以根据场景选择两种返回方式：

• 返回this实现流畅链式调用：如果方法会修改当前实例的状态，且需要支持链式调用，直接返回当前对象即可。示例：

  public class ConcreteFeature implements Feature {
      private String state;
  
      @Override
      public Feature A() {
          this.state = "updated";
          return this; // 支持 feature.A().anotherMethod() 这样的链式调用
      }
  }
  

• 返回新实例实现不可变性/原型克隆：如果想保持实例不可变，或者需要创建副本，就返回一个新的实现类实例：

  public class ConcreteFeature implements Feature {
      private final String state;
  
      public ConcreteFeature(String state) {
          this.state = state;
      }
  
      @Override
      public Feature A() {
          // 返回一个状态修改后的新实例
          return new ConcreteFeature("modified_" + this.state);
      }
  }
  

2. 利用协变返回类型（Java 5+） #

Java支持协变返回类型，这意味着实现类的方法可以返回比接口更具体的类型，同时仍然满足接口契约。这给使用具体类型的调用方带来了更多灵活性：

public class ConcreteFeature implements Feature {
    @Override
    public ConcreteFeature A() { // 这里返回ConcreteFeature而非Feature
        return this;
    }
}

这是合法的，因为ConcreteFeature是Feature的子类，完全兼容接口。使用接口的调用方不会感知到差异，而使用具体类型的调用方可以直接调用其独有的方法，无需强制类型转换。

3. 优先遵守接口契约 #

设计接口时，要定义方法的功能，而不是实现细节。调用方应该只依赖接口的方法，而不是具体实现的细节。避免强迫调用方把返回值强转成特定类——这会破坏接口提供的抽象性。

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