4.6.1 聚合函数类型定义