状态函数有哪些性质