一些语义检查