接口行为一致性要求所有实现类对同一方法做出语义等价、契约兼容的响应，包括输入约束、输出保证、副作用限制和线程安全说明；实现类须遵守里氏替换原则，不得加严前置条件或缩水后置条件；应避免模糊命名与矛盾接口，并通过javadoc契约标注、契约测试和泛型限定等手段显性化保障。

保持接口行为一致性，是让多态真正可靠、可预测的核心。它不是靠“方法名一样就行”，而是靠所有实现类对同一接口方法做出**语义上等价、契约上兼容**的响应。

明确接口的行为契约，不止于方法签名

接口声明 String format(Date d) 只是语法起点。真正决定一致性的，是背后隐含或文档化的契约：

• 输入约束：比如 d 为 null 时，必须抛 IllegalArgumentException，不能静默返回空字符串，也不能返回固定默认值
• 输出保证：返回值不可为 null；若允许空结果，应统一返回空字符串（而非 null）或可选类型 Optional<string></string>
• 副作用限制：该方法必须是纯函数式调用——不修改入参、不改变全局状态、不触发远程调用
• 线程安全说明：若接口未声明线程安全，各实现类都不应假设调用方会做同步；反之，若声明了，所有实现都需保证并发安全

实现类必须守约，不能“加严”也不能“缩水”

里氏替换原则在这里直接落地：换一个实现类，调用方代码完全不用改，行为依然符合预期。

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• 前置条件只能放宽：接口契约是“id > 0”，实现类可以接受 id ≥ 0；但若改成 id > 100，原有合法调用就会失败
• 后置条件只能增强：接口承诺“返回非 null 字符串”，实现类返回 StringUtils.trim(str) 是合规的；返回 null 或未校验就直接拼接则破坏一致性
• 异常策略必须向下兼容：接口没声明受检异常，实现类就不能新增 throws IOException；已声明 throws ValidationException，子类可抛其子类 MissingFieldException，但不能升格为 RuntimeException

避免模糊定义和语义冲突

名字不清、职责过载的接口，天然导致行为发散。

• 拒绝像 process()、handle() 这类无上下文的方法名——没有契约锚点，各实现自由发挥，多态就变成“猜行为”
• 不强制一个类实现互相矛盾的接口：比如让 PaymentService 同时实现 SynchronousPayable 和 AsyncPayable，而两个接口对 pay() 的超时、重试、回调语义完全不同
• 遇到能力组合需求，优先用小接口聚合（如 Idempotent + Retryable），而不是塞进一个大接口里让所有实现都“假装支持”

用工具和约定把契约显性化

光靠文档容易被忽略，需要机制保障：

• 在接口 JavaDoc 中用 @pre、@post、@throws 明确写清契约，IDE 和静态检查工具（如 Google Error Prone）能识别并告警
• 为关键接口写契约测试（Contract Test）：一套通用测试用例，所有实现类都必须通过。例如对 Converter<t r></t>，固定输入 null、空对象、边界值，验证输出是否统一
• 用泛型限定表达能力约束：<t extends comparable> & Serializable></t> 比让实体类硬实现一堆接口更清晰、更安全

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南