SVA中的内嵌函数新知识