type的一种实现思路