18.1.2 S型函数及其运算结果