编译器自动检测类型是否实现接口的原理是什么？

编译时检查类型是否实现了接口的所有方法签名，无需显示声明，实现即满足。