类型推断

允许编译器根据函数参数或上下文自动确定泛型类型参数。在保持类型安全的同时减少显式类型规范的需求。通过消除冗余的类型规范，使泛型函数更简洁、更易读。