This ensures that you get to know if, due to a bug in the code in this function, the conditions that you expect to be true on exit, are not.

• 如果由于该函数中代码的错误,您期望退出时为真的条件并不为真,那么这些断言能够确保您知道这一点。