5.2.1 加法函数