分划递推法中泛型约束机制