有必要在同步代码里弄个 assert