implements用于类实现接口，必须覆盖所有public abstract方法；可实现多个接口，需在extends之后；default方法可不重写，static方法不可实现；泛型接口实现时须具体化类型参数。
implements 语法写法与基本约束
Java 中 implements 是类声明实现一个或多个接口的关键字，它不表示继承，而是承诺提供接口中所有 public abstract 方法的具体实现。编译器会强制校验：只要用了 implements，就必须覆盖接口里每个方法，否则编译失败。
常见错误现象包括：java: class X must either be declared abstract or implement abstract method Y() in Z —— 这说明漏写了某个方法，或方法签名（参数类型、返回值、名称）不一致，比如把 void doWork() 写成 int doWork() 或 void doWork(String)。
- 一个类可
implements多个接口，用英文逗号分隔：class A implements I1, I2, I3 - 接口之间可用
extends继承，但类只能用implements实现接口，不能用extends接口 -
implements后的接口名必须是已声明的接口类型，不能是类、枚举或注解
默认方法和静态方法对 implements 的影响
Java 8+ 允许接口定义 default 方法和 static 方法。它们不参与 implements 的强制实现义务 —— 类无需重写 default 方法就能编译通过；static 方法更不能被 implements，只能通过接口名直接调用。
但要注意冲突：如果两个接口都提供了同签名的 default 方法，而实现类没显式覆盖，编译器会报错：classes A and B both define a default method。此时必须在实现类中用 @Override 显式提供版本，且可用 I.super.method() 显式调用某一方的默认实现。
立即学习“Java免费学习笔记（深入）”；
- 不重写
default方法 → 编译通过，运行时走接口默认逻辑 - 重写
default方法 → 必须加@Override，否则编译报错 -
static方法永远不会被implements，也不可被重写（仅可隐藏，但不推荐）
与 extends 混用时的顺序和限制
Java 不支持多继承，所以一个类最多只能 extends 一个父类，但可以 implements 多个接口。二者共存时，extends 必须写在 implements 前面，语法顺序不可颠倒。
class Child extends Parent implements Runnable, Cloneable, Serializable {
// 正确：extends 在前，implements 在后
}
若写成 class X implements I extends Y，编译器直接报错：error: unexpected type。此外，父类已实现的接口方法，子类不必重复实现，但若父类是抽象类且未实现某接口方法，子类仍需补全 —— implements 的契约责任不会因继承而自动解除。
- 父类实现了接口全部方法 → 子类
implements同一接口时，可不写任何新方法 - 父类是抽象类且未实现某接口方法 → 子类要么自己实现，要么也声明为
abstract - 接口中
default方法若与父类中同名实例方法冲突，以父类方法为准（父类优先级更高）
泛型接口实现时的类型擦除陷阱
实现泛型接口时，implements 后的接口类型参数必须具体化（即不能只写接口名），否则编译报错：interface I。这是因为 Java 泛型是类型擦除机制，接口在运行时无泛型信息，但编译期要求明确绑定。
interface Processor{ T process(T input); } // ✅ 正确：指定具体类型 class StringProcessor implements Processor { public String process(String input) { return input.toUpperCase(); } } // ❌ 错误：未指定类型参数 // class BadProcessor implements Processor { ... }
若想保持泛型灵活性，可将实现类也声明为泛型，并桥接类型参数：
class GenericProcessorimplements Processor { public T process(T input) { return input; } }
注意：即使实现类用了通配符（如 implements Processor>），也会编译失败 —— 接口类型实参必须是确定的引用类型，不能是通配符。
容易被忽略的是，泛型接口的默认方法在实现类中无法靠类型推导自动适配返回值，必须严格匹配声明类型。比如 default T get() { return null; } 在 Processor 实现中，get() 返回值就是 String，不可返回 Object。
