6.6 限制特质的拓展（仅支持特定类型的子类）