9.4.1 交易处理函数的类型