抽象数据类型的设计原则 — 软件工程判断题

判断：某团队为一个「图文档管理系统」设计抽象数据类型 GraphDoc，对外提供 addNode、addEdge、findPath 三个操作。为了保证未来能将邻接表替换为邻接矩阵，设计规范要求调用方只能通过这三个操作访问图数据，且操作的语义（前置条件、后置条件、不变式）保持不变；同时规范指出，允许调用方在性能敏感代码中根据当前内部采用邻接表这一事实做针对性优化。该设计完全符合抽象数据类型的信息隐藏与封装原则。