辅助函数及相关知识补充