函数的四种存在形态