15.7 集合中的协议类型