从类型导航到此类型实现的接口。 此外,对方法也适用。