type必须实现协议并且是给定类的

type必须实现协议并且是给定类的