泛型编程之模板与形式参数化