As these examples have shown, assertions and unit tests are powerful ways to avoid fictitious implementations, providing checkable specifications for an interface.

• 如这些示例所示,断言和单元测试为接口提供了可检查规范,是避免臆想实现的高效方法。