12.4 带状态参数的存储过程及实例分析