用于检查域和范围是否在 Python 中形成函数的程序