实现细节的定义是什么？

Question

我在互联网上看到这个术语很多(事实上,在google上输入它会返回很多结果).

"实施细节"的确切定义是什么？

Answer 1

它是由代码产生的行为,可以通过使用代码来依赖它,尽管代码写入的规范没有指定该行为.因此,相同规范的其他实现可能不会表现出相同的行为,并且会破坏消费代码.这就是为什么依靠它们是不好的.

例如,如果要针对指定数组排序的列表接口编写一些代码但不使用它所使用的算法,并且您需要使sort方法稳定,并且您的代码版本与非稳定排序一起使用算法,然后你的代码就会中断.

Answer 2

我不知道术语"实现细节"的确切正式定义,它通常指的是某个规范的具体实现.

List举一个例子.

a的规范List可以说"它能够在保留顺序的同时保留具有重复的多个值".

从上面可以看出,它没有提到使用什么样的支持数据结构List- 我们所知道的,它可能是一个数组或一个链表.这实际上是一个实现细节,实际上是由实现者完成的List.

Answer 3

"实现细节"是由开发人员做出的决定,并未在较早的级别(例如需求文档或根据上下文,架构文档)指定.