对称函数及其多重实现