接口行为一致性要求所有实现类对同一方法做出语义等价、契约兼容的响应，包括输入约束、输出保证、副作用限制和线程安全说明；实现类须遵守里氏替换原则，不得加严前置条件或缩水后置条件；应避免模糊命名与矛盾接口，并通过JavaDoc契约标注、契约测试和泛型限定等手段显性化保障。
保持接口行为一致性，是让多态真正可靠、可预测的核心。它不是靠“方法名一样就行”，而是靠所有实现类对同一接口方法做出**语义上等价、契约上兼容**的响应。
明确接口的行为契约，不止于方法签名
接口声明 String format(Date d) 只是语法起点。真正决定一致性的，是背后隐含或文档化的契约：
- 输入约束：比如
d为null时，必须抛IllegalArgumentException，不能静默返回空字符串，也不能返回固定默认值 - 输出保证：返回值不可为
null；若允许空结果，应统一返回空字符串（而非null）或可选类型Optional<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
避免模糊定义和语义冲突
名字不清、职责过载的接口，天然导致行为发散。
立即学习“Java免费学习笔记（深入）”；
- 拒绝像
process()、handle()这类无上下文的方法名——没有契约锚点，各实现自由发挥，多态就变成“猜行为” - 不强制一个类实现互相矛盾的接口：比如让
PaymentService同时实现SynchronousPayable和AsyncPayable，而两个接口对pay()的超时、重试、回调语义完全不同 - 遇到能力组合需求，优先用小接口聚合（如
Idempotent+Retryable），而不是塞进一个大接口里让所有实现都“假装支持”
用工具和约定把契约显性化
光靠文档容易被忽略，需要机制保障：
- 在接口 JavaDoc 中用
@pre、@post、@throws明确写清契约，IDE 和静态检查工具（如 Google Error Prone）能识别并告警 - 为关键接口写契约测试（Contract Test）：一套通用测试用例，所有实现类都必须通过。例如对
Converter<T, R>，固定输入null、空对象、边界值，验证输出是否统一 - 用泛型限定表达能力约束：
<T extends Comparable<T> & Serializable>比让实体类硬实现一堆接口更清晰、更安全
